Ejercicios de inferencia en lógica de enunciados

Se resuelven ejercicios aplicando la inferencia, tanto condicional como directa o 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 en lógica de enunciados. https://riunet.upv.es/handle/10251/193854 DER