Examen de Lógica I. 2 de Julio 2014. Juan Carlos León.

Examen de Lógica I Julio 2014

1. Resolver por primitivas

¬(A ^B)├ A→¬B

1. Resolver por reglas derivadas

¬A→¬B, BvC├ ¬C→A

Preguntas de teoría:

1. Lógicas clásicas y lógicas no clásicas

2. Demostrar la corrección de arboles en lógica proposicional

Gracias José María Díaz!!! :)