DEDUCCIONES DE EXPRESIONES LOGICAS USANDO REGLAS

DE INFERENCIAS
PROFESOR: Quinto Pazce, Daniel Alfonso

1. 𝑃 ∧ 𝑄 ⊢ 𝑸 ∧ 𝑷

De 𝑷∧𝑸 ⊢ 𝑸∧𝑷
1
2
3
4
2. 𝑷 ∧ 𝑸 ⊢ 𝑷 ∧ (𝑹 ∨ 𝑸)

De 𝑷∧𝑸 ⊢ 𝑷 ∧ (𝑹 ∨ 𝑸)
1
2
3
4
5
3. 𝑷 ∧ 𝑸 ⊢ (𝑷 ∨ 𝑹) ∧ (𝑸 ∨ 𝑹)

De 𝑷∧𝑸 ⊢ (𝑷 ∨ 𝑹) ∧ (𝑸 ∨ 𝑹)
1
2
3
4
5
6
4. 𝑷 ∨ 𝑸 , ¬ 𝑸 ⊢ 𝑷

De 𝑷∨𝑸, ¬𝑸 ⊢ 𝑷
1
2
3
4
5
Lqqd
5. 𝑷 ∧ 𝑸, 𝑷 → 𝑹, 𝑸 → 𝑺 ⊢ 𝑹 ∧ 𝑺

De 𝑷 ∧ 𝑸, 𝑷 → 𝑹, 𝑸→𝑺 ⊢ 𝑹∧𝑺
1
2
3
4
5
6
7
8
Lqqd
6. 𝑨 → 𝑩, 𝑩 → (𝑪 ∧ 𝑫) , (𝑪 ∧ 𝑬) → 𝑭, 𝑨 ∧ 𝑬 ⊢ 𝑭

De 𝑨 → 𝑩, 𝑩 → (𝑪 ∧ 𝑫) , (𝑪 ∧ 𝑬) → 𝑭, 𝑨 ∧ 𝑬 ⊢ 𝑭
1
2
3
4
5
6
7
8
9
10
11
7. 𝑷 → 𝑸, ¬ 𝑸 ⊢ ¬ 𝑷

De 𝑷 → 𝑸, ¬𝑸 ⊢ ¬𝑷
1 Premisa 1
2 Premisa 2
3 De 𝑷 ⊢𝑸∧ ¬𝑸
3.1
3.2
3.3
4
Lqqd
8. 𝑷 ∨ 𝑸, 𝑷 → 𝑹, ¬ 𝑹 ⊢ 𝑸

De 𝑷 ∨ 𝑸, 𝑷 → 𝑹, ¬𝑹 ⊢ 𝑸
1 Premisa 1
2 Premisa 2
3 Premisa 3
4
5
6
7
Lqqd

9. 𝑷 → 𝑸, 𝑸 → 𝑹 ⊢ 𝑷 → 𝑹
De 𝑷 → 𝑸, 𝑸→𝑹 ⊢ 𝑷→𝑹
1 𝑷→𝑸 Premisa 1
2 𝑸→𝑹 Premisa 2
3 De 𝑷 ⊢ 𝑹
3.1 Premisa
3.2 → - E, 1, 3.1
3.3 → - E, 2, 3.2
4 ¬ - I, 3
5 ∨ - I, 4
6 Definición → , 5
Lqqd
10. (𝑸 ∧ 𝑹) ∨ 𝑷 , (𝑸 ∧ 𝑹) → ¬ 𝑺 ⊢ 𝑺 → 𝑷

De (𝑸 ∧ 𝑹) ∨ 𝑷 , (𝑸 ∧ 𝑹) → ¬ 𝑺 ⊢ 𝑺→ 𝑷
1 Premisa 1
2 Premisa 2
3 ∨ - I, 2
4 Definición → , 3
5 ∨ - E, 1, 4
11. ¬ ( ¬ 𝑷) ⊢ 𝑷

De ¬ ( ¬ 𝑷) ⊢ 𝑷
1 ¬ ( ¬ 𝑷) Premisa
3 De ¬𝑷 ⊢ ¬ (¬ 𝑷) ∧ ¬ 𝑷
3.1 Premisa
3.2 ∧ - I, 1, 2.1
4 ¬ - E, 2

12. 𝑷 ∨ 𝑸 , ¬ 𝑸 ⊢ 𝑷
 De 𝑷 ∨ 𝑸, ¬𝑸 ⊢ 𝑷
1 𝑷 ∨ 𝑸 Premisa 1
2 ¬𝑸 Premisa 2
3 De 𝑸 ⊢ 𝑷
3.1 𝑸 Premisa
3.2 ⊢ 𝑸∧¬𝑸
Premisa
∧ - I, 2, 3.1
3.3 ¬ - E, 3.2
4 𝑸→𝑷 Definición, → 3
5 𝑷 ∨ - E, 3,4

