Law of Excluded Middle#Use in computer science proofs

  1. REDIRECT Law of excluded middle {{R from other capitalisation}}