Use la resolución para derivar cada combinación en los ejercicios 2 al 6. Sugerencia: En los ejercicios 5 y 6, sustituya→ y↔ con expresiones lógicamente equivalentes que usan o e y.
Get 1.6.2 exercise solution
Get 1.6.3 exercise solution
Get 1.6.4 exercise solution
Get 1.6.5 exercise solution
Get 1.6.6 exercise solution
7. Use resolución y prueba por contradicción para demostrar de nuevo los ejercicios 2 al 6. Get 1.6.7 exercise solution
8. Use resolución y prueba por contradicción para demostrar de nuevo el ejemplo 1.6.6. Get 1.6.8 exercise solution
