Pravdivostní ohodnocení u

Pravdivostní ohodnocení $u$ je zobrazení $u$: $Fle(A)\to \{0,1\}$ respektující sémantiku logických spojek, aneb splňující:

• $u(\neg \alpha )=1$ právě tehdy, když $u(\alpha )=0$
• $u(\alpha \wedge \beta )=1$ právě tehdy, když $u(\alpha )=u(\beta )=1$
• $u(\alpha \vee \beta )=0$ právě tehdy, když $u(\alpha )=u(\beta )=0$
• $u(\alpha \Rightarrow \beta )=0$ právě tehdy, když $u(\alpha )=1$ a $u(\beta )=0$
• $u(\alpha \iff \beta )=1$ právě tehdy, když $u(\alpha )=u(\beta )$

$u(\alpha )=1$ znamená, že formule $\alpha$ je pravdivá v ohodnocení u $u(\alpha )=0$ znamená, že formule $\alpha$ je nepravdivá v ohodnocen u