13. ( ¬ 𝑷 ∨ ¬ 𝑸) → (𝑹 ∧ 𝑺) , (𝑹 → 𝑻) , ¬ 𝑻 ⊢ 𝑷
De ( ¬ 𝑷 ∨ ¬ 𝑸) → (𝑹 ∧ 𝑺) , (𝑹 → 𝑻) , ¬ 𝑻 ⊢ ¬𝑷
1 ( ¬ 𝑷 ∨ ¬ 𝑸) → (𝑹 ∧ 𝑺) Premisa 1
2 Premisa 2

3 Premisa 3

4 De ¬𝑷 ⊢ 𝑻∧ ¬𝑻
4.1 Premisa
4.2 ∨ - I, 4.1
4.3 → - E, 1, 4.2
4.4 ∧ - E, 4.3
4.5 → - E, 2, 4.4
4.6 ∧ - I, 3, 4.5
4 ¬ - I, 4
14. 𝑷 ∨ 𝑸 ⊢ 𝑸 ∨ 𝑷

De 𝑷∨𝑸 ⊢ 𝑸∨𝑷
1 𝑷∨𝑸 Premisa
2 De ¬𝑸 ⊢ 𝑷
2.1 Premisa
2.2 → - I, 2.1
2.3 → - E, 2.2
4 Definición → , 2
5 Definición → , 3
15. 𝑷 ∧ 𝑸 , 𝑷 → 𝑹 ⊢ 𝑹 ∧ ( 𝑸 → 𝑹)

De 𝑷∧𝑸, 𝑷→ 𝑹 ⊢ 𝑹 ∧ ( 𝑸 → 𝑹)
1 Premisa 1
2 Premisa 2
3 ∧ - E, 1
4 ∧ - E, 1
5 → - E, 2, 3
6 De 𝑸 ⊢ 𝑹
6.1 Premisa
6.2 ∨ - E, 2, 3
4 Definición → , 6
5 ∧ - I, 5, 7

16. ¬ 𝑹 , 𝑷 → 𝑸, 𝑸 → 𝑹 ⊢ ¬ 𝑷
De ¬𝑹, 𝑷 → 𝑸, 𝑸→𝑹 ⊢ ¬𝑷
1 ¬𝑹 Premisa 1
2 𝑷→𝑸 Premisa 2
3 𝑸→𝑹 Premisa 3
4 De 𝑷 ⊢ 𝑹∧ ¬𝑹
4.1 Premisa
4.2 → - E, 2, 4.1
4.3 → - E, 2, 4.2
4.4 ∧ - I, 1, 4.3
5 ¬ - I, 4
17. 𝑷 , 𝑸 , 𝑷 ∧ (𝑷 → (𝑸 = 𝑹)) ⊢ 𝑸 → 𝑹

De 𝑷 , 𝑸 , 𝑷 ∧ (𝑷 → (𝑸 = 𝑹)) ⊢ 𝑸→ 𝑹
1 Premisa 1
2 Premisa 2
3 Premisa 3
4 ∧ - E, 3
5 → - E, 1, 4
6 = - E, 5

18. 𝑷 , ¬ 𝑷 ⊢ 𝑸
 De 𝑷, ¬𝑷 ⊢ 𝑸
1 𝑷 Premisa 1
2 ¬𝑷 Premisa 2
3 De ¬𝑸 ⊢ 𝑷∧¬𝑷
3.1 Premisa
3.2 ∧ - I, 1, 2
4 ¬ - E, 3

19. 𝑷 ∨ (𝑸 ∧ 𝑹) ⊢ (𝑷 ∨ 𝑸) ∧ (𝑷 ∨ 𝑹)
 De 𝑷 ∨ (𝑸 ∧ 𝑹) ⊢ (𝑷 ∨ 𝑸) ∧ (𝑷 ∨ 𝑹)
1 𝑷 ∨ (𝑸 ∧ 𝑹) Premisa 1
2 De ¬(𝑸 ∧ 𝑹) ⊢ 𝑹∧ ¬𝑹
2.1 Premisa
2.2 ∨ - I, 2.1
2.3 Definición → , 2.2
2.4 ∨ - E, 1, 2.3
3 ¬ - E, 2
4 ∧ - E, 3
5 ∨ - I, 4
6 De ¬𝑷 𝑷∨𝑹
6.1 Premisa
6.2 ∨ - I, 6.1
6.3 Definición → , 6.2
6.4 ∨ - E, 1, 6.3
7 ¬ - I, 6
8 ∨ - I, 7
9 ∧ - I, 5, 8

