thomasabishop/eolas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
eolas/Logic/Law_of_the_Excluded_Middle.md
thomasabishop 246770bd91 Last Sync: 2022-04-23 18:30:04
2022-04-23 18:30:04 +01:00

192 B
Raw Blame History

tags
Logic
propositional-logic
theorems-axioms-laws

Every proposition has to be either true or false. There can be no middle ground. P \lor \sim P