https://maximummathematics.com/books/foundational-mathematics/proof/variations-on-the-implication/index.htmlThere are some simple ways we can change around an implication. Exactly how we make these changes affects how the new implication we form is related to our original starting implication. In this section, we look at three such variations — the converse, the inverse, and the contrapositive — and see how each one relates back to the implication we started with. The Converse, Inverse, and Contrapositive The first two modifications are relatively straightforward.Hugoen-US