contradiction
Related entries include:
excluded middle, law of
;