Definíció: A logikai jelekhez tartozó logikai függvények.
Definíció: Változók értékelése.
Definíció: A változók értékelésének kiterjesztése az ítéletkalkulusbeli formulákra.
Definíció: Boole-függvény.
Lemma: f formula értéke egy v értékelésnél csak a v-nek f változóira (V(f)-re) történő megszorításától függ.
Definíció: f kielégíthető, ha alkalmas értékelésre igaz értéket vesz fel. f tautológia, ha minden értékelésre igaz értéket vesz fel.
Példa: x V ¬x tautológia.
Lemma: Ha f tautológia, akkor f(x <- g) is tautológia.