NOMBRE DE ASIGNATURA LOGICA MATEMATICA DIGITAL
SEMANA 3
Nombre del estudiante
Fecha de entrega
Carrera ingenie
DESARROLLO
Lee atentamente la información que se presenta. Analízala de acuerdo con los contenidos revisados en la
semana y desarrolla la actividad evaluativa. Al mejor estilo de Sherlock Holmes, un equipo de
investigadores forenses llega a una escena de crimen. Han sustraído una valiosa obra de arte en un
importante museo de la capital, y los ladrones han dejado pistas por toda la sala de exposición, las cuales
son recopiladas como evidencias. Al analizarlas, los investigadores se plantean varios posibles argumentos
sobre lo que pudo ocurrir al momento del robo. Es entonces, cuando se aplican los métodos de
equivalencia lógica, para determinar la verdad o falsedad de estos razonamientos. El proceso para ello
comienza con la organización de los enunciados realizados como expresión lógica o Fórmula
Proposicional, con sus conectivos y signos de puntuación (para dar el significado correcto a la proposición
molecular). Luego, se va resolviendo hasta obtener el valor lógico de cada fórmula para todas las
combinaciones posibles de las variables proposicionales o átomos, mediante tabla de verdad, o a través
del Diagrama de Árbol si el nivel de complejidad de la fórmula es elevado. A partir de la información
anterior, completa las actividades:
1. Sean las fórmulas proposicionales, determina para cada uno sus valores de verdad mediante tabla de
verdad y concluye si son o no lógicamente equivalentes.
a) ¬ [q • (¬p ⊃ r)]
p q r ¬p ¬ [q • (¬p ⊃ r)] [q • (¬p ⊃ r)] (¬p ⊃ r)
v v v f f v v
v v f f f v v
v f v f v f v
v f f f v f v
f v v v f v v
f v f v v f f
f f v v v f v
f f f v v f f
b) r ⊃ (p V ¬q)
p q r ¬q r ⊃ (p V ¬q) (p V ¬q)
v v v f v V
v v f f v V
v f v f v V
v f f f v V
f v v v f F
f v f v v F
f f v v v V
f f f v v V
Estas tablas por lo que se aprecia no son lógicas equivalentes.
2. Determina si la fórmula dada es tautología mediante la construcción de su Diagrama de Árbol.
¬ {(p ⇔ q) Ʌ [ (p ⊃ q) V ¬ r]}
¬ {(p⇔ q) Ʌ [ (p⊃ q) V ¬ r]} F
(p ⇔q) Ʌ [ (p ⊃q) V ¬ r] V
p ⇔q (p ⊃q) V ¬ r V V
p q p ⊃q ¬r F F F V
P Q R V F F
P Q R ¬R P ⇔Q P ⊃Q [ (P ⊃Q) V ¬ R] (P ⇔Q) Ʌ [ (P ⊃Q) V ¬ R] ¬ {(P⇔ Q) Ʌ [ (P⊃ Q) V ¬ R]}
V V V F V V V V F
V V F V V V V V F
V F V F F F F F V
V F F V F F V F V
F V V F F V V F V
F V F V F V V F V
F F V F V V V V F
F F F V V V V V F
3. Dados los siguientes enunciados, determina la fórmula lógica correspondiente a cada uno, y aplica el
conectivo Bicondicional para unir ambas fórmulas. Luego demuestra, por tabla de verdad o por diagrama
de árbol, si son lógicamente equivalentes.
a) O bien los ladrones no conocían bien el museo y no tenían un cómplice dentro, o no se activaron las
alarmas.
Formula lógica (¬ p Ʌ ¬ q) V ¬r
p q r ¬p ¬q ¬r (¬ p Ʌ ¬ q) (¬ p Ʌ ¬ q) V ¬r
v v v f f f f f
v v f f f f f f
v f v f v v f f
v f f f v v f v
f v v v f f f f
f v f v f f f f
f f v v v v v v
f f f v v v v v
b) Los ladrones no conocían bien el museo y si tenían un cómplice dentro entonces no se activaron las
alarmas.
Formula lógica (¬ p Ʌ q) Ʌ ⊃ ¬r
p q r ¬p ¬r (¬ p Ʌ q) (¬ p Ʌ q) Ʌ ⊃ ¬r
v v v f f f v
v v f f v f v
v f v f f f v
v f f f v f v
f v v v f v f
f v f v v v v
f f v v f f v
f f f v v f V
Este resultado muestra que no son equivalentes y también muestran diferencias en la igualdad de valores.
REFERENCIAS BIBLIOGRÁFICAS
IACC (2022). Equivalencias Lógicas. Lógica Matemática y Digital. Semana 3.
Arredondo, J. y Escobar, G. (2016). Lógica: temas básicos. México, México: Grupo Editorial Patria.
Disponible en: [Link]
Copi, I.; y Cohen, C. (2013). Introducción a la Lógica. Segunda edición en español. México D.F. Editorial
Limusa.
Suppes, P. y Hill, S. (1980).Introducción a la lógica matemática. Barcelona etc., Editorial Reverté.
Disponible: [Link]
