Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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.
(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.
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.
(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.
Nota: Los ejercicios citados, la solución se encuentra en el libro Introducción a la Lógica de Irving Copi