Taula de veritat: diferència entre les revisions

|}

 

 

S'entén per proposició tautològica, o [[tautologia]], aquella proposició que en tots els casos possibles de la seva taula de veritat el seu valor sempre és V. Dit d'una altra manera, el seu valor V no depèn dels valors de debò de les proposicions que la formen, sinó de la [[forma]] que estan establertes les [[sintaxis|relacions sintàctiques]] d'unes amb unes altres. Sigui el cas: [(A→B)/\(B→C)] →(A→C)

En realitat tota la lògica està continguda en les taules de veritat, en elles se'ns manifesta tot el que impliquen les relacions sintàctiques entre les diverses proposicions. Malgrat la senzillesa de l'algorisme, apareixen dues dificultats.

 

 

Aquesta dificultat ha estat magníficament superada per la rapidesa dels ordinadors, i no presenta cap dificultat.

Per això es construeix un [[càlcul lògic|càlcul]] mitjançant cadenes deductives:

 

 

S'estableixen com regles de càlcul algunes tautologies com a tals lleis lògiques, (doncs garanteixen, pel seu caràcter tautològic, el valor V).