II. Cada una de las siguientes es una prueba formal de validez para el razonamiento indicado.

Enunciar la ¨justificación¨ para cada línea que no sea una premisa:

p q
1. (A • B) ⊃ C
p p q
∴ (A • B) ⊃ [(A • B) • C]

Respuesta: Absorción

p q
2. (D v E) • (F v G)
p
∴DvE
Respuesta: Simplification

p
3. H ⊃ I
p q
∴ (H ⊃ I) v (H ⊃ ~I)

Addition
p q
4. ~ (J • K) • (L ⊃ ~M)
p
∴ ~ (J•K)
Respuesta: Simplification

p q r s
5. [N ⊃ (O • P)] • [Q ⊃ (O • R)]
p r
NvQ
q s
∴ (O • P) v (O • R)

Respuesta: Constructive

p q

6. (S ≡ T) v [(U • V) v (U • W)]

~ (S ≡ T)
q
∴ (U • V) v (U • W)

Respuesta: Disjunctive Syllogism

p q
7. (X v Y) ⊃ ~ (Z • ~A)
~q
~~ (Z • ~A)
~ p
∴ ~ (X v Y)
Respuesta: Modus Tollens

p q
8. ~ (B • C) ⊃ (D v E)
~p
~ (B • C)
Q
∴DvE

Respuesta: Disjunctive Syllogism

p q
9. (F ≡ G) ⊃ ~ (G • ~F)
q r
~ (G • ~F) ⊃ (G ⊃ F)
p r
∴ (F ≡ G) ⊃ (G ⊃ F)

Respuesta: Hypothetical Syllogism

q r
10. ~ (H • ~I) ⊃ (H ⊃ I)
p q
(I ≡ H) ⊃ ~ (H • ~ I)
p r
∴ (I ≡ H) ⊃ (H ⊃ I)
Respuesta: Hypothetical Syllogism

p
11. (J ⊃ K) • (K ⊃ L)
q
L⊃M
p q
∴ [(J ⊃ K) • (K ⊃ L)] • (L ⊃ M)
Respuesta: Conjunction

q
12. N ⊃ (O v P)
p
Q ⊃ (O v R)
p q
∴ [Q ⊃ (O v R)] • [ N ⊃ (O v P)]
Respuesta: Conjunction

p q
13. (S ⊃ T) ⊃ (U ⊃ V)
p p q
∴ (S ⊃ T) ⊃ [(S ⊃ T) • (U ⊃ V)]
Respuesta: Absorption

P
14. (W • ~X) ≡ (Y ⊃ Z)
p q
∴ [(W • ~X) ≡ (Y ⊃ Z)] v (X ≡ ~Z)

Respuesta: Addition

p q
15. (A ⊃ B) ⊃ (C v D)
p
A⊃B
q
∴CvD
Respuesta: Modus Ponens
p q
16. [E ⊃ (F ≡ ~G)] v (C v D)
~p
~ [E ⊃ (F ≡ ~G)]
q
∴CvD
Respuesta: Disjunctive Syllogism
p q r s
17. [(H • ~ I) ⊃ C] • [(I • ~ H) ⊃ D)
p r
(H • ~I) v (I • ~ H)
q s
∴CvD
Respuesta: Dilema Constructivo
p q
18. (C v D) ⊃ [(J v K) ⊃ (J • K)]
~q
~ [(J v K) ⊃ (J • K)]
~p
∴ ~ (C v D)
Respuesta: Modus Tollens

p q
19. ~ [ L ⊃ (M ⊃N)] ⊃~ (C v D)
p
~ [ L ⊃ (M ⊃N)]
q
∴ ~ (C v D)
Respuesta: Modus Ponens

q r
20. [(O ⊃ P) ⊃ Q] ⊃ ~ (C v D)
p q
(C v D) ⊃ [(O ⊃ P) ⊃ Q]
p r
∴ (C v D) ⊃ ~ (C v D)

Respuesta: Silogismo Hipotético