LOGICA MATEMATICA Y DIGITAL

SEMANA 3

Nombre del estudiante: Lucciano Frontuto

Fecha de entrega: 04-09-23
Carrera: Automatización y control

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:32:39 GMT -06:00

https://www.coursehero.com/file/212128058/Lucciano-Frontuto-Control-3docx/
 DESARROLLO
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 v p) ⊃ ¬r

p q r ¬(q ∨ p) ¬r ¬(q ∨ p) ⊃ ¬r
V V V F F V
V V F F V V
V F V F F V
V F F V V V
F V V F F V
F V F F V V
F F V V F F
F F F V v V

b) ¬ q⊃ (p V r)

p q r ¬q p∨r ¬q ⊃ (p ∨ r)
V V V F V V
V V F F V V
V F V V V V
V F F V V V
F V V F V V
F V F F F V
F F V V V v
F F F V F F

¬(q ∨ p) ⊃ ¬r ¬q ⊃ (p ∨ r) (q v p) ⊃ ¬r≡¬ q⊃ (p V r)
V V V
V V V
V V V
V V V
V V V
V V V
F v F
V F F

Podemos observar que la formula a y b (q v p) ⊃ ¬r≡¬ q⊃ (p V r) no son equivalente lógico las cuales son la
mayoría v pero no es igual el resultado.

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:32:39 GMT -06:00

https://www.coursehero.com/file/212128058/Lucciano-Frontuto-Control-3docx/
 2. Determina si la fórmula dada es tautología mediante la construcción de su Diagrama de Árbol.

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

Trabajo con doble negación

(¬¬p ∧ ¬r) ∨ [(p ∧ q) ⊃ r]

Simplificar las dobles negaciones

(p ∧ ¬r) ∨ [(p ∧ q) ⊃ r]

Aplicar la implicación a la segunda parte

(p ∧ ¬r) ∨ [¬(p ∧ q) ∨ r]

Aplicar la distribución en la segunda parte

(p ∧ ¬r) ∨ [(¬p ∨ ¬q) ∨ r]

Distribución

(p ∧ ¬r) ∨ (¬p ∨ ¬q) ∨ r

Idempotencia para r

(p ∧ ¬r) ∨ (¬p ∨ ¬q)

/\

f f

/\ / \

p ¬r ¬p ¬q

Según el diagrama realizado, simplificando la formula, y simplificando r ya que no es necesario anotarla 2

veces la cual tenemos las 3 variables en la formula. Determinando que la formula no es tautología.

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:32:39 GMT -06:00

https://www.coursehero.com/file/212128058/Lucciano-Frontuto-Control-3docx/
 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 o tenían un cómplice dentro, y no se activaron las alarmas.

p: bien los ladrones conocían bien el museo

q: tenían un cómplice dentro

r: se activaron las alarmas

(p V q) Ʌ ¬r

p q r (p V q) ¬r (p V q) Ʌ ¬r
V v V V F F
V V F V V V
V F V V F F
V F F V V V
F V V V F F
F V F V V V
F F V F F F
f F F F V F

b) Los ladrones conocían bien el museo, pero no es verdad que si tenían un cómplice dentro entonces no
se activaron las alarmas.

p: Los ladrones conocían bien el museo

q: es verdad que si tenían un cómplice dentro

r: se activaron las alarmas.

p ∧ (¬q → ¬r)

p q r ¬q ¬r (¬q → ¬r) p ∧ (¬q → ¬r)

V v V F F V V
V V F F V V V
V F V V F F F
V F F V V V V
F V V f F V F
F V F V V V F
F F V V F F F
f F F v V V F

Podemos observan que no son equivalentes lógicos por los que los resultados no son iguales

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:32:39 GMT -06:00

https://www.coursehero.com/file/212128058/Lucciano-Frontuto-Control-3docx/
 REFERENCIAS BIBLIOGRÁFICAS
Lectura de Iacc.

Iacc. (2023). lógica matemática y digital. Diagrama de árbol para fórmula proposicional. Semana
3.

Iacc. (2023). lógica matemática y digital. Equivalencias lógicas. Semana 3.

Iacc. (2023). lógica matemática y digital. Equivalencias Lógicas contenido. Semana 3.

This study source was downloaded by 100000825920308 from CourseHero.com on 11-15-2023 04:32:39 GMT -06:00

https://www.coursehero.com/file/212128058/Lucciano-Frontuto-Control-3docx/
Powered by TCPDF (www.tcpdf.org)