Inferencia por reducción al absurdo en lógica de enunciados
Jordan Lluch, Cristina;
Se introduce la inferencia por reducción al absurdo en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos
http://hdl.handle.net/10251/193839