Mikel10sar escribió:
He visto algunos exámenes de esta materia y veo que hay alguna pregunta teórica, principalmente en el último apartado del examen... qué tipo de respuesta se suele exigir para responder correctamente? Por ejemplo, en el examen de la primera convocatoria ha salido esta pregunta:
Explique la regla básica de eliminación de la disyunción...
cómo hay que contestar esta pregunta? en tres líneas? Muchas gracias
Hola,
yo lo conteste en algo más que 3 lineas, aunque de modo muy resumido se puede decir en primer lugar que la disyuntiva es un conector lógico binario, esto es, que enlaza variables proposicionales o fórmulas; es verdadero cuando cualquiera de ambos miembros es verdadero, y falso cuando ambos lo son simultaneamente. A partir de ahí, decir que la eliminacion de la disyunción consiste en hacer una derivación en la que se supone cada miembro de la disyunción; si en ambas derivaciones se llega a la misma fórmula, entonces podemos eliminar la disyunción y sustituirla por la fórmula obtenida.
Despues añadi un ejemplo sencillo.
Espero que te sirva de ayuda.
Saludos,
