theory:propositional_logic:sentential_connective
Re: theory:propositional_logic:sentential_connective
Welches Zeichen nehmen wir jetzt für die Antivalenz?
-
Xin
- nur zu Besuch hier
- Beiträge: 8862
- Registriert: Fr Jul 04, 2008 11:10 pm
- Wohnort: /home/xin
- Kontaktdaten:
Re: theory:propositional_logic:sentential_connective
Wikipedia nimmt ein Oder-Symbol, das unterstrichen ist: "∨"dani93 hat geschrieben:Welches Zeichen nehmen wir jetzt für die Antivalenz?
Wikipedia hat geschrieben:In der Literatur wird das Exklusiv-Oder mit verschiedenen Symbolen gekennzeichnet. Üblich ist es, den Operator als „XOR“ auszuschreiben, z.B. mit dem Ausdruck "A XOR B". Bei Verwendung des Symbols „+“ für das logische Oder wird das Symbol „⊕“ für das Exklusiv-Oder verwendet. Bei der Verwendung von „∨“ für das logische Oder wird hingegen „⊻“ für das Exklusiv-Oder verwendet.
Merke: Wer Ordnung hellt ist nicht zwangsläufig eine Leuchte.
Ich beantworte keine generellen Programmierfragen per PN oder Mail. Dafür ist das Forum da.
Ich beantworte keine generellen Programmierfragen per PN oder Mail. Dafür ist das Forum da.