Algebra (Subject) / Kapitel 2 Grundbegriffe (Lesson)

This lesson was created by kraideblaich.

Learn lesson

back  |  next 1 / 1

• 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.

back  |  next 1 / 1