Showing revision 2Difference (from revision 2 to revision 2)
(
minor diff)
(The revisions are identical or unavailable.)
For any proposition P, either [P] is true or [P] is false; there are no propositions that are neither true nor false.
This is closely related though distinct from TheLawOfExcludedMiddle and TheLawOfNoncontradiction.