Mathematische Logik

Aussagenlogik (MSC: 03B05)

• Eröffnungsartikel
• Aussagenlogik, Einleitung
• Aussagen, Verknüpfungen und Wahrheitstafeln
• Ein- und Ersetzung, wichtige Äquivalenzen und Tautologien
• Normalformen, KV-Diagramm
• Beweis, vollständige Induktion

Prädikatenlogik