<    1    >

---

Logik

• Tautologie

• Satz vom ausgeschlossenen Dritten
• Unvollständigkeitssätze
• Entscheidungsproblem

• Künstliche Intelligenz

• Reductio ad absurdum
• Vollständige Induktion

Besonderheiten

• Gleichheitszeichen
• Non sequitur

 

---

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