FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE

LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS

REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

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 y Reemplazo.

REGLAS DE REEMPLAZO PARA LA CONSTRUCCIÓN DE PRUEBAS FORMALES DE VALIDEZ

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

I. Para cada uno de los siguientes argumentos, enunciar la regla de

inferencia por la cual la conclusión se sigue de las premisas.

Se debe buscar entre las reglas y se identifica cual es la aplicada

Se compara en el literal a) p = P ; q = Q entonces,

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.

Premisa 2
Premisa 1
1.
Conclusión

2.

----------------------------------------------------Justificación del Argumento para probar la validez

3. 2, Distributiva
4. 3, Conmutación
5. 4, Simplificación
6. 5, Tautología
7. 1, Asociación
8. 7,6 Silogismo Disyuntivo
9. 8 Implicación Material
 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Procedimiento:

Se comienza la justificación a partir del reglón 3 después de la conclusión, se toma el reglón 2.

Entonces, se obtiene el reglón 3 por distribución.

Luego, se toma el renglón 3 para justificar el reglón 4 usando conmutación.

Después se toma el reglón 4 para justificar el reglón 5, esta vez se hace por simplificación.

Se toma el reglón 5 y aplicando la regla de tautología, resulta el reglón 6.

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Para encontrar el reglón 7, se toma el reglón 1 y se utiliza la ley distributiva.

Como todavía no se ha usado los renglones 6 y 7, se usará para encontrar le reglón 8. Esta vez se
utilizará el silogismo disyuntivo.

Por último se utiliza el renglón 8 y utilizando implicación material, se encontrará la respuesta que busca,
que es la conclusión del argumento y así se demuestra la validez.
 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

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.

Dado el argumento:

Construir la prueba de validez:

Premisa 1 Conclusión

1.
Justificación del Argumento para probar la validez

2. 1, Implicación Material
3. 2, Exportación

Utilizando Implicación material en el reglón 1, se encuentra el reglón 2,

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Luego, se puede aplicar exportación al reglón 2, así se termina encontrando las dos premisas que
faltaban.

Dado el argumento:

Construir la prueba de validez:

1.
2.
Justificación del Argumento para probar la validez

3. 2, Implicación Material
4. 1,3 Silogismo Hipotético

Se empieza con el enunciado 2 y se aplica implicación material para obtener el enunciado 3.

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Luego, aplicando silogismo hipotético al enunciado 1 y 3 se encuentra el enunciado 4.

IV. Para cada uno de los siguientes argumentos, 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 para cada uno de los
siguientes argumentos.

Dado el argumento:

Construir la prueba de validez:

1.
Justificación del Argumento para probar la validez

2. 1, Asociación
3. 2, Conmutación
4. 3, Asociación
 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Se toma el enunciado 1, se aplica asociación y se encuentra el enunciado 2.

Luego, se aplica conmutación en el enunciado 2, se consigue el enunciado 3.

Se vuelve a utilizar asociación pero esta vez en el enunciado 3 y se finaliza encontrando el enunciado 4.
 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Dado el argumento:

Construir la prueba de validez:

1.
2.
Justificación del Argumento para probar la validez

3. 1, Conmutación
4. 3, Asociación
5. 4,2, Silogismo Disyuntivo

Aplicando al enunciado 1 la ley de conmutación para encontrar enunciado 3.

Se toma el enunciado 3 y aplicándole asociación, se encuentra el enunciado 4.

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Por ultimo, se aplica silogismo disyuntivo a los enunciados 2 y 4.

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.

Dado el argumento:

Construir la prueba de validez:

1.
Justificación del Argumento para probar la validez

2. 1, Implicación Material
3. 2, Adición
4. 3, Asociación
5. 4, Implicación Material
 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

VI. Construir una prueba formal de validez para cada uno de los siguientes
argumentos.

Dado el argumento:

Construir la prueba de validez:

1.
2.

Justificación del Argumento para probar la validez

3. 1, Conmutación
4. 3, Asociación
5. 2,4, Silogismo Hipotético
6. 5, Implicación Material

Se toma el enunciado 1 y se le aplica conmutación encontrando así el enunciado 3.

Para encontrar el enunciado 4, se aplica asociación al enunciado 3.

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

De los enunciados 2 y 4 se obtiene el enunciado 5 y se aplica silogismo hipotético.

Para terminar se toma el enunciado 5 y se obtiene el enunciado 6, se aplica implicación material.

Dado el argumento:

Construir la prueba de validez:

1.
2.

Justificación del Argumento para probar la validez

3. 1, Conmutación
4. 3, Asociación
5. 2,4, Silogismo Hipotético
6. 5, Exportación
 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Aplicando conmutación al enunciado 1, se encuentra el enunciado 3.

Luego, por asociación en el enunciado 3, se encuentra el enunciado 4.

Ahora, se toma los enunciados 2 y 4, y aplicando silogismo hipotético se encuentra el enunciado 5.

Por ultimo, se toma el enunciado 5 y aplicándole exportación se encuentra el enunciado 6.

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

VII. Construir una prueba de validez para cada uno de los siguientes
argumentos, usando en cada caso la notación sugerida.

Problema: Si el papel tornasol se vuelve rojo, entonces la solución es un óxido. Luego, si

el papel se vuelve rojo, entonces o la solución es un óxido o hay algo que anda mal. (R,
A, W)

Considerando:

R= Si el papel tornasol se vuelve rojo

A= la solución es un óxido
W= hay algo que anda mal

El argumento queda:

Construir la prueba de validez:

1.

Justificación del Argumento para probar la validez

2. 1, Implicación Material
3. 2, Adición
4. 3, Asociación
5. 4, Implicación Material

Aplicando implicación material al enunciado 1, se conseguirá el enunciado 2.

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Luego, se aplica adición al enunciado 2, para obtener el enunciado 3.

Para encontrar el enunciado 4, se aplica asociación al enunciado 3.

Por ultimo, para encontrar el enunciado 5, se hace uso de implicación material en el enunciado 4.

Problema: Si las leyes son buenas y su cumplimiento es estricto, disminuirá el delito. Si el

cumplimiento estricto de la ley hace disminuir el delito, entonces nuestro problema es de
carácter práctico. Las leyes son buenas, luego nuestro problema es de carácter práctico. (B, E,
D, P)

Considerando:

B= Las leyes son buenas

E= Su cumplimiento es estricto
D= Disminuirá el delito
P= Nuestro problema es de carácter práctico
 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

El argumento queda:

Construir la prueba de validez:

1.
2.
3.
Justificación del Argumento para probar la validez

4. 1, Exportación
5. 4,3 Modus Ponens
6. 2,5 Modus Ponens

Para encontrar el enunciado 4, se utiliza exportación en el enunciado 1.

Luego, se aplica modus ponens a los enunciados 4 y 3 para obtener el reglón 5.

 FACULTAD DE INGENIERIA Y ARQUITECTURA GUÍA DE
LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO

Para conseguir el enunciado 6, se toma los enunciados 2 y 5 aplicándole modus ponens.