Buenas,
Básicamente mi pregunta es esa, estoy en el primer ejercicio del practico 4 y todavía no me queda muy claro, al momento de derivar, cuando usar una introducción y cuando usar una eliminación
Como saber cuando usar introducción y cuando usar eliminación
Número de respuestas: 1
En respuesta a Tomas Pasacual Sexenian Lopez
Re: Como saber cuando usar introducción y cuando usar eliminación
de Juan Diego Campo -
Estimado, disculpá la demora en responder. No se si todavía tenés la duda, pero la contesto por si le sirve a alguien más.
Las reglas de introducción las usas cuando tenés que probar el conectivo. Por ejemplo, si tengo que probar un implica, puedo usar introducción del implica. Las reglas de eliminación se usan cuando sabemos que se cumple algo con ese conectivo (porque lo tenemos como hipótesis o porque lo probamos) y lo queremos usar.
Saludos
Las reglas de introducción las usas cuando tenés que probar el conectivo. Por ejemplo, si tengo que probar un implica, puedo usar introducción del implica. Las reglas de eliminación se usan cuando sabemos que se cumple algo con ese conectivo (porque lo tenemos como hipótesis o porque lo probamos) y lo queremos usar.
Saludos