Wahrheitstabellen für die klassische Logik und für eine Reihe nicht klassischer Systeme
Der einzige Zweck dieses Programms ist es, Truth Tables zu generieren und anzuzeigen.
Diese freie Version unterstützt alle üblichen Konnektiven der klassischen Logik, dh Negation, Konjunktion, (inklusive) Disjunktion, konditonale (materielle Implikation) und zweikonditionelle (materielle Äquivalenz) sowie die Konstanten 1 bzw. 0, die Wahrheit und Falschheit bezeichnen. Eine coole Sache ist, dass Sie neben der etwas langweiligen Standardnotation der Logik auch Lukasiewicz 'mit Stream ausgekleidete, glänzende polnische Notation verwenden können.
Und es hört hier nicht auf. Wenn Sie die bodenständige Person sind, werden Sie feststellen, dass das Programm standardmäßig klassische, zweiwertige Logik verwendet. Wenn Sie jedoch eher abenteuerlustiger Typ sind und nie kurz vor einem Unternehmen stehen, werden Sie sich freuen, dass Truth Tables für Android auch eine Reihe nicht klassischer, mehrfach bewertetes Logiksysteme unterstützen. Betreten Sie niemals zweimal einen Fluss und zwei Negative sind sozusagen keine Bestätigung!
Herunterladen