Assignació

Valors que es donen a les lletres d'enunciat d'una fórmula de manera que aquesta és:

universalment vàlida si és veritable per a tota assignació.

veure exemple ↓

[math]\displaystyle{ [(p \rightarrow{q})\wedge p]\rightarrow{q} }[/math]

és una fórmula universalment vàlida:

mentre que «ser o no ser» és un enunciat tautològic, o una tautologia.

Recurs:Exemple de fórmula universalment vàlida per a tota assignació

contradictòria, si és falsa per a tota assignació

veure exemple ↓

[math]\displaystyle{ [(p \wedge q) \wedge (¬p \wedge ¬q)] }[/math]

és una fórmula contradictòria

(veure exemple)

i consistent, si és veritable almenys per a una assignació.

veure exemple ↓

[math]\displaystyle{ [(p \wedge q) \vee (¬p\wedge q)] }[/math] és una fórmula consistent 400px

(veure exemple).

Es dedueix que tota fórmula vàlida és, a més, consistent, però no al revés.

Dues fórmules són equivalents, si cobren igual valor per a idèntiques assignacions o reben els mateixos valors en una taula de veritat.

veure exemple ↓

[math]\displaystyle{ (¬p \wedge ¬q) }[/math] i [math]\displaystyle{ ¬(p \vee q) }[/math]

són fórmules equivalents:

Fitxer:I5010-3.gif

(veure exemple).