FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos |
Cerca continguts al web Pensament: autors, conceptes, textos, obres ... |
Loading
|
Exemples de veritats formals
Són exemples de veritats formals:
«Ser o no ser» A˅¬A
«Res a sigui A i B alhora, deixa de ser B».
«Si A i B, llavors B», (A˄B)→B
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 vertader (per la seva forma lògica).
Aquesta obra està sota una llicència de Creative Commons.