UNIVERSIDAD FRANCISCO GAVIDIA
FACULTAD DE INGENIERIA Y SISTEMAS
TAREA 3-PARTE 2
EJERCICIOS REGLAS DE INFERENCIA Y REEMPLAZO
CICLO 01 - 2019
Asignatura: Lógica Proposicional Horario: Virtual Grupo:
Profesor: Ing. María Cristela Fuentes e-mail: mfuentes@[Link] Aula: virtual
Alumno:
Apellidos Nombres Firma
Código Carrera: Carne UFG: Fecha: Calificación:
INDICACIÓN: Resolver los ejercicios del libro de texto Introducción a la Lógica de
Irving Copi. Esta actividad se realizará de forma individual, por lo que cada
estudiante contestará los ejercicios en el Link –Contestar Calificación P3 (5% de
nota Calificación P3). Cierre de la actividad es el 5 de mayo de 2019.
Sugerencia: Para realizar los ejercicios es importante que revise los ejemplos del
contenido virtual, presentación Power Point y videos. Adelante a realizar cada uno de
los ejercicios. Éxitos!
I. Para cada uno de los siguientes argumentos, enunciar la regla de inferencia por la
cual la conclusión se sigue de las premisas.
Argumentos Reglas utilizadas
([I (J K) · (J I)
[(I · J) K] · (J I)
(R v S) (R v S)
(R · S) (R v S)
II. Cada uno de los siguientes argumentos es una prueba formal de validez del
argumento indicado. Enunciar la “justificación” de cada línea que no sea una
premisa.
Argumentos Reglas utilizadas para justificar cada renglón de
la prueba de validez (en color rojo)
1. (M v N) (O · P) 1. (M v N) (O · P)
2. O / M 2. O / M
3. O v P De Renglón (2) Adición
3. O v P 4. (O · P) De Renglón (3) Teorema de Morgan
4. (O · P) 5. (M v N) De Renglón (1,4) Modus Tollens
5. (M v N) 6. M · N De Renglón (5) Teorema de Morgan
6. M · N 7. M De Renglón (6) Simplificación
7. M
Justificación
1. (D · E) F
2. F v (G · H)
3. D E / D G
4. (D E) · (E D)
5. D E
6. D (D · E)
7. D F
8. (F v G) · (F v H)
9. F v G
10. F v G
11. F G
12. D G
III. Para cada uno de los siguientes argumentos, añadir exactamente los dos
enunciados que hacen falta a las premisas para producir una prueba formal de
validez. Construir una prueba formal de validez para cada uno de los siguientes
argumentos.
Argumentos Reglas utilizadas para justificar los dos
renglones agregados de la prueba de validez
E / (E v F) · (E v G) 1.E / (E v F) · (E v G)
2. E v (F.G) De Renglón (1), Adición
3. (E v F) · (E v G) De renglón (2), Distribución
Q [R (S T)]
Q (Q · R) / Q (S T)
IV. Para el argumento, añadir los tres enunciados que hacen falta a las premisas para
poder producir una prueba formal de validez. Construir una prueba formal de
validez del argumento.
Argumentos Reglas utilizadas para justificar los tres
renglones agregados de la prueba de validez
(Z v A) v B
A / Z v B
V. Los ejercicios de esta serie corresponden a patrones frecuentes de inferencia
que se hallan en pruebas más extensas de validez. La familiaridad con ellas
será útil en el trabajo subsecuente. Construir una prueba formal de validez
para cada uno de los siguientes argumentos.
Argumentos Reglas que justifican la prueba de validez
E (F G)
F (E G)
[(M · N) · O] P
Q [(O · M) · N
Q v P
VI. Construir una prueba de validez para el siguiente argumento, usando la
notación sugerida.
Argumentos Reglas que justifican la prueba de validez
Sólo puede tener muchos
amigos si los respeta como
individuos. Si los respeta como
individuos, no puede esperar
que se comporten todos de la
misma manera. Él tiene
muchos amigos. Luego, no
espera que todos se
comporten de la misma
manera. (A, R, E)
