Assertion: principle | /r/CapableOf | become in formal logic
Facets:
Source sentences:
text: In formal logic, the principle of bivalence becomes a property that a semantics may or may not possess.