=== Wahrheitstafeln === == Eigenschaften == === Schnitt === === Tautologien === keine Tautologie. == Beispiele == Im Folgenden werden die 3 Atome F, P und V verwendet, welche mit folgenden Bedeutungen interpretiert werden können: === Starke Implikation === Die Formelmenge hat 6 FOUR-Modelle: == Literatur == == Weblinks == ...