Jehú Isaí Grano Durán sección: D03

ACTIVIDAD #3 PARTE II - LÓGICA CUCEI

I. Escribe la conclusión que corresponde a cada argumento utilizando ley de implicación

señalada. (Observa los ejemplos)

a) 1. ¬ (X ʌ Y) ˅ Z→ (¬X ʌ ¬Y) ˅ Z
2. ¬ (X ʌ Y) ˅ Z ∴ ___________________ M.P.P

b) 1. K → (¬ L ˅ ¬ M)
2. ¬ (¬ L ˅ ¬ M) ∴ __¬ K,______________ M.T.T

c) 1. (A → ¬C) → B
2. B → (¬ D ˅ A) ∴ ___________________ S.H

d) 1. [P → ¬(Q ʌ R)] ʌ (¬S → R)

2. (Q ʌ R) ˅ ¬R ∴ ___________________ D.D

e) 1. (¬G ↔ F) ˅ ¬ (E ˅ ¬G)
2. E ˅ ¬G ∴ _____________________ S.D

f) 1. (¬A ↔ B) → (¬C ˅ D)
2. (¬C ˅ D) → (¬A ↔ B) ∴ ___________________ CONJ.

g) 1. [ (X → ¬W) ʌ Z] ʌ (X ʌ Y) ∴ ____________________ SIMPL.

h) 1. (P → O) ʌ (Q → R) ∴ ______________________ ADIC.

i) 1. { [ (X ʌ Y) → Z] → (¬Y → ¬X) } ʌ (X →W)

2. [(X ʌ Y) → Z] ˅ X ∴ ___(¬Y → ¬X) ˅ W____ D.C
j) 1. (L ↔ ¬N) ʌ M ∴ ___________________ SIMPL.
k) 1. (B ʌ ¬C) → ¬E
2. E ∴ ____________________ M.T.T

l) 1. (¬A ↔ B) ˅ (R ʌ S)
2. ¬ (R ʌ S) ∴ _____________________ S.D

m) 1. (G ʌ H) → R
2. R → (J ↔ ¬K) ∴ ______________________ S.H n) 1.

[(M ˅ N) → ¬P] ∴ _____________________ ADIC.

o) 1. N → R
2. P → (¬A ↔ B)
3. N ˅ P ∴ _______________________ D.C

p) 1. A → ¬ [(B ʌ C) ↔ D ]
2. A ∴ ______________________ M.P.P q) 1. F ʌ ¬

(G ˅ H) ∴ _____________________ SIMPL.