Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Reglas de Inferencia y Reemplazo 1 PDF
Reglas de Inferencia y Reemplazo 1 PDF
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.
Premisa 2
Premisa 1
1.
Conclusin
2.
3. 2, Distributiva
4. 3, Conmutacin
5. 4, Simplificacin
6. 5, Tautologa
7. 1, Asociacin
8. 7,6 Silogismo Disyuntivo
9. 8 Implicacin Material
FACULTAD DE INGENIERIA Y ARQUITECTURA GUA DE
LGICA MATEMTICA/LGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO
Procedimiento:
Despus se toma el regln 4 para justificar el regln 5, esta vez se hace por simplificacin.
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.
FACULTAD DE INGENIERIA Y ARQUITECTURA GUA DE
LGICA MATEMTICA/LGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ 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:
Premisa 1 Conclusin
1.
Justificacin del Argumento para probar la validez
2. 1, Implicacin Material
3. 2, Exportacin
Luego, se puede aplicar exportacin al regln 2, as se termina encontrando las dos premisas que
faltaban.
Dado el argumento:
1.
2.
Justificacin del Argumento para probar la validez
3. 2, Implicacin Material
4. 1,3 Silogismo Hipottico
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.
Justificacin del Argumento para probar la validez
2. 1, Asociacin
3. 2, Conmutacin
4. 3, Asociacin
FACULTAD DE INGENIERIA Y ARQUITECTURA GUA DE
LGICA MATEMTICA/LGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO
Se vuelve a utilizar asociacin pero esta vez en el enunciado 3 y se finaliza encontrando el enunciado 4.
FACULTAD DE INGENIERIA Y ARQUITECTURA GUA DE
LGICA MATEMTICA/LGICA PROPOSICIONAL EJERCICIOS
REGLAS DE INFERENCIA
UNIDAD VI: PRUEBA DE VALIDEZ E INVALIDEZ Y REEMPLAZO
Dado el argumento:
1.
2.
Justificacin del Argumento para probar la validez
3. 1, Conmutacin
4. 3, Asociacin
5. 4,2, Silogismo Disyuntivo
Dado el argumento:
1.
Justificacin del Argumento para probar la validez
2. 1, Implicacin Material
3. 2, Adicin
4. 3, Asociacin
5. 4, Implicacin Material
FACULTAD DE INGENIERIA Y ARQUITECTURA GUA DE
LGICA MATEMTICA/LGICA 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:
1.
2.
3. 1, Conmutacin
4. 3, Asociacin
5. 2,4, Silogismo Hipottico
6. 5, Implicacin Material
Dado el argumento:
1.
2.
3. 1, Conmutacin
4. 3, Asociacin
5. 2,4, Silogismo Hipottico
6. 5, Exportacin
FACULTAD DE INGENIERIA Y ARQUITECTURA GUA DE
LGICA MATEMTICA/LGICA 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 notacin sugerida.
Considerando:
El argumento queda:
1.
2. 1, Implicacin Material
3. 2, Adicin
4. 3, Asociacin
5. 4, Implicacin Material
Por ultimo, para encontrar el enunciado 5, se hace uso de implicacin material en el enunciado 4.
Considerando:
El argumento queda:
1.
2.
3.
Justificacin del Argumento para probar la validez
4. 1, Exportacin
5. 4,3 Modus Ponens
6. 2,5 Modus Ponens