Curso: Lgica de primer orden

Alumno Hugo Renzo Rojas Haro

Cdigo: 16037096
Profesor: Dr. Luis Piscoya Hermoza
EJERCICIOS SOBRE LOGICA NATURAL
Ejercicios 1, Por reduccin al absurdo
(1) (O P ( Q R)
(2)

S T ( U Z )

(3) (P S (R U )
(4) (T v Q (W X )
(5) OvQ WX
6. (WX)
7.

Ejercicio 2, por prueba condicional

1. [(A B) C] [D (E F)]
2. (A B) [(F G) H]
3. A [(E F) (F G)]
4. A
5. D

/ D H
Premisa Adicional

6. A B
Adicin 4
7. [(F G) H]
Modus Ponens 2,6
8. [(E F) (F G)]
Modus Ponens 3,4
9. (A B) C
Adicin 6

Modus Ponens 1,9

11.

[D (E F)]
(E F)

12.

(F G)

Modus Ponens 8,11

13.

Modus Ponens 7,12

10.

Modus Ponens 10,5

D H

14.

Prueba Condicional 5,13

Ejercicio 3, por reduccin al absurdo

1. A B
2. C D
B D
A

3.
4.

/ (E F)

5. (E F) C
6. (E F)
7. (E F)

Doble Negacin 6

8. C
9. D

Modus Ponens 5,7

Modus Ponens 2,8

11.

D
B

12.

10.

13.
14.
15.
6,14
16.
17.
Ejercicio 8

Premisa Adicional

Doble Negacin 9
Silogismo Disyuntivo 3,10
Modus Tollens 1,11
Doble Negacin 4

A A
Conjuncin 13,12
(E F) (A A)
Prueba Condic.
(E F)
(E F)

Reduccin Al Absurdo 15
Doble Negacin 16

1. (O P) (P
2. Q O

Q)
/ R

R P
4. (P Q)
5. Q P

3.

Simplificacin 1
Transposicin 4
Simplificacin 1

8.

O P
Q O
P P

9.

Idempotencia 8

6.
7.

10.
11.

Definic. de Condic. 2
Dilema Constructivo 5,6,7

Modus Tollens 3,9

Doble Negacin 10

EJERCICIO 10, por prueba condicional

1. J (~K v J)
2. K (JvK) /
3.
4.

( JvK ) (~J~K)

Jv K
)

(JvJ) Vk

5. J v K

P.A
p. asoc. 1
Idemp. 4

6. (kvk)v JAsoc. 2
7. k v J

Idemp. 6

8. Jvk

Transp. 7

9. J K Implic. 8
10. J K
11. K JCom. 10

12. J J
13.

M.T 9,11

JvJImpl. 12

14. J
15. k J

Idem. 12
Transp. 10

16. K K
17. K v K

Impl. 16

18. K

Simp. Adic. 16

19. JK

Conj. 14,18

20. (JK) (JK)

P.C. 3,19