FACULTAD DE INGENIERIA Y SISTEMAS GUA DE

LGICA PROPOSICIONAL EJERCICIOS

UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ REGLAS DE INFERENCIA

INDICACIN: Un mtodo ms eficiente para probar la validez de un argumento

extenso consiste en deducir su conclusin a partir de sus premisas mediante una
serie de argumentos elementales, cada uno de los cuales se conoce como vlido.
Esta tcnica es muy similar a los mtodos ordinarios de argumentacin. Para realizar
los ejercicios debe tener presente las Reglas de Inferencia.

Resolver los ejercicios tomados del libro Introduccin a la Lgica de Irving Copi
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.

Argumentos Reglas utilizadas

1. (A B) C Absorcin(Abs.)
(A B) (A B) C

2. (H I) (H I) Silogismo Hipottico(S.H.)
(I H) (H I)
(I H) (H 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.

Argumentos Reglas utilizadas para justificar cada rengln

de la prueba de validez (en color rojo)
1. A B 1. A B
2. (A v C) D/A D 2. (A v C) D/A D
3. A 3. A 1. Simplificacin(simp)
4. A v C 4. A v C 3. Adicin (Ad.)
5. D 5. D 2,4 Modus Ponens(M.P.)
6. A D 6. A D 3,5 Conjuncin (conj.)
(Desarrollo al final del documento).

1. Q R 1. Q R
2. S (T U) 2. S (T U)
3. S v (Q v T) 3. S v (Q v T)
4. S/ R v U 4. S/ R v U
5. T U 5. T U 2,4 Modus Ponens(M.P.)
6. (Q R) (T U) 6. (Q R) (T U) 1,5 Conjuncin(conj.)
7. Q v T 7. Q v T 3,4 Silog.Disyuntivo(S.D.)
8. R v U 8. R v U 6,7 Dilema construc. (D.C)
(Desarrollo al final del documento).

Mario Ernesto Ramos---------Carn: RR104117

 FACULTAD DE INGENIERIA Y SISTEMAS GUA DE
LGICA PROPOSICIONAL EJERCICIOS
UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ REGLAS DE INFERENCIA

III. Para cada uno de los puntos siguientes, aadir los dos enunciados que se
necesitan para producir una prueba formal de validez. Construya una prueba
formal de validez de cada uno de los siguientes argumentos.

Argumentos Reglas utilizadas para justificar los dos

renglones agregados de la prueba de validez
A B 1.A B
(A B) C / A C 2.(A B) C / A C
3. A (AB) 1.Absorcin (Abs.)
4. A C 3,2 Silog.Hipottico(S.H.)
(Desarrollo al final del documento).

(P Q) (R S)
(P v R) (Q v R) / Q v S
1.P Q) (R S)
2.(P v R) (Q v R) / Q v S
3. P v R 2, Simplificacin(simp.)
4. Q v S 1,3 Dilema Construc. (D.C.)
(Desarrollo al final del documento).

IV. Para cada uno de los puntos siguientes, aadir tres enunciados a las premisas
producir una prueba formal de validez. Construya una prueba formal de
validez para cada uno de los siguientes argumentos.

Argumentos Reglas utilizadas para justificar los tres

renglones agregados de la prueba de validez
N [(N O) P] 1.N [(N O) P]
NO/P 2.N O / P
3.N 2, Simplificacin(simp.)
4.(N O) P 1,3 Modus Ponens(M.P.)
5.P 4,2 Modus Ponens(M.P.)
(Desarrollo al final del documento).

E v F 1.E v F
F v (E v G) 2.F v (E v G)
E / G 3. E / G
4. F 1,3 Silogismo disyuntivo(S.D.)
5. E v G 2,4 Silogismo disyuntivo(S.D.)
6.G 5,3 Silogismo Disyuntivo(S.D.)
(Desarrollo al final del documento).

Mario Ernesto Ramos---------Carn: RR104117

 FACULTAD DE INGENIERIA Y SISTEMAS GUA DE
LGICA PROPOSICIONAL EJERCICIOS
UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ REGLAS DE INFERENCIA

V. Construya una prueba formal de validez para cada uno de los siguientes
argumentos.

Argumentos Reglas que justifican la prueba de validez

AB 1.A B
A v (C D) 2.A v (C D)
B E 3.B E /C
C 4. B 3, simplificacin(Simp.)
5. A 1,4 Modus Tollens(M.T.)
6. C D 2,5 Silogismo Disyunt. (S.D.)
7.C 6, Simplificacin(Simp.)
(Desarrollo al final del documento).

(Q R) (S T) 1.(Q R) (S T)
(U V) (W X) 2.(U V) (W X)
QvU 3.Q v U / R v V
RvV 4. Q R 1, Simplificacin(Simp.)
5. U V 2, Simplificacin(Simp.)
6.(Q R) (U V) 4,5 Conjuncin (conj.)
7. R v V 6,3 Dilema Construct. (D.C.)
(Desarrollo al final del documento).

VI. Construya una prueba formal de validez para cada uno de los siguientes
argumentos, usando las abreviaturas sugeridas en cada caso.

Argumentos Reglas que justifican la prueba

de validez
Si gana Gertrudis o Heriberto, entonces pierden 1. (G v H) (JK)
tanto Juana como Kenneth. Gertrudis gana. Por 2.G / J
lo tanto, pierde Juana (G: Gertrudis gana; H: 3. G v H 2, Adicin(Ad.)
Heriberto gana; J: Juana gana; K: Kenneth 4. JK 1,3 Modus Ponens(M.P.)
pierde). 5.J 4, Simplificacin(Simp.)
(Desarrollo al final del documento).

Si Anderson fue electo candidato, entonces fue 1. A B

a Boston. Si fue a Boston, entonces hizo 2. B C
campaa en esa ciudad. Si hizo campaa en 3. C D
Boston, se encontr con Douglas. Anderson no
4. D
se encontr con Douglas. O Anderson fue
electo candidato o se eligi a alguien con 5. A v E /E
mayores posibilidades. Por tanto, se eligi a 6. A C 1,2 Silog.Hipotet. (S.H.)
alguien con mayores posibilidades. 7. A D 6,3 Silog.Hipotet. (S.H.)
(A: Anderson fue electo candidato; B: 8. A 7,4 Modus Tollens(M.T.)
Anderson fue a Boston; C: Anderson hizo 9.E 5,8 Silog. Disyunt. (S.D.)

Mario Ernesto Ramos---------Carn: RR104117

 FACULTAD DE INGENIERIA Y SISTEMAS GUA DE
LGICA PROPOSICIONAL EJERCICIOS
UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ REGLAS DE INFERENCIA

campaa en Boston; D: Anderson se (Desarrollo al final del documento).

encontr con Douglas; E: Se eligi a alguien
con mayores posibilidades).

Nota: Los ejercicios citados, la solucin se encuentra en el libro Introduccin a la Lgica de Irving Copi

DESARROLLO DE LOS EJERCICIOS PROPUESTOS.

Mario Ernesto Ramos---------Carn: RR104117

 FACULTAD DE INGENIERIA Y SISTEMAS GUA DE
LGICA PROPOSICIONAL EJERCICIOS
UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ REGLAS DE INFERENCIA

Mario Ernesto Ramos---------Carn: RR104117