Documentos de Académico
Documentos de Profesional
Documentos de Cultura
UNIDAD DE
APRENDIZAJE
TAUTOLOGIA / CONTINGENCIA /
CONTRADICCION 1
SEMANA 3
LOGRO DE LA UNIDAD DE APRENDIZAJE
• Al término de la tercera semana, los alumnos, utilizando las tablas de verdad y las leyes
lógicas, deducen el valor de verdad de un esquema molecular a partir de otro y simplificaran
esquemas moleculares haciendo uso de las tablas de verdad de los operadores lógicos y
de las leyes del algebra proposicional.
TEMARIO
ACTIVIDADES PROPUESTAS
TAUTOLOGIA
Una tautología es una expresión lógica que es verdadera para todos los
posibles valores de verdad de sus componentes atómicos. Las proposiciones dan el resultado
positivo.
CONTRADICCIÓN
Son aquellas fórmulas que son falsas para cualquier valoración de los
símbolos proposicionales que contiene. Las proposiciones dan el resultado negativo.
CONTINGENCIA
Son aquellas fórmulas cuyo valor de verdadero falsedad depende de la
valoración de los símbolos proposicionales que contiene. Las proposiciones dan un resultado
negativo y positivo.
Ejercicios
a) [(p ⇒ q) ∧ p] ⇒ q
p q [(p ⇒ q) ∧ p] ⇒ q
v v v v v v v
v f f f v v f
f v v f f v v
f f v f f v f
b) [(p ⇒ q) ∧ (∼ p)] ⇒∼ p
p q [(p ⇒ q) ∧ (∼ p)] ⇒ ∼p
v v v f f v f
v f f f f v f
f v v v v v v
f f v v v v v
c) [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
p q r [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)
v v v v v v v v
v v f v f f v f
v f v f f v v v
v f f f f v v f
f v v v v v v v
f v f v f f v v
f f v v v v v v
f f f v v v v v
d) [ (p ∧ q) ∨ (~ p ∧ ~ q)] ∧ [ (~ p ∧ q) ∨ (~ q ∧ p)]
p q [ (p ∧ ∨ (~ p ∧ ~ q)] ∧ [ (~ p ∧ ∨ (~ q ∧ p)]
q) q)
v v v v f f f f f
v f f f f f f v v
f v f f f f v v f
f f f v v f f f f
e) ( ~ p ∧ ~ q) ∨ (~ q∨ ~ x )
p q x ( ~ p ∧ ~ q) ∨ (~ q∨ ~ x )
v v v f f f
v v f f v v
v f v f v v
v f f f v v
f v v f f f
f v f f v v
f f v v v v
f f f v v v
f) (r ∧ s) v ~ s
r s (r ∧ s) v ~s
v v v v f
v f f v v
f v f f f
f f f v v
g) [(p ∧ ( ~ q)] ∧ q
p q [(p ∧ ( ~ q)] ∧ q
v v v f f f v
v f v v v f f
f v f f f f v
f f f f v f f