Assertion: truth's value | /r/HasProperty | preserved in opposite direction
Facets:
Source sentences:
text: The other logical value, false, is preserved in the opposite direction: If the (every) conclusion is false, then so is at least one of the premises.