🏛️ 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;