๐๏ธ Classical Logic
= ๐ค Intuitional Logic with one extra rule
Extra rule
To go from ๐ค Intuitional Logic to classical logic, one can choose one of these four rules:
- 3๏ธโฃ Tertium non datur (TND)
- ๐คก Reductio ad absurdum (KR)
- 2๏ธโฃ Rule of double negation (DN)
- ๐ฎโโ๏ธ Proof by case distinction (FU)
Relation
graph
0["3๏ธโฃ Tertium non datur (TND)"] --> A["๐ฎโโ๏ธ Proof by case distinction (FU)"]
A --> B["๐คก Reductio ad absurdum (KR)"]
B --> C["2๏ธโฃ Rule of double negation (DN)"]
C --> 0
class 0 internal-link;
class A internal-link;
class B internal-link;
class C internal-link;