Tautologias, Indeterminaciones y Contradicciones.

Tablas de verdad. 

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos ~, v , ∧, →, ↔, como:  no, o, y, ...entonces, si y sólo si, respectivamente.  La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento. 

Debemos tener en cuenta que las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema. 

Para la construcción de la tabla se asignará el valor 1, o la letra "V" a una proposición cierta y 0 ( cero) o l letra "F" a una proposición falsa.

Al elaborar una tabla de verdad, podemos concluir:




Tautología: Cuando se puede concluir que todo es verdadero.




Contradicción: Cuando se peude concluir que todo es falso.
Indeterminación: Es cuando no se presenta ni una tautología ni una contradicción,. Por lo tanto la "última columna" de su tabla de verdad estará formada tanto por verdades como falsedades.