I.

Para cada uno de los siguientes argumentos elementales vlidos enuncie la regla de inferencia
mediante la cual se sigue su conclusin de sus premisas:

6. (X v Y) ~(Z~A)
1. (AB) C
~~(Z~A)
/ (AB) [(AB)C]
/~ (X v Y)
2. (D v E) (F v G)
7. (ST) v [(UV) v (UW)]
/ (D v E)
~ (ST)
/(UV) v (UW)
3. H I
/ (H I) v (H ~I)
8. ~(BC) (D v E)
~(BC)
4. (JK) (L M)
/(D v E)
/ ~(JK)
9. N (O v P)
Q (O v R)
/ [N (O v P)] [Q (O v R)]

5. [N (OP)] [Q (OR)]
NvQ
/ (OP) v (OR)

10. (H~I) (H I)
(H I) (H v I)
/(H~I) (H v I)
II. Cada una de las siguientes es una prueba formal de validez del argumento indicado. Enuncie la
justificacin de cada lnea que no sea una premisa de la prueba.
a)

b)

c)

1. AB
2. (A v C) D
3. A
4. A v C
5. D
6. AD
1. (E v F) (G v H)
2. (EG) (FH)
3. ~G
4. E v F
5. G v H
6. H
1. I J
2. J K
3. L M
4. I v L
5. I K
6. (IK) (LM)
7. K v M

/AD
d)

/H

e)

/K v M

1. NO
2. (N O) P
3. ~ (N P)
4. N(N O)
5. NP
6. N (N P)
7. ~N
1.QR
2. ~S(TU)
3. S v (Q v T)
4. ~S
5.TU
6.(QR) (TU)
7. Q v T
8. R v U

/~N

/R v U