LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 3

Nombre del estudiante: Sebastián Caimanque González

Fecha de entrega: 02-10-2023
Carrera: Técnico superior en automatización y cobtrol
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)] b) r ⊃ (p V ¬q)

R- Tablas de verdad

Para las fórmulas proporcionales:

a) ¬ [q • (¬p ⊃ r)]

b) r ⊃ (p V ¬q)

Tabla de verdad para a).

p q r ¬p ¬p ⊃ r q • (¬p ⊃ r ) ¬ [q • (¬p ⊃ r)]

1 1 1 0 1 1 0
1 1 0 0 1 1 0
1 0 1 0 1 0 1
1 0 0 0 1 0 1
0 1 1 1 1 1 0
0 1 0 1 0 0 1
0 0 1 1 1 0 1
0 0 0 1 0 0 1
Tabla de verdad para b).

¬ pV r ⊃ (p V
P q r
q ¬q ¬q)
1 1 1 0 1 1
1 1 0 0 1 1
1 0 1 1 1 1
1 0 0 1 1 1
0 1 1 0 0 0
0 1 0 0 0 1
0 0 1 1 1 1
0 0 0 1 1 1

Conclusión:

Las dos fórmulas no son lógicamente equivalentes ya que no tienen los mismos valores de verdad en todas
las combinaciones.

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]}

/ \

(¬p ¬q) Ʌ p q V ¬r

/ \

¬p q Ʌ p q ¬r

/ I I I \

¬p q p q ¬r

es una tautología.
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.

p= Los ladrones conocían bien el museo.

q= Tenían un cómplice dentro del museo.

r= Se activaron las alarmas del museo.

La formula queda de la siguiente forma:

(p Ʌ q) v ¬ r

p q r ¬ pɅ (p Ʌ q) v ¬
r q r
0 0 0 1 0 1
0 0 1 0 0 0
0 1 0 1 0 1
0 1 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 0
1 1 0 1 1 1
1 1 1 0 1 1

a) Los ladrones no conocían bien el museo y si tenían un cómplice dentro entonces no se activaron las
alarmas.

p= Los ladrones conocían bien el museo.

q= Tenían un cómplice dentro del museo.

r= Se activaron las alarmas del museo.

La formula seria la siguiente:

(p Ʌ q) v ¬ r ⇔ ¬ p Ʌ (q > ¬r)
p q r ¬ ¬ q>¬ ¬pɅ (q > ¬
p r r
r)
0 0 0 1 1 1 1
0 0 1 1 0 1 1
0 1 0 1 1 1 1
0 1 1 1 0 0 0
1 0 0 0 1 1 0
1 0 1 0 0 1 0
 1 1 0 0 1 0 0
1 1 1 0 0 1 0

REFERENCIAS BIBLIOGRÁFICAS

IACC. (2023). Lógica matemática y digital en la modalidad online. Equivalencias lógicas. Semana 3

IACC. (2023). Lógica matemática y digital en la modalidad online. Diagrama equivalencias lógicas. Semana
3
IACC. (2023). Lógica matemática y digital en la modalidad online. Diagrama de árbol para formula
proposicional. Semana 3