Assertion: ortho negation | /r/Synonym | boolean or classical negation
Facets:
Source sentences:
text: An ortho negation in a logic with conjunction distributing over disjunction (or, equivalently, disjunction distributing over conjunction), is called a Boolean or classical negation.