Diferència entre revisions de la pàgina «Veritat formal»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} La que competeix a un enunciat per només el seu forma lògica, o la seva estructura lògica, independentment del sign...».) |
m (Text de reemplaçament - "aléticas" a "alètiques") |
||
| Línia 27: | Línia 27: | ||
[[veritat, criteri de|criteri de veritat]] | [[veritat, criteri de|criteri de veritat]] | ||
| − | [[modalitats | + | [[modalitats alètiques|modalitats alètiques]] |
[[Autor:Tarski, Alfred|Tarski, A.]] | [[Autor:Tarski, Alfred|Tarski, A.]] | ||
Revisió del 16:00, 26 feb 2015
La que competeix a un enunciat per només el seu forma lògica, o la seva estructura lògica, independentment del significat dels termes que ho componen, o dels casos de substitució de les lletres de l'enunciat
Són exemples de veritats formals:
«Sser o no ser» [math]\displaystyle{ A \vee ¬A }[/math]
«Gens que sigui A i B alhora, deixa de ser B».
«Si A i B, llavors B», [math]\displaystyle{ (A \wedge B) \rightarrow{B} }[/math]
En tots aquests casos, qualsevol substitució dels termes o de les lletres d'enunciat, per qualsevol altre terme o qualsevol altre enunciat, dóna lloc a un enunciat necessàriament veritable (per la seva forma lògica).
Es diu també «veritat lògica».
Vertambién: lògicament veritable, llei lògica, veritat necessària, validesa, i altres
termes relacionats.