Diferència entre revisions de la pàgina «Exemples de veritats formals»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemples de veritats formals |...».) |
(Cap diferència)
|
Revisió del 10:17, 5 feb 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
Són exemples de veritats formals:
«Ser 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). Plantilla:Propietat