excluded middle
Related entries include:
non-contradiction
;