Assertion: god's law | /r/CapableOf | state in logic
Facets:
Source sentences:
text: In logic, the “law of the excluded middle” states that a thing either is, or it is not.