Assertion: inversion's inverse | /r/HasProperty | equivalent
Facets:
value: logically
type: DEGREE
value: to each other
type: OTHER
Source sentences:
text: eg Q} , and since the double negation of any statement is equivalent to the original statement in classical logic, the inverse of the inverse is logically equivalent to the original conditional P → Q {
text: The inverse and the converse of a conditional are logically equivalent to each other, just as the conditional and its contrapositive are logically equivalent to each other.