Assertion: inversion's inverse | /r/HasProperty | a type of conditional sentence
Facets:
value: in logic
type: OTHER
Source sentences:
text: In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence.