Assertion: logic | /r/HasProperty | positive
Facets:
Source sentences:
text: Logics for non-strict functions must be positive because in a negative or neutral logic empty-termed atomic formulas, such as \(f(1, 1/0) = 1\), cannot be true.