Mathematical Logics with Truth

Die mathematische Logik-App umfasst folgende Themen:

> Negation - Um eine Aussage als wahr, falsch oder offen zu kennzeichnen. Die Negation einer Aussage in symbolischer Form und in Satzform auflisten. Auflisten der Wahrheitswerte für eine bestimmte Aussage und deren Negation.

> Konjunktion - Definiert einen logischen Konnektor, eine zusammengesetzte Anweisung und eine Konjunktion. Eine Konjunktion in symbolischer Form und in Satzform auflisten. Eine Wahrheitstabelle für eine Konjunktion erstellen.

> Disjunktion - Disjunktion definieren. Eine Disjunktion in symbolischer Form und in Satzform auflisten. Eine Wahrheitstabelle für eine Disjunktion erstellen.

> Bedingungsanweisungen - Um die Hypothese und den Abschluss einer Bedingung zu identifizieren. Eine Bedingung in symbolischer Form und in Satzform auflisten. Um den Wahrheitswert einer Bedingung aufzulisten, ist der Wert jedes Teils anzugeben.

> Bedingte Anweisungen - Um eine Bedingung in symbolischer Form und in Satzform aufzulisten. Um die Hypothese und Schlussfolgerung zu identifizieren. Um einen Satz auszuwerten, um festzustellen, ob er von den Bedingungen abhängig ist oder nicht.

Tautologien Zur Identifizierung der einzelnen Teile einer zusammengesetzten Anweisung. Erstellen einer Wahrheitstabelle für eine zusammengesetzte Anweisung, um zu bestimmen, ob es sich um eine Tautologie handelt oder nicht.

> Widerspruch

> Eventualität

> Wahrheitstabelle mit 3 Variablen

> Venn-Diagramm