"Funktionen, die nur auf einer endlichen Menge definiert sind, können durch eine Wertetabelle der klassischen Aussagenlogik und auch einigen anderen Logiken Wertetabellen dazu verwendet, die semantischen Eigenschaften der logischen Verknüpfungszeichen zu charakterisieren." Dieser Satz ergibt meines erachtens keinen Sinn. Ich habe ihn jedenfalls nach mehrmaligem Lesen immer noch nicht verstanden. -- Mathze 19:58, 17. Jan. 2023 (CET)