Tarea 12

Victoria Báez Ángel Sebastián

I. (Ejercicio obligatorio) Completa las sig. pruebas indicando las reglas que debes indicar
en cada línea.

1. Silogismo disyuntivo.
A.
1. P∨Q
2. ¬Q
∴P
3. P hip.
4. P rep (3)
5. Q hip.
6. ~Q rep. (2)
7. ⊥ I ⊥ (5,6)
8. P E ⊥ (7)
9. P E v (1, 3 – 4, 5 – 8)
B.
1. P∨Q
2. ¬P
∴Q
3. Q hip.
4. Q rep (3)
5. P hip.
6. ~P rep. (2)
7. ⊥ I ⊥ (5,6)
8. Q E ⊥ (7)
9. Q E v (1, 3 – 4, 5 – 8)

2. Condicional falso.
A.
1. ¬(P⊃Q)
∴P
2. ~P hip.
_____________
3. P hip.
4. ~P rep. 3
5. ⊥ I ⊥ (3,4)
6. Q E ⊥ (5)
____________________
3. P ⊃ Q I ⊃ (3 – 5)
4. ~ (P ⊃ Q) rep. (1)
5. ⊥ I ⊥ ( 3,4)
6. P I ~ (2-5)

B.
1. ¬(P⊃Q)
∴ ¬Q
2. Q hip.
_________________
3. P hip.
4. Q rep. (2)
_________________
5. P ⊃ Q I ⊃ (3- 4)
6. ~ (P ⊃ Q) rep. (1)
7. ⊥ I⊥(
8. ~Q I ~ (2-5)

3. Disyunción falsa.
A.
1. ¬(P∨Q)
∴¬P
2. P hip.
3. P v Q I v (2)
4. ~(P v Q) rep. (1)
5. ⊥ I ⊥ ( 3,4)
6. ~P I ~ (2-5)
B.
1. ¬(P∨Q)
∴¬Q
2. Q hip.
3. P v Q I v (2)
4. ~ (P v Q) rep. (1)
5. ⊥ I ⊥ ( 3,4)
6. ~Q I ~ (2-5)

4. Dilema constructivo.
1. P∨R
2. P⊃Q
3. R⊃S
∴ Q∨S
________________
4. P hip.
5. Q E ⊃ (2,4)
6. Q v S I v (5)
________________________
7. R hip.
8. S E ⊃ (3,7)
9. Q v S I v (8)
_______________________
10. Q v S E v (1, 4-6, 7- 9)

5. Dilema destructivo.
1. ¬Q∨¬S
2. P⊃Q
3. R⊃S
 ∴ ¬P∨¬R
4. ~Q hip.
__________
5. P hip.
6. Q E ⊃ (2, 5)
7. ~Q rep.
8. ⊥ I ⊥ (6,7)
9. ~P I ~ (5 -8)
10. ~P v ~R I v (9)
10. ~S hip.
_______________
11. R hip.
12. S E ⊃ (3, 11)
13. ~S rep.
14. ⊥
15. ~R I ~ (11 – 14)
16. ~P v ~R I v (15)

6. Conmutación
A. ∴ (α&β)≡(β&α)
______________
1. A & B hip.
2. B E&1
3. A E&1
4. B & A I & 2,3
______________
5. A & B ⊃ B & A I ⊃ 1- 4
____________________
6. B & A hip.
7. B E&6
8. A E&6
9. A & B
____________________
10. B & A ⊃ A & B I ⊃ 6- 9
11. (A & B ⊃ B & A) & (B & A ⊃ A & B) I & 5,10
12. α&β)≡(β&α) I ≡ 11

B. ∴ (α˅β)≡(β˅α)
__________

1. A v B hip.

__________

2. A hip.

3. B v A Iv2
 ____________

_____________

4. B hip.

5. B v A 1v4

_____________

6. B v A E v (1, 2-3, 4-5)

____________

7. A v B ⊃ B v A

__________________

8. B v A hip.

_____________

9. B hip.

10. A v B I v (9)

_______________

11. A hip.

12. A v B I v (11)

_______________

13. A v B E v (8, 9-10, 11-12)

_______________

14. B v A ⊃ A v B I ⊃ (8- 13)

15. (A v B) ⊃ (B v A) & (B v A) ⊃ (A v B) I & (14, 7)

16. (α˅β)≡(β˅α) I ≡ (15)

II. (Bonus +.2 en el examen) Genera un argumento deductivo siguiendo la estructura de

alguna de las reglas que hemos visto hasta ahora.

Comeré nieve o comeré chaska

No comeré nieve
Por lo tanto, comeré chaska.