Question

an implication is logically equivalent to its​

Answer 1

The inverse of P ⇒ Q is the contrapositive of its converse: namely, the implication ¬P ⇒ ¬Q. Since any implication is logically equivalent to its contrapositive, we know that the converse Q ⇒ P and the inverse ¬P ⇒ ¬Q are logically equivalent.

Answer 2

Definition 1.3. The inverse of P ⇒ Q is the contrapositive of its converse: namely, the implication ¬P ⇒ ¬Q. Since any implication is logically equivalent to its contrapositive, we know that the converse Q ⇒ P and the inverse ¬P ⇒ ¬Q are logically equivalent.