Tablas de verdad: En estos momentos ya se está en condiciones de elaborar cualquier tabla de verdad. A continuación se presenta un ejemplo para la proposición (P^-Q)→-R.

El número de líneas de la tabla de verdad depende del número de variables de la expresión y se puede calcular por medio de la siguiente formula. No de líneas = 2n

Donde n = número de variables distintas.

P Q R -Q P^-Q -R (P^-Q) →-RV V V F F F VV V F F F V VV F V V V F FV F F V V V VF V V F F F VF V F F F V VF F V V F F VF F F V F V V

Tautologías: Considere la expresión -(P^Q)vQ. ¿Es esta expresión una tautología? Para decidir esto estableceremos la tabla de verdad para la expresión en cuestión.

P Q P^Q -(P^Q) -(P^Q)vQV V V F VV F F V VF V F V VF F F V V

Viendo estos resultados podemos afirmar que cuando el resultado da V en todas las formas posibles es Tautología

Contradicciones: Una expresión es una contradicción si esta produce F para todas las asignaciones. Se puede comprobar si esto es o no verdadero utilizando una tabla de verdad. Ejemplo (PvQ)^-P^-Q

P Q PvQ -P (PvQ)^-P -Q (PvQ)^-P^-QV V V F F F FV F V F F V FF V V V V F FF F F V F V F