Veritat lògica
Una veritat lògica és una fórmula ben formada d'un llenguatge formal que és veritable sota totes les interpretacions dels components (diferents de les constants lògiques) d'aquest llenguatge.[1][2] En alguns contexts, les veritats lògiques es coneixen com a fórmules lògicament vàlides (que tenen validesa lògica ).[3] Hi ha dues característiques generalment acceptades de les veritats lògiques: que són formals i que són necessàries.[4] Que siguin formals implica que qualsevol instanciació d'una veritat lògica és també una veritat lògica.[4] Que siguin necessàries significa que és impossible que siguin falses, és a dir que en totes les situacions contrafàctiques, les veritats lògiques segueixen sent veritats lògiques.[4]
De vegades es confon a les veritats lògiques amb les tautologies. Les tautologies són les veritats lògiques de la lògica proposicional. Si bé tota tautologia és una veritat lògica, no tota veritat lògica és una tautologia.
Alguns exemples coneguts de veritats lògiques en la lògica proposicional són:
I en la lògica de primer ordre:
I en la lògica de segon ordre:
Vegeu també
- Tautologia (lògica)
Notes i referències
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
- ↑ «logical truth». A: Simon Blackburn. The Oxford Dictionary of Philosophy (en anglès). Oxford University Press [Consulta: 11 octubre 2009].
- ↑ Kirwan, Christopher. «logical truth». A: The Oxford Companion to Philosophy (en anglès). Oxford University Press [Consulta: 11 octubre 2009].
- ↑ Vegeu per exemple:Hunter, Geoffrey. «secció 19». A: Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. Universitat de Califòrnia Press, 1971.
- ↑ 4,0 4,1 4,2 Gomez-Torrent, Mario. «Logical Truth». A: Edward N. Zalta. Stanford Encyclopedia of Philosophy (en anglès). Fall 2008 Edition [Consulta: 11 octubre 2009].