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.

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 ...

Se introduce la inferencia condicional en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos

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