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

174 B
Raw Blame History

tags
Logic
propositional-logic
theorems-axioms-laws

A proposition cannot be true and false at the same time. \sim (P & \sim P)