Assertion: logic | /r/HasProperty | all bivalent
Facets:
Source sentences:
text: The logics discussed above are all "bivalent" or "two-valued"; that is, they are most naturally understood as dividing propositions into true and false propositions.