Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Las fórmulas son tautológicas cuando, después de la evaluación por las tablas de verdad se
obtienen en el resultado final todos los valores verdaderos. Las fórmulas tautológicas se
llaman también fórmulas válidas o fórmulas lógicamente verdaderas. A continuación
algunos ejemplos:
p q ∼ (p ∧ q) v p
v V F V V V
v F v F F V
F v v F F V
F F v F F v
Esta es una fórmula disyuntiva lógicamente verdadera; en otros términos significa que esta
fórmula es siempre verdadera cualquiera sea la opción en la cual se interprete.
p q r (p ⇒ q) ∧ ( ∼r ↔q) .⇒. r ⇒ ∼p
V V V V F f F V V F F
V V F V V v V V F V F
V F V F F f V V V F F
V F F F F v F V F V F
F V V V F f F V V V V
F V F V V v V V F V V
F F V V V f V V V V V
F F F V F v F V F V V
Fórmulas contradictorias
Las fórmulas son contradictorias cuando, después de la evaluación por la tabla de valores, se
obtienen todos los valores falsos en el resultado final. Esto es, una fórmula contradictoria es falsa
en cualquier opción que se interprete.
v
p q ∼ (∼p q ) ↔ (∼ q ⇒ ∼p)
v V F F V F F V F
v F v F F F V F F
F v F V V F F V V
F F F V V F V V V
Esta fórmula es una bicondicional contradictoria. Como se puede apreciar, una fórmula
contradictoria es la negación de una tautología. Las fórmulas contradictorias se denominan
también inconsistentes o incontingentes.
p q r p ⇒ (q ∧ r ) . ∧. (q ⇒ ∼r ↔ p
V V V V V F F F F
V V F F F F V V V
V F V F F F V F V
V F F F F F V V V
F V V F V F F F V
F V F V F F V V F
F F V V F F V F F
F F F V F F V V F
Fórmula consistente
Las fórmulas son consistentes cuando, después de la evaluación por las tablas de verdad, se
obtiene por lo menos un valor de verdad en el resultado final. Las fórmulas consistentes se
denominan también contingentes. Ejemplos.
p q (p v q) ⇒ (∼ p ∧ q)
v V V F F F F
v F V V F F F
F v F F V V V
F F V V F V F
ACTIVIDAD:
1. Desarrolla las siguientes tablas de verdad y señala que tipo de fórmula son:
a) ( p ↔ q) ↔ ( q v ∼ p)
b) (p ⇒ q) ∧ ( q ⇒ r ) . ⇒ . p ⇒ r
c) (p ∧ q) ⇒ q