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


GUÍA DE EJERCICIOS


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.

1.

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

Premisa 1

Premisa 2

Conclusión


GUÍA DE EJERCICIOS


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.


GUÍA DE EJERCICIOS


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.


GUÍA DE EJERCICIOS


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:

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,

Premisa 1 Conclusión


GUÍA DE EJERCICIOS


Y REEMPLAZO

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

faltaban.

Dado el argumento:


1.

2.



4. 1,3 Silogismo Hipotético

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


GUÍA DE EJERCICIOS


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:


1.


2. 1, Asociación

3. 2, Conmutación

4. 3, Asociación


GUÍA DE EJERCICIOS


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.


GUÍA DE EJERCICIOS


Y REEMPLAZO

Dado el argumento:


1.

2.


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.


GUÍA DE EJERCICIOS


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:


1.



3. 2, Adición

4. 3, Asociación



GUÍA DE EJERCICIOS


Y REEMPLAZO

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

Dado el argumento:


1.

2.


3. 1, Conmutación

4. 3, Asociación

5. 2,4, Silogismo Hipotético


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.


GUÍA DE EJERCICIOS


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:


1.

2.


3. 1, Conmutación

4. 3, Asociación

5. 2,4, Silogismo Hipotético

6. 5, Exportación


GUÍA DE EJERCICIOS


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.


GUÍA DE EJERCICIOS


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:


1.



3. 2, Adición

4. 3, Asociación


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


GUÍA DE EJERCICIOS


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


GUÍA DE EJERCICIOS


Y REEMPLAZO

El argumento queda:


1.

2.

3.


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.


GUÍA DE EJERCICIOS


Y REEMPLAZO

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

reglas de inferencia y reemplazo (1)

Documents