Ejercicios de inferencia por reducción al absurdo en lógica de enunciados

Se resuelven ejercicios aplicando la inferencia por reducción al absurdo en lógica de enunciados. Se utiliza, además de las leyes y reglas de inferencia, las propiedades boolenas y las equivalencias más habituales. Jordan Lluch, C. (2023). Ejercicios de inferencia por reducción al absurdo en lógica de enunciados. https://riunet.upv.es/handle/10251/193822 DER