Lógica proposicional apuntes y ejercicios de deducción natural.pdf