Se resuelven ejercicios aplicando la inferencia directa en lógica de enunciados. Se utiliza, además de las leyes y reglas de inferencia, las propiedades booleanas y las equivalencias más habituales. Jordan Lluch, C. (2023). Ejercicios de inferencia directa en lógica de enunciados. http://hdl.handle.net/10251/193831