Tablas de Verdad.

Una tabla de verdad es una representación de los posibles factores de verdad que podría tomar una proposición.

La cantidad de proposiciones depende de la cantidad de proposiciones presentes en la expresión lógica.

Tautologia

Son proposiciones compuestas que siempre van a ser verdaderas en su resultado cualquiera que sea el valor de sus proposiciones componentes.

Contradicción.

Son proposiciones compuestas que
siempre van a ser verdaderas en su
resultado sea cual sea el valor de
sus proposiciones componentes

Contingencia.

Son proposiciones compuestas
que su resultado va a ser ver-
dadero o Falso sin importar sus
proposiciones componentes.

Equivalencia lógica.

Cuando sus tablas de verdad es decir
p y q , estas son idénticas logrando
una equivalencia lógica.