Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

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.