Inferencia directa en lógica de enunciados

Se introduce la inferencia directa en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos Jordan Lluch, C. (2023). Inferencia directa en lógica de enunciados. http://hdl.handle.net/10251/193823