Induktionsbeweise: Verallgemeinerte De-Morgan-Regeln und Distributivgesetze ZUSAMMENFASSUNGIn dieser Unterrichtseinheit wird das Thema der Induktionsbeweise in Mathematik und Aussagenlogik behandelt. Es werden die zwei existierenden Arten von Beweisen erklärt: interne oder deduktive Beweise, die auf den Regeln der Logik basieren, und externe oder metamathematische Beweise, die notwendig sind, um Aussagen zu beweisen,...
Induktion über die Komplexität von Formeln ZUSAMMENFASSUNGIn dieser Lektion lernst du eine Variante der mathematischen Induktion kennen, die als „Induktion über die Komplexität von Ausdrücken“ bekannt ist und sehr nützlich ist, um Eigenschaften in der Aussagenlogik zu beweisen. Anhand eines einfachen Beispiels, des Substitutionstheorems, wirst du sehen, wie diese Technik...
Normformen und ihre Eigenschaften ZUSAMMENFASSUNGDie Aussagenlogik ist ein grundlegendes Werkzeug in der Mathematik und Informatik. In dieser Lektion wird ein interessantes und nützliches Resultat in Bezug auf Normformen vorgestellt. Dazu werden die Begriffe Literal, konjunktive Normalform (KNF) und disjunktive Normalform (DNF) definiert. Außerdem wird der Satz über die Normalformen bewiesen,...
Normalform-Algorithmus und Anwendungen ZUSAMMENFASSUNGIn dieser Lektion betrachten wir den FND/FNC-Algorithmus, der es uns ermöglicht, aus jedem Ausdruck der Aussagenlogik seinen äquivalenten Ausdruck in konjunktiver oder disjunktiver Normalform zu finden. Wir beginnen mit der Erklärung der drei Schritte, aus denen dieser Algorithmus besteht: der Eliminierung von Implikationen und Äquivalenzen, der Beseitigung...
