FACULTAD DE INGENIERÍA Y SISTEMAS

Lógica Proposicional
Ciclo 02 – 2022
Período III

Guía de Reglas de Inferencia y reemplazo ((5%) de nota Calificación P3).

Docente Tutor: Cristela Fuentes
__________________________________________________________
Objetivo: Resolver los problemas dejando constancia del procedimiento utilizado.
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 06 de noviembre de 2022.

Introducció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 y reemplazo.

Sugerencia: Para realizar los ejercicios es importante que revise los ejemplos del
contenido virtual, presentación Power Point y tutoriales. Adelante a realizar cada uno
de los ejercicios.

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)

Los tres puntos () es equivalente a (→), se utiliza para expresar la conclusion,
cuyo significado es: por lo tanto, luego, entonces y otros.
 FACULTAD DE INGENIERÍA Y SISTEMAS
Lógica Proposicional
Ciclo 02 – 2022
Período III

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

Los tres puntos () es equivalente a (→), se utiliza para expresar la conclusion,
cuyo significado es: por lo tanto, luego, entonces y otros.
 FACULTAD DE INGENIERÍA Y SISTEMAS
Lógica Proposicional
Ciclo 02 – 2022
Período III

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)

Los tres puntos () es equivalente a (→), se utiliza para expresar la conclusion,
cuyo significado es: por lo tanto, luego, entonces y otros.

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

Los tres puntos () es equivalente a (→), se utiliza para expresar la conclusion,
cuyo significado es: por lo tanto, luego, entonces y otros.
 FACULTAD DE INGENIERÍA Y SISTEMAS
Lógica Proposicional
Ciclo 02 – 2022
Período III

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

Los tres puntos () es equivalente a (→), se utiliza para expresar la

conclusión, cuyo significado es: por lo tanto, luego, entonces y otros.

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)
 FACULTAD DE INGENIERÍA Y SISTEMAS
Lógica Proposicional
Ciclo 02 – 2022
Período III
Tienes que esperar grandes cosas de ti mismo antes de hacerlas. -Michael Jordan.