FACULTAD DE INGENIERIA Y SISTEMAS LÓGICA PROPOSICIONAL
GUÍA DE 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 1. (A · B) C (A · B) (A · B) · C
Reglas utilizadas
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
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
Reglas utilizadas para justificar cada renglón de la prueba de validez (en color rojo)
III.
FACULTAD DE INGENIERIA Y SISTEMAS LÓGICA PROPOSICIONAL
GUÍA DE EJERCICIOS
UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ
REGLAS DE INFERENCIA
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
N [(N · O) P] N·O/P
E v F F v (E v G) E / G
Reglas utilizadas para justificar los tres renglones agregados de la prueba de validez
V.
FACULTAD DE INGENIERIA Y SISTEMAS LÓGICA PROPOSICIONAL
GUÍA DE EJERCICIOS
UNIDAD III: PRUEBA DE VALIDEZ E INVALIDEZ
REGLAS DE INFERENCIA
Construya una prueba formal de validez para cada uno de los siguientes argumentos. Argumentos
Reglas que justifican la prueba de validez
AB 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