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