Reglas de Inferencia y Reemplazo

FACULTAD DE INGENIERIA Y ARQUITECTURA
LGICA MATEMTICA/LGICA PROPOSICIONAL

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

INDICACIN: Un mtodo ms eficiente para probar la validez de un argumento extenso consiste en
deducir su conclusin a partir de sus premisas mediante una serie de argumentos elementales, cada
uno de los cuales se conoce como vlido. Esta tcnica es muy similar a los mtodos ordinarios de
argumentacin. Para realizar los ejercicios debe tener presente las Reglas de Inferencia y Reemplazo.

REGLAS DE REEMPLAZO PARA LA CONSTRUCCIN DE PRUEBAS FORMALES DE VALIDEZ

GUA DE
EJERCICIOS
Y REEMPLAZO

I. Para cada uno de los siguientes argumentos, enunciar la regla de
inferencia por la cual la conclusin 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 justificacin de cada lnea que no
sea una premisa.

1.

2.

----------------------------------------------------Justificacin del Argumento para probar la validez

3. 2, Distributiva
4. 3, Conmutacin
5. 4, Simplificacin
6. 5, Tautologa
7. 1, Asociacin
8. 7,6 Silogismo Disyuntivo
9. 8 Implicacin Material

Premisa 1
Premisa 2
Conclusin

GUA DE
EJERCICIOS
Y REEMPLAZO

Procedimiento:
Se comienza la justificacin a partir del regln 3 despus de la conclusin, se toma el regln 2.
Entonces, se obtiene el regln 3 por distribucin.

Luego, se toma el rengln 3 para justificar el regln 4 usando conmutacin.

Despus se toma el regln 4 para justificar el regln 5, esta vez se hace por simplificacin.

Se toma el regln 5 y aplicando la regla de tautologa, resulta el regln 6.

GUA DE
EJERCICIOS
Y REEMPLAZO

Para encontrar el regln 7, se toma el regln 1 y se utiliza la ley distributiva.

Como todava no se ha usado los renglones 6 y 7, se usar para encontrar le regln 8. Esta vez se
utilizar el silogismo disyuntivo.

Por ltimo se utiliza el rengln 8 y utilizando implicacin material, se encontrar la respuesta que busca,
que es la conclusin del argumento y as se demuestra la validez.

GUA DE
EJERCICIOS
Y REEMPLAZO

III. Para cada uno de los siguientes argumentos, aadir 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.
Justificacin del Argumento para probar la validez

2. 1, Implicacin Material
3. 2, Exportacin

Utilizando Implicacin material en el regln 1, se encuentra el regln 2,

Premisa 1
Conclusin

GUA DE
EJERCICIOS
Y REEMPLAZO

Luego, se puede aplicar exportacin al regln 2, as se termina encontrando las dos premisas que
faltaban.

Dado el argumento:

1.
2.

4. 1,3 Silogismo Hipottico

Se empieza con el enunciado 2 y se aplica implicacin material para obtener el enunciado 3.

GUA DE
EJERCICIOS
Y REEMPLAZO

Luego, aplicando silogismo hipottico al enunciado 1 y 3 se encuentra el enunciado 4.

IV. Para cada uno de los siguientes argumentos, aadir 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, Asociacin
3. 2, Conmutacin
4. 3, Asociacin

GUA DE
EJERCICIOS
Y REEMPLAZO

Se toma el enunciado 1, se aplica asociacin y se encuentra el enunciado 2.

Luego, se aplica conmutacin en el enunciado 2, se consigue el enunciado 3.

Se vuelve a utilizar asociacin pero esta vez en el enunciado 3 y se finaliza encontrando el enunciado 4.

GUA DE
EJERCICIOS
Y REEMPLAZO

Dado el argumento:

1.
2.

3. 1, Conmutacin
4. 3, Asociacin
5. 4,2, Silogismo Disyuntivo
Aplicando al enunciado 1 la ley de conmutacin para encontrar enunciado 3.

Se toma el enunciado 3 y aplicndole asociacin, se encuentra el enunciado 4.

GUA 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 ms 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, Adicin
4. 3, Asociacin

GUA 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, Conmutacin
4. 3, Asociacin
5. 2,4, Silogismo Hipottico

Se toma el enunciado 1 y se le aplica conmutacin encontrando as el enunciado 3.

Para encontrar el enunciado 4, se aplica asociacin al enunciado 3.

GUA DE
EJERCICIOS
Y REEMPLAZO

De los enunciados 2 y 4 se obtiene el enunciado 5 y se aplica silogismo hipottico.

Para terminar se toma el enunciado 5 y se obtiene el enunciado 6, se aplica implicacin material.

Dado el argumento:

1.
2.


3. 1, Conmutacin
4. 3, Asociacin
5. 2,4, Silogismo Hipottico
6. 5, Exportacin

GUA DE
EJERCICIOS
Y REEMPLAZO

Aplicando conmutacin al enunciado 1, se encuentra el enunciado 3.

Luego, por asociacin en el enunciado 3, se encuentra el enunciado 4.

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

Por ultimo, se toma el enunciado 5 y aplicndole exportacin se encuentra el enunciado 6.

GUA DE
EJERCICIOS
Y REEMPLAZO

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

Problema: Si el papel tornasol se vuelve rojo, entonces la solucin es un xido. Luego, si
el papel se vuelve rojo, entonces o la solucin es un xido o hay algo que anda mal. (R,
A, W)

Considerando:

R= Si el papel tornasol se vuelve rojo
A= la solucin es un xido
W= hay algo que anda mal

El argumento queda:


1.


3. 2, Adicin
4. 3, Asociacin

Aplicando implicacin material al enunciado 1, se conseguir el enunciado 2.

GUA DE
EJERCICIOS
Y REEMPLAZO

Luego, se aplica adicin al enunciado 2, para obtener el enunciado 3.

Para encontrar el enunciado 4, se aplica asociacin al enunciado 3.

Por ultimo, para encontrar el enunciado 5, se hace uso de implicacin 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
carcter prctico. Las leyes son buenas, luego nuestro problema es de carcter prctico. (B, E,
D, P)

Considerando:

B= Las leyes son buenas
E= Su cumplimiento es estricto
D= Disminuir el delito
P= Nuestro problema es de carcter prctico

GUA DE
EJERCICIOS
Y REEMPLAZO

El argumento queda:


1.
2.
3.

4. 1, Exportacin
5. 4,3 Modus Ponens
6. 2,5 Modus Ponens

Para encontrar el enunciado 4, se utiliza exportacin en el enunciado 1.

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

GUA DE
EJERCICIOS
Y REEMPLAZO

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

Reglas de Inferencia y Reemplazo

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Reglas de Inferencia y Reemplazo

Transféré par

Droits d'auteur :

Formats disponibles

FACULTAD DE INGENIERIA Y ARQUITECTURA

LGICA MATEMTICA/LGICA PROPOSICIONAL

Vous aimerez peut-être aussi