Wahrheitstafel, Konjunktion , Disjunktion , Implikation , Äquivalenz , Negation
Motivation für dieses Tool: Mathematik- und Informatik-Studium
Übung in Pascal und Mathe Thema Logik, siehe https://de.wikipedia.org/wiki/Wahrheitstabelle
Kurzerklärung:
Eingabe zum Beispiel 3 Aussagen, jede kann wahr oder falsch sein.
Dann ist die Potenzmenge 2 hoch 3 = 8
So ist die Tabelle 3x8 groß.
Anschließend können die Aussagen bearbeitet werden und verglichen werden.
So kann man zum Beispiel diese Aufgabe lösen:
Aufgabe: Beweisen Sie, dass die Wahrheitstafeln von ¬(A∨B) und (¬A)∧(¬B) gleich sind.
Motivation für dieses Tool: Mathematik- und Informatik-Studium
Übung in Pascal und Mathe Thema Logik, siehe https://de.wikipedia.org/wiki/Wahrheitstabelle
Kurzerklärung:
Eingabe zum Beispiel 3 Aussagen, jede kann wahr oder falsch sein.
Dann ist die Potenzmenge 2 hoch 3 = 8
So ist die Tabelle 3x8 groß.
Anschließend können die Aussagen bearbeitet werden und verglichen werden.
So kann man zum Beispiel diese Aufgabe lösen:
Aufgabe: Beweisen Sie, dass die Wahrheitstafeln von ¬(A∨B) und (¬A)∧(¬B) gleich sind.