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 d33f92aabc Last Sync: 2022-08-20 13:00:04
2022-08-20 13: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