Evaluación de formulas lógicas

¿Qué es? 

La evaluación de una fórmula proposicional comienza con la asignación de un valor de verdad a cada variable. Debido a que cada variable representa una oración simple, los valores de verdad se están aplicando a la "verdad" o "falsedad" de estas oraciones simples.

Ejemplo:

Tipos:

Tautología:

Expresión lógica que es verdadera para todos los posibles valores de verdad

Contradicción:

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

Contingencia:

Son aquellas fórmulas cuyo valor de verdadero falsedad depende de la valoración de los símbolos. resultado verdadero y falso