Inferencia condicional en lógica de enunciados

Jordan Lluch, Cristina; Se introduce la inferencia condicional en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos http://hdl.handle.net/10251/193760