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

Jordan Lluch, Cristina; 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. http://hdl.handle.net/10251/193822