Examen de Lógica II convocatoria de junio de 2013

Os dejo a continuación el examen de Lógica II que puso Juan Carlos León en en el día de ayer jueves 13 de junio de 2013. Lo reproduzco a continuación:

Pregunta 1. Resolver por reglas derivadas el siguiente esquema argumentativo:

¬∀x ∃y(Fx∧¬Gxy) ⊢∃x∀y(Fx→Gxy)

Pregunta 2. Cuantificadores numéricos

Pregunta 3. La corrección del método de árboles en lógica de primer orden

Pregunta  4. (Práctica 9, opcional para subir nota en las prácticas en caso de necesitarla). Resolver por el método de árboles el siguiente esquema argumentativo y decir si dicho esquema es válido:

∀x (Fx → ¬Gx), Fa, Gb ╞ a≠b

Asimismo, podéis descargarlo en PDF desde este enlace.