["gdw": genau dann, wenn]
A ("nicht A") ist wahr gdw A falsch ist;
A /\ B ("A und B") ist wahr gdw A und B beide wahr sind;
A \/ B ("A oder B") ist wahr gdw mindestens einer von A und B wahr ist;
A <-> B ("A genau dann, wenn B") ist wahr gdw A und B beide wahr oder beide falsch sind;
A -> B ("wenn A, dann B") ist falsch gdw A wahr ist und B falsch ist,
d.h. A -> B ist wahr gdw mindestens eine der folgenden Bedingungen erfüllt ist:
1. A ist falsch, oder 2. B ist wahr
![](uploads/RTEmagicC_b8f61c70aa.gif.gif) A <-> ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) B | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | Wenn (i) oder (ii) gilt: (i) A und B sind beide falsch. (ii) A und B sind beide wahr. | ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) (A \/ B) | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | Wenn weder A noch B wahr sind. (= Wenn A und B beide falsch sind.) | ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) (A /\ B) | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | Wenn mindestens einer von A und B falsch ist (= Wenn nicht zugleich A und B wahr sind.) | ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) A /\ ![](uploads/RTEmagicC_b8f61c70aa.gif.gif) B | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | Wenn A und B beide falsch sind |
|