Assertion: logic | /r/HasProperty | applied in mathematical discussions
Facets:
Source sentences:
text: Wherever logic is applied, especially in mathematical discussions, it has the same meaning as above: it is an abbreviation for if and only if, indicating that one statement is both necessary and sufficient for the other.