Assignació
De Wikisofia
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ó.
[math][(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ó
i consistent, si és veritable almenys per a una assignació.
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.