Datos del alumno Fecha

Nombres: María Soledad

22 de mayo del 2022
Apellidos: Garofalo Cepeda

Tarea 3
 Construya una prueba formal de validez de cada uno de los ejercicios presentados con el
empleo de las cuatro primeras reglas básicas de la deducción: Modus ponens, Teorema
de la deducción, Simplificación, Producto.
Resolución:
a)
_1. A → (B ∧ C)

_2. B → (D ∧ E)
_3. X → Y
_4. Y → (Z ∧ W) ˫ (A → E) ∧ (X → W)
A
X
Y
(Z^W)
W
X→W
(B^C)
B
(DA)
E
(A→E)^(X→W)

A
MP:3,7; MP:4,8; SIMP:2,9; TD:7-10; MP:1,5; SIMP:1,11; MP:2,12; SIMP:2,13; PROD:15,10

b)
1. A → [B → (C → D)]
Universidad Politécnica Salesiana

2. X → (Y ∧ W)

_3. X
_4. X → (Z ∧ T) ˫ B → {[C → (A → D)] ∧ (Y ∧ Z)}
B
C
A
[B→(C→D) MP 1,7
(C→D) MP 8,5
D MP 6,9
A→D TD7,10
C→(A→D) TD2,3
(Y𝖠W) MP 2,3
Y SIMP 1, 13
(Z𝖠T) MP3,4
Z SIMP 1, 15
(Y𝖠Z) PROD 14,16
[C→A→D) 𝖠 (Y𝖠Z) PROD 12,17
B→{[C→(A→D) 𝖠(Y𝖠Z) TD 5-18

c)
_1. (Y ∧ Z) → D
_ 2. Y ∧ Z
_ 3. (Y ∧ Z) → T
_ 4. W → Z ˫ W → [Z ∧ (D ∧ T)]

D MP 1,2
T MP 2,3
(D 𝖠 T) PROD 5,6

Universidad Politécnica Salesiana

2
Universidad Politécnica Salesiana

Z MP 4,5
Z 𝖠 (P𝖠T) PROD 9,7
W→[ Z𝖠(D𝖠T) TD 8-10

d)
_1. E → (F ∧ G)
_ 2. (C ∧ A) → B
_ 3. F → [(D ∧ C) ∧ A] ˫ E → (D ∧ B)
E
(F 𝖠 G) MP 1,4
F
(D 𝖠 C) 𝖠 A) MP 3,6
(C 𝖠 A) SIMP 2, 7
B MP 2, 8
(D 𝖠 A) SIMP 2,7
D SIMP 1, 10
(D 𝖠 B) PROD 11, 9
E→ (D𝖠B) TD 4, 12
e)
_1. (¬ J v ¬ ¬ J) → (I ∧ H)
_2. ¬ (¬ J v ¬ ¬ J) → (I ∧ K)
_3. (¬ J v ¬ ¬ J) ∧ ¬ (¬ J v ¬ ¬ J) ˫ I → (H ∧ K)

(¬ J v ¬ ¬J) SIMP 1, 3

(I 𝖠 H) MP 1, 4
I SIMP 1, 5
¬ (¬J v ¬ ¬J) SIMP 2, 3

Universidad Politécnica Salesiana

3
Universidad Politécnica Salesiana

(I 𝖠 K) MP 2, 7

K SIMP 2, 8
H SIMP 2, 5
I → (H 𝖠 K) PROD 10, 11

f)
_1. U ∧ P
_2. W ∧ O
_3. X v Y ˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)]

ZvA
(M V N)
U SIMP 1,1
W SIMP 1,2
U^W PROD 6,7
(M V N) → (U ^ W) PROD 5, 8
XS IMP 1, 3
Y SIMP 2,4
(X V Y) PROD 10,11
P SIMP 1,1
O SIMP 2,2
(O 𝖠 P) PROD 14,15
{Z V A → [U 𝖠 W]} 𝖠 [(X V Y) 𝖠 (O 𝖠 P)] TD 10-9 PROD 12, 15

g)

_1. P → Q
_2. Q → (R ∧ T)
_3. (R ∧ T) → S

Universidad Politécnica Salesiana

4
Universidad Politécnica Salesiana

_4. S → (T v S)

_5. Q ˫ [(P ∧ R) → [(T v S)] ∧ Q]

(R 𝖠 T) MP 2, 5
S MP 3, 6
TVS MP 4, 7
P
Q MP 1, 4
R SIMP 1, 6
(P 𝖠 R ) PROD 9, 11

h)
_1. R v S
_2. T → [P → (¬ Q v R)] ∧ S
_3. [P → (¬ Q v R) ∧ S] → {(R v S) → [¬ S → (P → R)]}
_4. Q ˫ {(T ∧ M) → [¬ S → (P → R)]} ∧ Q

(T 𝖠 M)
T SIMP 2, 5
[P → (¬ Q v R) 𝖠 S] MP 2, 6
(R v S) → (¬S → (P → R)] MP 3, 7
[¬S → (P → R) MP 1, 8
{(T 𝖠 M) → [¬ S→ (P→R)]} TD 5, 9
{(T𝖠 M) → [¬ S→ (P→R)]} 𝖠 Q PROD 10,

i)

1. P → (Q ∧ R)
2. Q → [(S v T) → (R ∧ S)]

Universidad Politécnica Salesiana

5
Universidad Politécnica Salesiana

3. [(S v T) → (R ∧ S)] → W

4. S ˫ (P ∧ S) → (W ∧ S)
P
(Q 𝖠 R) MP 1, 6
Q SIMP 1, 6
(S v T)→ (R 𝖠 S) MP2, 7
W MP 3, 8
S SIMP 1, 8
(P𝖠S) → (W 𝖠S) TD 6-10 PROD 5, 10 9, 10

j)
_1. (B ∧ C) → (A ∧ C)
_2. (C ∧ B) → (R ∧ S) ˫ C → [B → (A ∧ S)]
C
B
(B 𝖠 C) MP 3, 4
(A 𝖠 C) MP 1, 5
C SIMP 2, 6
B SIMP 1, 5
(C 𝖠 B) PROD 7, 8
(R 𝖠 S) MP 2, 9
S SIMP 2, 10
A SIMP 2, 6
(A𝖠S) PROD12, 13
B → (A 𝖠 S) TD 4, 13

C → [B → (A 𝖠 S)] TD 3, 14

Universidad Politécnica Salesiana

6