20. ¬ 𝑷 = 𝑸 ⊢ ¬ ( 𝑷 = 𝑸)
De ¬𝑷=𝑸 ⊢ ¬ (𝑷 = 𝑸)
1 Premisa
2 = - E,1
3 = - E,1
4 De 𝑷=𝑸 ⊢ 𝑷∧¬𝑷
4.1 𝑷=𝑸 Premisa
4.2 𝑷→𝑸 = - E, 4.1
4.3 𝑸→𝑷 = - E, 4.1
4.4 ⊢ 𝑷∧¬𝑷
Premisa
→ - E, 2, 4.4.1
→ - E, 4.3, 4.4.2
∧ - I, 4.4.1, 4.4.3
4.5 𝑷 ¬ - E, 4.4
4.6 De 𝑷 ⊢ 𝑷∧¬𝑷
Premisa
→ - E, 4.2, 4.6.1
→ - E, 3, 4.6.2
∧ - I, 4.6.1, 4.6.2
4.7 ¬ - I, 4.6
4.8 ∧ - I, 4.5, 4.7
5 ¬ - I, 4

21. 𝑷 , 𝑸 ∨ 𝑹 ⊢ 𝑺 → ((𝑷 ∧ 𝑸) ∧ (𝑷 ∧ 𝑹))

 De 𝑷, 𝑸∨𝑹 ⊢ 𝑺 → ((𝑷 ∧ 𝑸) ∧ (𝑷 ∧ 𝑹))
1 𝑷 Premisa 1
2 𝑸∨𝑹 Premisa 2
3 De ¬𝑸 ⊢ 𝑹∧ ¬𝑹
3.1 Premisa
3.2 ∨ - I, 3.1
3.3 Definición → , 3.2
3.4 ∨ - E, 2, 3.3
4 ¬ - E, 3
5 ∧ - I, 1, 4
6 De ¬𝑹 ⊢ ¬𝑸
6.1 Premisa
6.2 ∨ - I, 6.1
6.3 Definición → , 6.2
6.4 ∨ - E, 2, 6.3
7 ¬ - I, 6
8 ∨ - I, 7
9 ∧ - I, 5, 8
10 ∨ - I, 9
11 Definición → , 10

22. ¬ 𝑷 → 𝑸 , 𝑹 → 𝑺 , 𝑸 → ¬ 𝑷 , 𝑺 → 𝑻 ⊢ ¬ ( 𝑷 ↔ 𝑸) ∧ (𝑹 → 𝑻)
De ¬ 𝑷 → 𝑸 ,𝑹 → 𝑺 ,𝑸 → ¬ 𝑷 ,𝑺 → 𝑻 ⊢ ¬ ( 𝑷 ↔ 𝑸) ∧ (𝑹 → 𝑻)
1 Premisa 1
2 Premisa 2
3 Premisa 3
4 Premisa 4
5 De 𝑷↔𝑸 ⊢ 𝑷∧¬𝑷
5.1 Premisa
5.2 = - E, 5.1
5.3 = - E, 5.1
5.4 De ¬𝑷 ⊢ 𝑷∧¬𝑷
5.4.1 Premisa
5.4.2 → - E, 1, 5.4.1
5.4.3 → - E, 5.3, 5.4.2
5.4.4 ∧ - I, 5.4.1, 5.4.3
5.5 𝑷 ¬ - E, 5.4
5.6 De 𝑷 ⊢ 𝑷∧¬𝑷
5.6.1 Premisa
5.6.2 → - E, 5.2, 5.6.1
5.6.3 → - E, 3, 5.6.2
5.6.4 ∧ - I, 5.6.1, 5.6.2
5.7 ¬𝑷 ¬ - E, 5.6
∧ - I, 5.5, 5.7
6 ¬ - I, 5
7 De 𝑹 𝑻
7.1 Premisa
7.2 → - E, 2, 7.1
7.3 → - E, 4, 7.2
8 Definición → , 7
9 ∧ - I, 6, 8
 23. ¬ ( 𝑷 ∨ 𝑸) ⊢ ¬ 𝑷 ∧ ¬ 𝑸

De ¬ ( 𝑷 ∨ 𝑸) ⊢ ¬𝑷 ∧¬𝑸
1 ¬ ( 𝑷 ∨ 𝑸) Premisa
2 De ¬ (¬ 𝑷 ∧ ¬ 𝑸) ⊢ ( 𝑷 ∨ 𝑸) ∧ ¬ ( 𝑷 ∨ 𝑸)
2.1 ¬𝑷 ∧ ¬𝑸 Premisa
2.2 De ¬𝑷 ⊢ (¬ 𝑷 ∧ ¬ 𝑸) ∧ ¬ (¬ 𝑷 ∧ ¬ 𝑸)
Premisa
∧ - I, 2.2.1
∧ - I, 2.1, 2.2.2
2.3 𝑷 ¬ - E, 2.2
2.4 De ¬𝑸 ⊢ (¬ 𝑷 ∧ ¬ 𝑸) ∧ ¬ (¬ 𝑷 ∧ ¬ 𝑸)
Premisa
∨ - I, 2.4.1
∧ - I, 2.1, 2.4.2
2.5 ¬ - E, 2.4
2.6 ∨ - I, 2.3, 2.5
2.7 ∧ - I, 1, 2.6
3 ¬ - E, 2

