Single Idea 15934

[catalogued under 5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle]

Full Idea

The Law of Excluded Middle is (part of) the foundation of the mathematical practice of employing proofs by contradiction.

Gist of Idea

Mathematical proof by contradiction needs the law of excluded middle

Source

Shaughan Lavine (Understanding the Infinite [1994], VI.1)

Book Reference

Lavine,Shaughan: 'Understanding the Infinite' [Harvard 1994], p.155


A Reaction

This applies in a lot of logic, as well as in mathematics. Come to think of it, it applies in Sudoku.