This exercise has been attached below. This is a problem of logic and we use several concepts of it:
1. Counterexample
2. Symbolic notation
3. True Statement
4. Conditional Statement
5. Contrapositive Statement
6. Inverse Statement
7. Converse Statement
8. Biconditional Statement
9. Valid Conclusion
10. Valid Conclusion
11. Venn Diagram
12. Venn Diagram