Inferencia por reducción al absurdo en lógica de enunciados

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 Jordan Lluch, C. (2023). Inferencia por reducción al absurdo en lógica de enunciados. https://riunet.upv.es/handle/10251/193839 DER