6
Algebra (Fach) / Kapitel 2 Grundbegriffe (Lektion)
- Axiom Ein Ausganssatz, der in einem Kalkül einer formalen Sprache als gültig vorausgesetzt wird.
- Kalkül Ein System von Regeln, mit denen sich aus gegebenen Aussagen weitere Aussagen ableiten lassen.
- Tautologie Ein mathematischer Satz, der aus logischen Gründen immer wahr ist.
- Satz/Theorem Eine widerspruchsfreie logische Aussage, die mittels bereits bewiesener Sätze hergeleitet wurde.
- Lemma Wird nur im Beweis anderer Sätze verwendet und hat unabhängig davon keine Bedeutung.
- Korollar Ein Folgesatz für eine triviale Schlussfolgerung, die sich aus einem Satz oer einer Definition ohne großen Aufwand ergibt.
Anzeige