Datos del alumno Fecha

Nombres: Brandon Steeven

4/11/2023
Apellidos: Cruz Romero

Tarea 4
Ejercicios:

a) -1. A → ¬ (Q R) B

-2. B → (Q R) ├ A → [(M v N) → (T v S)]

3. A

4. M v N

5. T

6. T v S AD1 5

7. T → (T v S)

8. T v S MP 5, 7

9. M v N → (T v S) TD 4-8
10. A → [(M v N) → (T v S)] TD 3-9

b) -1. A v (X Y)
-2. (X v C) → ¬ (A →X) ├ ¬ (A →X)
-3. X v C
-4. ¬ (A →X) MP3, 2
-5. (X v C) → ¬ (A →X) TD3-4
-6. ¬ (A →X) MP3, 5

c) -1 p → [(r → y) v (s z)]
Universidad Politécnica Salesiana

-
2 (t → w) u

-3 (r→ y) → t

-4 (s z) → t

-5 w → ~ u ├¬p

-6 P

-7 (r → y) v (s z) MP1, 6

-8 (r → y)

-9 t MP3, 8

-10 s z

-11 t MP4, 10

-12 t Cas7, 8-9, 10,11

-13 t → w Simp 1, 2

-14 u Simp 2, 2

-15 w MP13, 11

-16 ~ u MP1, 3

-17 u ~u Prod14, 16

-18 ~u Resol. Absur. 6-17

Universidad Politécnica Salesiana

2
Universidad Politécnica Salesiana

d) -1 (p → q) → (¬ ¬ ¬ w s)

2 (p v q) w ˫ w → ¬ (p → q)

-3 p → q

-4 (¬ ¬ ¬ w s)

-5 ¬ w s Doble negación 5

-6 ¬ w Simp1, 6

-7 w ¬w Prod3, 7

-8 ¬(p → q) Reducc. Absur. 4-8 9, w → ¬ (p → q)

e) 1 D v A → ¬ ((C v E) → D)

- 2 (C v E) v (A B) ˫ ¬ ((C v E) → D)
-3 D v A
-4 D
-5 D v A AD1 4
-6 ¬ ((C v E) → D) MP1, 5
-7 A
-8 D v A AD2 7
-9 ¬ ((C v E) → D) MP1, 8
-10 ¬ ((C v E) → D) Cas3, 4-6, 7-9

Universidad Politécnica Salesiana

3
Universidad Politécnica Salesiana

-
-11 D v A → ¬ ((C v E) → D) TD3-10

-12 ¬ ((C v E) → D) MP11, 3

f) 1 J → ((K → N) L)

2H→IvJ

- 3 Q → (J (K → N))
- 4 I → (K → N) ˫ H v Q → (K → N)

-5 H v Q

-6 H
MP2, 6
-7 I v J

-8 I
MP4, 8
-9 K → N

-10 J
-11 ((K → N) L) MP1, 10
-12 K → N Simp1 11
Cas7, 8-9, 10-12
-13 K → N

-14 Q
-15 (J (K → N)) MP3, 14
-16 K → N Simp2 15

-17 K → N Cas5, 6-13, 14-16

-18 H v Q → (K → N) TD 5-17

Universidad Politécnica Salesiana

4
Universidad Politécnica Salesiana

g) 1 (F v G) → (C E)

2 (((A → B) B) → C) ¬ (C v D) ˫ (A → B) → ((B v F) → G)

-3 A → B

-4 B v F

-5 B

-6 ((A → B) B) Prod 3, 5

-7 (((A → B) B) → C) Simp1 2
-8 C MP7, 6
AD1 9
-9 F v G

-10 F

-11 F v G AD1 1
-12 C E
-13 G

-14 F v G AD2 14
-16 C E MP1, 15

-17 C E Cas10, 11-13, 14-16

-18 C Simp1 17

-19 C Cas4, 5-8, 9-18

-20 F v G Prod9, 14

-21 G Simp2 20

Universidad Politécnica Salesiana

5
Universidad Politécnica Salesiana

-
-22 (B v F) → G TD4-21

-23 (A → B) → ((B v F) → G) TD3-23

Universidad Politécnica Salesiana

6
Nombre de la Institución Educativa

h) _1 H → A

_2 ¬ ¬ E ˄ ¬ ¬ (¬ ¬ S ˄ H) ├ C → S ˄A

_3 C

_4 ¬ ¬ (¬ ¬ S ˄ H) Simp2 2

_5 (S ˄ H) Dob. Neg4

_6 S Simp1 5

_7 H Simp2 5

_8 A MP1, 7

_9 S ˄ A Prod5, 7

_10 C → S ˄ A TD3-9

Universidad Politécnica Salesiana

7