Dashboard-Widget

English

Gliederung

1. Das Widget an sich
2. Beispieleingaben
3. Bedienung
4. Infixschreibweise
5. Polnische Notation
6. Kontakt

Verwandte Seiten

1. Alphagraphenwidget
2. Logikübergang
3. Christian Gottschall

Wahrheitstafelwidget

Das Widget an sich

Das Wahrheitstafelwidget heißt Wahrheitstafelwidget, weil es ein Dashboard-Widget ist und Wahrheitstafeln anzeigt. Es wirkt ab MacOS 10.4.3, ist kompakt und benötigt im Betrieb keine Internetverbindung und nur gelegentlich einen Schluck Wasser.

Das Wahrheitstafelwidget, das Wahrheitstafelwidget heißt, weil es ein Dasboard-Widget ist, das Wahrheitstafen anzeigt, unterstützt alle üblichen Verknüpfungen der zweiwertigen Logik, als da sind Negation, Konjunktion, Disjunktion, Konditional (materiale Implikation), Bikonditional, ausschließendes Oder (XOR), NOR (Peirce-Funktion), NAND (Sheffer-Funktion) und die Konstanten 1 und 0 als Verum beziehungsweise Falsum.

Zu Ihrer Bequemlichkeit habe ich auf dieser Seite einen Spendenlink angebracht. Sie zaubern ein glückliches Lächeln auf mein Gesicht, wenn Sie diesen verwenden.

Hernieder laden / Download

Beispieleingaben

Bedienung

Die Bedienung des Wahrheitstafelwidgets erschöpft sich darin, im Eingabefeld eine Aussage einzugeben - und zwar wahlweise in Infixschreibweise oder in polnischer Notation - und sanft, aber energisch die Eingabetaste zu betätigen. Nur ein bis eineinhalb Augenblicke später wird die Wahrheitstabelle für die jeweilige Aussage angezeigt.

Infixschreibweise

Achtung: Nicht jeder Browser stellt alle der hier verwendeten logischen Zeichen richtig dar; im Logikwidget werden die Zeichen selbstverständlich alle korrekt angezeigt.

Satzbuchstaben

A bis U und W bis Z, Groß- und Kleinschreibung wird nicht unterschieden; der Buchstabe "v" ist für die Disjunktion reserviert (siehe unten)

Negation

~ (Tilde), - (Minus), ¬

Konjunktion

& (kaufmännisches Und, Ampersand), ^ (Dach), ∧

Disjunktion

v (der Kleinbuchstabe), | (senkrechter Strich), ∨

Konditional

>, ->, =>, -->, ==>, →

Bikonditional

=, ↔

XOR

%

Peirce-Funktion (NOR)

!, ↓

Sheffer-Strich (NAND)

auf dem Kopf stehendes Rufzeichen, ↑

Klammern

Die runden Klammern, ( und ), werden wie üblich zur Gruppierung von Aussagen verwendet.

Leerzeichen

Zur besseren Lesbarkeit dürfen nach Belieben Leerzeichen eingefügt werden.

Bindungsstärke und Assoziativität der Operatoren

Die Bindungsstärke der Operatoren ist in absteigender Priorität folgende: Negation (stärkste), Konjunktion und NAND, Disjunktion, NOR und XOR, Konditional und Bikonditional (schwächste). Operatoren gleicher Bindungsstärke werden linksassoziativ ausgewertet.

Polnische Notation

Für Aussagen in polnischer Notation unterstützt das Widget die Konnektive N, K, A, C und E. Als Satzbuchstaben müssen Kleinbuchstaben verwendet werden, jedoch - zur eindeutigen Abgrenzung von der Infixschreibweise - nicht der Kleinbuchstabe v (der die Infix-Disjunktion benennt). Die anderen Konnektive lassen sich einfach aus den bestehenden Bilden, so zum Beispiel die Peirce-Funktion (NOR) als NA oder die Sheffer-Funktion (NAND) als NK (siehe obige Beispielliste).

Kontakt

Kommentare, Unterstützung und Fragen sind jederzeit willkommen. Bitte nutzen Sie für die verbale Kontaktaufnahme die E-Mail-Adresse gottschall@gmx.de.

2012-10-27 13:58:02
gottschall@gmx.de