The inverse of an implication is an implication with the antecedent and consequent negated. For example, the inverse of (p ⇒ q) is (¬p ⇒ ¬q). Note that the inverse of an implication is not logically equivalent to the implication.