lOMoARcPSD|11265046

Garzon Alejandra PC U4 - TRABAJO PENSAMIENTO

CRITICO
Pensamiento Político (Universidad Politécnica Salesiana)

Studocu is not sponsored or endorsed by any college or university

Downloaded by Jorge Alberto Moran Silva (jorgejamsmoran@gmail.com)
 lOMoARcPSD|11265046

Datos del alumno Fecha

Nombres: Alejandra Anahí 17-05-2022
Apellidos: Garzón Sánchez

Desarrollo de la Actividad

Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod, Ad, Cas, DN, Abs)

Modus ponens, Teorema de la deducción, Simplificación, Producto, Adición, Prueba por casos,
Doble negación, Reducción al Absurdo.

Ejercicios:

A)

-1. A → ¬ (Q R) B

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

3. (M v N) TD

4. (T v S) TD

5.A TD

6. [(M v N) → (T v S)] TD 3 Y 4

7.A → [(M v N) → (T v S)] TD 5 Y7

B)

-1. A v (X Y)
-2. (X v C) → ¬ (A →X) ├¬ (A →X)
3. X Y CAS 1
4.X Simp 3
5.X v C AD 4
6. ¬ (A →X) MP -2 Y 5

C)

-1 p → [(r → y) v (s z)]

Downloaded by Jorge Alberto Moran Silva (jorgejamsmoran@gmail.com)

 lOMoARcPSD|11265046

Pensamiento Crítico

-2 (t → w) u

-3 (r→ y) → t

-4 (s z) → t

-5 w → ~ u ├¬p

6. ¬ t TD

7. ¬(r→ y) MT 6 Y 3

8. ¬(s z) MT 6 Y 4

9. ¬(r→ y) ¬(s z) Prod 7 y 8

10. ¬ [(r → y) v (s z)] MORGAN 9

11. ¬ p MT 10 Y -1

D)

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

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

3.W SIMP 2

4. ¬ ¬ w DN 3

5. ¬ ¬ w v¬ s AD 4

6. ¬(¬ ¬ ¬ w s) MORGAN 5

7. ¬ (p → q) MT 6

8. w → ¬ (p → q) TD 3 Y 7

E)

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

- 2 (C v E) v (A B) ˫ ¬ ((C v E) → D)

Universidad Politécnica Salesiana 2

Downloaded by Jorge Alberto Moran Silva (jorgejamsmoran@gmail.com)

 lOMoARcPSD|11265046

Pensamiento Crítico

3. (A B) CAS 2

4. A SIMP 3

5.A vD AD 4

6.D vA CONMUTATIVA EN 5

7. ¬ ((C v E) → D) MP 6 Y 1

F)

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

-2H→IvJ

- 3 Q → (J (K → N))
- 4 I → (K → N) ˫ H v Q → (K →
N)
5. H TD
6.I v J MP 5 Y -2
7. I CAS 6
8.(K → N) MP 7 Y 4
9. H v Q AD 5
10. H v Q → (K → N) TD 9 Y 8
G)

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

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

3. ¬(A → B) → ((B v F) → G) Abs

4. ¬ (C v D) SIMP -2

5. ¬C ¬D MORGAN 4

6. ¬C SIMP 5

7. F TD

Universidad Politécnica Salesiana 3

Downloaded by Jorge Alberto Moran Silva (jorgejamsmoran@gmail.com)

 lOMoARcPSD|11265046

Pensamiento Crítico

8. F v G AD 7

9. C E MP 8 Y -1

10. C SIMP 9

11. C ¬C PROD 10 Y 6

12.F COMPLEMENTO EN 11

13. (A → B) → ((B v F) → G) Abs

H)

_1 H → A

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

3. E ˄ ¬ ¬ (¬ ¬ S ˄ H) DN 2

4. E ˄ (¬ ¬ S ˄ H) DN 3

5. E ˄ ( S ˄ H) DN 4

6. ( S ˄ H) SIMP 5

7.S SIMP 6

8.H SIMP 6

9.A MP 9 Y 1

10. S ˄ A PROD 7 Y 9

11. C TD

12. C → S ˄ A TD 11 Y 10

Universidad Politécnica Salesiana 4

Downloaded by Jorge Alberto Moran Silva (jorgejamsmoran@gmail.com)

 lOMoARcPSD|11265046

Pensamiento Crítico

Universidad Politécnica Salesiana 5

Downloaded by Jorge Alberto Moran Silva (jorgejamsmoran@gmail.com)