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 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.