University of California, San Diego: Edward Bender and S. Williamson's "Arithmetic, Logic, and Numbers: Logic"

Read the section titled "Implication" up to the exercises on pages Lo-4 - Lo-9. For the English translation discussion, see example 3 on page Lo-6 and Subunit 1.1.2 of this course. Example 3 also covers the Negation of a Conditional Statement, the Contrapositive of a Conditional Statement, and the Converse and Inverse of a Conditional Statement.

Click https://s3.amazonaws.com/saylordotorg-resources/wwwresources/site/wp-content/uploads/2011/09/CS202-Unit-lo-logic-Edward-Bender.pdf link to open resource.