24. ¬ ( 𝑷 ∧ 𝑸) ⊢ ¬ 𝑷 ∨ ¬ 𝑸
 De ¬ ( 𝑷 ∧ 𝑸) ⊢ ¬𝑷 ∨¬𝑸
1 ¬ ( 𝑷 ∧ 𝑸) Premisa
2 De ¬ (¬ 𝑷 ∨ ¬ 𝑸) ⊢ ( 𝑷 ∧ 𝑸) ∧ ¬ ( 𝑷 ∧ 𝑸)
2.1 ¬𝑷 ∧ ¬𝑸 Premisa
2.2 De ¬𝑷 ⊢ (¬ 𝑷 ∨ ¬ 𝑸) ∧ ¬ (¬ 𝑷 ∨ ¬ 𝑸)
2.2.1 Premisa
2.2.2 ∨ - I, 2.2.1
2.2.3 ∧ - I, 2.1, 2.2.2
2.3 ¬ - E, 2.2
2.4 De ¬𝑸 ⊢ (¬ 𝑷 ∨ ¬ 𝑸) ∧ ¬ (¬ 𝑷 ∨ ¬ 𝑸)
2.4.1 Premisa
2.4.2 ∨ - I, 2.4.1
2.4.3 ∧ - I, 2.1, 2.4.2
2.5 ¬ - E, 2.4
2.6 ∧ - I, 2.3, 2.5
2.7 ∧ - I, 1, 2.6
3 ¬ - E, 2

Deducciones por el Método del asterisco

Ejercicio 1:
Juan está cansado o enfermo. Si Juan está cansado, entonces
se queda en casa. No se queda en casa, luego está enfermo.
P = Juan está cansado
Q = Juan está enfermo
R = Juan se quedó en casa
Premisas:
𝑷∨𝑸
𝑷→𝑹
¬𝑹
∴𝑸

𝑷 𝑸 𝑹 𝑷∨𝑸 𝑷→𝑹 ¬𝑹 𝑸
Ejercicio 2:
Si Bernardo se casa, entonces Florinda se suicida. Florinda se suicida solo si
Bernardo no se hace monje. Luego, si Bernardo se casa, entonces no se hace monje.
C = Bernardo se casa
S = Florinda se suicida
M = Bernardo se hace monje
Premisas:
𝑪→𝑺
𝑺→¬𝑴
∴𝑪→¬𝑴

𝑪 𝑺 𝑴 𝑪→𝑺 𝑺→¬𝑴 𝑪→¬𝑴

Ejercicio 3:
Si la banda no pudiera tocar música o las bebidas no se entregaran a tiempo,
entonces la fiesta de aniversario tendría que cancelarse y Alicia, organizadora de la
fiesta se enojaría. Si la fiesta se cancelara, habría que devolver el dinero. No se
devolvió el dinero, por lo tanto, la banda pudo tocar la música.
P = La banda pudo tocar la música
Q = Las bebidas se entregaron a tiempo
R = La fiesta de aniversario tendrá que cancelarse
S = Alicia, organizadora de la fiesta, se enojará
T = Habría que devolver el dinero
Premisas:
(¬ 𝑷 ∨ ¬ 𝑸) → (𝑹 ∧ 𝑺)
𝑹→𝑻
¬𝑻
∴ 𝑷

𝑷 𝑸 𝑹 𝑺 𝑻 (¬ 𝑷 ∨ ¬ 𝑸) → (𝑹 ∧ 𝑺) 𝑹→𝑻 ¬𝑻 𝑷
Ejercicio 4:
 Averiguar a qué lugar debo ir el fin de semana. Habrá un concierto si y solo si
hay una conferencia. Si no hay un baile, entonces no habrá conferencia. Sin embargo,
no es el caso que haya un baile y concierto, pero habrá uno de los dos en
consecuencia. No habrá conferencia.
P = Habrá concierto
Q = Hay conferencia
R = Hay un baile
Formalizando:
𝑷↔𝑸
¬𝑹→¬𝑸
¬ (𝑹 ∧ 𝑷)
𝑹∨𝑷
∴ ¬𝑸
¬𝑹
𝑷 𝑸 𝑹 𝑷↔𝑸 ¬ (𝑹 ∧ 𝑷) 𝑹∨𝑷 ¬𝑸
→¬𝑸