1. 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) →-R
V V V F F F V
V V F F F V V
V F V V V F F
V F F V V V V
F V V F F F V
F V F F F V V
F F V V F F V
F 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)vQ
V V V F V
V F F V V
F V F V V
F 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^-Q
V V V F F F F
V F V F F V F
F V V V V F F
F F F V F V F