thomasabishop/eolas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
eolas/Logic/Law_of_the_Excluded_Middle.md
tactonbishop f9d9c6aee6 Last Sync: 2022-08-21 11:00:04
2022-08-21 11:00:04 +01:00

177 B
Raw Blame History

categories tags
Logic
propositional-logic

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