LOGICA MATEMATICA Y DIGITAL

SEMANA 3

Nombre del estudiante: Jesus Oros Vela

Fecha de entrega: 05 – 09 - 2022
Carrera: Continuidad en Ingeniería Informática
 EQUIVALENCIAS LÓGICAS
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)] Equivalente lógico ¬ [q  (p  ¬r)]

Numero de combinaciones = 2n donde n es igual al número de proposiciones en este caso. p,q,r.

23=8 combinaciones

p q r ¬r p  ¬r q  p  ¬r ¬ [q  (p  ¬r)]
V V V F F F V
V V F V V V F
V F V F F V F
V F F V V V F
F V V F F F V
F V F V F F V
F F V F F V F
F F F V F V F
Paso 1 Paso 2 Paso 3

b) ¬ p ⊃ (q V r) Equivalente lógico ¬ p (q V r)

Numero de combinaciones = 2n donde n es igual al número de proposiciones en este caso. p,q,r.

23=8 combinaciones

p q r ¬p q V r) ¬ p (q V r)
V V V F V V
V V F F V V
V F V F V V
V F F F F V
F V V V V V
F V F V V V
F F V V V V
F F F V F F
Paso 1 Paso 2

Conclusión: No son lógicamente equivalentes.

2. Determina si la fórmula dada es tautología mediante la construcción de su Diagrama de Árbol.

¬ {(p Ʌ ¬ r) ⇔ [(p ⊃ q) V r]}

¬ {(p Ʌ ¬ r) ⇔ [(p  q) V r]}

P r pq

p r

p q p q

p q r r

 (p  q)  (p  q)

No es tautología
p p

q q

Verificación por tabla de verdad:

P q r r ¬ {(p Ʌ ¬ r) ⇔ [(p ⊃ q) V r]}

V V V F V
V V F V F
V F V F V
V F F V V
F V V F V
F V F V V
F F V F V
F F F V V

* No es 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 conocían bien el museo y tenían un cómplice dentro, o no se activaron las alarmas.

Formula lógica:

(p  q)  r

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

Aplicando el conectivo bicondicional:

(p  q)  r  (p  q)  r

Demostración:

Tabla 1:

p q r (p  q)  r
V V V V
V V F V
V F V V Tabla 2:
V F F F
p
F q
V rV (p Vq)  r
V
F V V
F VF
V
F V
F FV V
V
F F V
F VF
V F F V
F V V V
F V F F
F F V V
F F F V

Tabla 1 y Tabla 2: En conclusión, no son lógicamente equivalentes.

Tabla 3:

p q r p Pq (p  q)  r p  q (p  q)  r (p  q)  r  (p  q)  r

V V V F V V F V V
 V V F F V V F V V
V F V F F V F V V
V F F F F F F V F
F V V V F V V V V
F V F V F F V F V
F F V V F V F V V
F F F V F F F V F

Tabla 3: Por lo tanto, no es tautología.

REFERENCIAS BIBLIOGRÁFICAS

Referencia texto de lectura de IACC:

IACC. (2022). Equivalencias lógicas. Lógica matemática y digital. Semana 3

Referencia artículo en sitio web

https://www.youtube.com/watch?v=D3piQZS2wNk&t=15s