The Law of Excluded Middle says that for any statement P, “P or not P” is true.
This is a companion discussion topic for the original entry at https://johncarlosbaez.wordpress.com/2024/03/13/the-probability-of-the-law-of-excluded-middle/
The Law of Excluded Middle says that for any statement P, “P or not P” is true.