Reglas de Inferencia y Reemplazo (1)

FACULTAD DE INGENIERIA Y ARQUITECTURA LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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

I.

FACULTAD DE INGENIERIA Y ARQUITECTURA LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA Y REEMPLAZO

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 1.

Premisa 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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.

III.

FACULTAD DE INGENIERIA Y ARQUITECTURA LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA Y REEMPLAZO

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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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

VI.

FACULTAD DE INGENIERIA Y ARQUITECTURA LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA Y REEMPLAZO

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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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.

VII.

FACULTAD DE INGENIERIA Y ARQUITECTURA LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA Y REEMPLAZO

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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA 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 LÓGICA MATEMÁTICA/LÓGICA PROPOSICIONAL

GUÍA DE EJERCICIOS

UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ

REGLAS DE INFERENCIA Y REEMPLAZO

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