Pravdivá formule v ohodnocení u

Zápis: $u(\alpha )=1$ (čtu: formule $\alpha$ je pravdivá v ohodnocení $u$) Zápis: $u(\alpha )=0$ (čtu: formule $\alpha$ je nepravdivá v ohodnocení $u$)