Wir legen die Abbildung

${\displaystyle \operatorname {Var} \colon L^{V}\longrightarrow {\mathfrak {P}}\,(V),\,\alpha \longmapsto \operatorname {Var} _{}^{}{\left(\alpha \right)}}$

rekursiv über den Aufbau von ${\displaystyle {}L^{V}}$ fest. Wegen dem eindeutigen rekursiven Aufbau von ${\displaystyle {}L^{V}}$ ist dadurch eine wohldefinierte Abbildung gegeben. Für

${\displaystyle {}\alpha =p\in V\,}$

setzt man

${\displaystyle {}\operatorname {Var} _{}^{}{\left(p\right)}=\{p\}\,.}$

Für

${\displaystyle {}\alpha =\neg (\beta )\,}$

setzt man

${\displaystyle {}\operatorname {Var} _{}^{}{\left(\alpha \right)}=\operatorname {Var} _{}^{}{\left(\beta \right)}\,.}$

Für

${\displaystyle {}\alpha =(\beta )*(\gamma )\,}$

mit

${\displaystyle {}*=\wedge ,\vee ,\rightarrow ,\leftrightarrow \,}$

setzt man

${\displaystyle {}\operatorname {Var} _{}^{}{\left((\beta )*(\gamma )\right)}=\operatorname {Var} _{}^{}{\left(\beta \right)}\cup \operatorname {Var} _{}^{}{\left(\gamma \right)}\,.}$