Leyes Lógicas
Leyes Lógicas
Leyes Lógicas
Problema N° 01 Problema N° 03
Simplifique. Simplifique la proposición.
∼{∼[(p ∧ q) ∧ (∼p ∧ ∼ q)]} ∼{[(∼p ∧ ∼q) ∨ (p ∧ (∼p ∨ q))] → ∼(p ∨ q)}
A) ∼p ∨ q A) p ∧ q
B) p ∧ ∼ q B) p ∨ q
C) ∼p ∨ ∼ q C) ∼p ∨ q
D) ∼p ∧ q D) p ∧ ∼q
E) ∼p ∧ ∼ q E) q → p
Problema N° 02 Problema N° 04
La siguiente proposición Usando las leyes lógicas, simplifique
[(∼p ∨ q) ∨ ∼(p ∧ ∼q)] ∧ [p ∧ ∼r] [(∼ p ∧ q) → (q → p)] ∧ (∼ q)
es equivalente a A) p B) q C) ∼p
A) [p → q] ∧ ∼[p → r] D) ∼q E) p ∧ q
B) (p ∧ q) ∨ ∼(p → r)
C) (p → q) → (p ∧ r)
D) ∼(p ∧ q) → r
E) (p → q) ∧ (p → r)
1
Problema N° 05 Problema N° 07
Si p y q son proposiciones lógicas emplee las Simplifique.
leyes lógicas para simplificar E={(p → q) ∨ (∼q → p)} ∧ {(r∧t)∨(∼r ∨ ∼t)}
[(p → q) → p] → (q → p) A) F B) V C) p ∨ q
A) p B) q C) p ∧ q D) p ∧ q E) p → q
D) p ∨ q E) V
Problema N° 06 Problema N° 08
Si se define el operador ∇ mediante Simplifique la fórmula lógica utilizando las
p ∇ q ≡ ∼p ∧ ∼q, simplifique leyes proposicionales.
M=[(p ∇ q) ∇ q] ∇ [(p ∇ p) ∇ ∼p] ∼[q → ( p → ∼q)] → [(∼p → q) ↔ ∼p]
A) ∼p A) p ∧ ∼q
B) p ∨ q B) ∼p ∨ q
C) ∼q C) ∼(p ∧ q)
D) p D) ∼(p ∨ q)
E) ∼p ∧ q E) p ∨ qResolución