<    1    >

---

Logic

• Tautology

• Law of the excluded middle
• Incompleteness theorems
• Entscheidungsproblem

• Artificial intelligence

• Proof by contradiction
• Mathematical induction

Particularities

• Equal sign
• Non sequitur

 

---

العربية   Deutsch   Español   Français   Nederlands   中文   Русский