Definiere zu jeder Aussage α ∈ L V {\displaystyle {}\alpha \in L^{V}} die Menge Var ( α ) {\displaystyle {}\operatorname {Var} _{}^{}{\left(\alpha \right)}} der in α {\displaystyle {}\alpha } vorkommenden
die Menge 
der in 
vorkommenden
