TAUTOLOGIA

Las proposiciones compuestas se caracterizan por ser siempre verdaderas independientemente del valor verdadero que las conforman. Este tipo de proporciones reciben el nombre de tautologías.

En conclusión una función lógica que es verdadera para todas las combinaciones posibles e los valores de verdad de sus premisas.

VEAMOS EL SIGUIENTE EJEMPLO:

•       Demostrar que la proposición [(p => q)  p] => q es una tautología, para demostrarlo debemos construir la tabla de verdad y verificar que efectivamente la función lógica es verdadera para todos los casos

CONTRADICCION

Son aquellas fórmulas que son falsas para cualquier valoración de los símbolos proposicionales que contiene.

DOBLE NEGACIÓN

Demostraremos que las proposiciones p y la proposición ¬ (¬p) son lógicamente equivalentes. Para lograrlo construiremos la tabla de verdad de la proposición:

P	¬(¬p)	P ó¬ (¬p)
V	F	V
F	V	V

El siguiente video nos explica mejor como aplicaremos la doble negación en la tabla de verdad.