Im hiesigen Kontext meine ich mit leerer Aussage: . Vielleicht sollte man besser von einer leeren verallgemeinerten Konjunktion sprechen? (Das ist ja immer eine Aussage! Es gibt aber auch die leere verallgemeinerte Disjunktion, die dagegen als FALSCH auswertet.) Dass sie als WAHR auszuwerten ist, steht in Klausel-Normalform. [FALSCH ist das neutrale Element der Disjunktion und WAHR das der Konjunktion.] Dass die Implikation genau dann zutrifft, wenn zutrifft, steht in Subjunktion#Klassische Subjunktion. -- Nomen4Omen 20:09, 7. Sep. 2018 (CEST)