FACULTAD DE INGENIERIA Y SISTEMAS GUÍA DE

LÓGICA PROPOSICIONAL EJERCICIOS

UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ REGLAS DE INFERENCIA

INDICACIÓN: Un método más eficiente para probar la validez de un argumento

extenso consiste en deducir su conclusión a partir de sus premisas mediante una
serie de argumentos elementales, cada uno de los cuales se conoce como válido.
Esta técnica es muy similar a los métodos ordinarios de argumentación. Para realizar
los ejercicios debe tener presente las Reglas de Inferencia.

Resolver los ejercicios tomados del libro Introducción a la Lógica de Irving

Copi
I. Para cada uno de los siguientes argumentos elementales válidos enuncie la
regla de inferencia mediante la cual se sigue su conclusión de sus premisas.

Argumentos Reglas utilizadas

1. (A · B)  C
(A · B)  (A · B) · C

2. (H · I) (H  I)
(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 “justificación” de cada línea que no sea una premisa de la
prueba.

Argumentos Reglas utilizadas para justificar cada renglón

de la prueba de validez (en color rojo)
1. A · B
2. (A v C) D/A · D
3. A
4. A v C
5. D
6. A · D

1. Q  R
2. S  (T U)
3. S v (Q v T)
4. S/ R v U
5. T  U
6. (Q  R) · (T  U)
7. Q v T
8. R v U
 FACULTAD DE INGENIERIA Y SISTEMAS GUÍA DE
LÓGICA PROPOSICIONAL EJERCICIOS
UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ REGLAS DE INFERENCIA

III. Para cada uno de los puntos siguientes, añadir 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
(A · B)  C /  A  C

(P  Q) · (R  S)
(P v R) · (Q v R) / Q v S

IV. Para cada uno de los puntos siguientes, añadir 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]
N·O/P

E v F
F v (E v G)
 E / G
 FACULTAD DE INGENIERIA Y SISTEMAS GUÍA DE
LÓGICA 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

AB
A v (C · D)
B · E
C

(Q R) · (S T)
(U V) · (W X)
QvU
RvV

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
tanto Juana como Kenneth. Gertrudis gana. Por
lo tanto, pierde Juana (G: Gertrudis gana; H:
Heriberto gana; J: Juana gana; K: Kenneth
pierde).
Si Anderson fue electo candidato, entonces fue
a Boston. Si fue a Boston, entonces hizo
campaña en esa ciudad. Si hizo campaña en
Boston, se encontró con Douglas. Anderson no
se encontró con Douglas. O Anderson fue
electo candidato o se eligió a alguien con
mayores posibilidades. Por tanto, se eligió a
alguien con mayores posibilidades.
(A: Anderson fue electo candidato; B:
Anderson fue a Boston; C: Anderson hizo
campaña en Boston; D: Anderson se
encontró con Douglas; E: Se eligió a alguien
con mayores posibilidades).

Nota: Los ejercicios citados, la solución se encuentra en el libro Introducción a la Lógica de Irving Copi