fórmula universalment vàlida LÒG.

O simplement fórmula vàlida, o també veritat lògica, teorema lògic o tautologia, o també fórmula «lògicament vertadera» o «formalment vertadera»: fórmula vertadera per raó de la seva forma.

Abreviadament, ╞ B

 
En lògica de predicats, on no sempre una fórmula vàlida és una tautologia, una fórmula és universalment vàlida si no pot ser falsa: i ho és si i només si és vertadera per a tota interpretació (en un domini no buit).
 
En lògica d’enunciats, la taula de veritat; d’una fórmula universalment vàlida dóna només valors vertaders, ja que és vertadera per a tota assignació de valors a les seves lletres d’enunciat.

Exemple:

[(p®q)Ùp]®q (Que és la forma lògica de l’anomenat Modus Ponens) és una fórmula universalment vàlida:

mentre que «ser o no ser» (pÚ¬p) és un enunciat tautològic, o una tautologia.

 

 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.