fórmula vàlida LÒG.

O fórmula universalment vàlida. En lògica d’enunciats, aquella que és vertadera per a qualsevol assignació de valor de veritat a les seves lletres d’enunciat; una fórmula universalment vàlida és també una tautologia, perquè el seu valor en una taula de veritat és sempre vertader, però, en ocasions, s’anomena preferentment «vàlida» a una fórmula i «tautologia» a un enunciat (veure exemple 1).

En lògica de predicats, és universalment vàlida aquella fórmula que no pot ser falsa; però no tota fórmula vàlida és una tautologia (veure exemple 2).

 

 

Exemple 1

[(p®q)Ùp]®q

és una fórmula universalment vàlida:

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

Exemple 2

Per a un enunciat com "xPx es pot deduir $xPx, i aquesta deducció pot fer-se sense premisses. Per consegüent, és possible escriure

├ "xPx ® $xPx i per la mateixa raó, suposar que ╞ "xPx ® $xPx

Però aquesta última fórmula, encara que necessàriament vertadera, no és una tautologia. La seva veritat es demostra només com a conclusió d’una demostració o derivació.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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