AW: Problem mit logischen Aussageverknüpfungen "Saufst sterbst. Saufst net, sterbst a. Also saufst."
=
"Säufst du, stirbst du. Säufst du nicht, stirbst du auch."
??
Für a=saufen und b=sterben.
Dann ist die Aussage komisch, weil das impliziert, dass b immer wahr ist (man stirbt auf jeden Fall). Das würde bedeuten, dass die Tabelle nur zwei Zeilen mit Werten hätte, und mehrere Wiedersprüche hätte.
Als Verknüpfung ausgedrückt wäre dass dann sowas wie
a -> b
Aus a folgt b. Wenn du säufst, stirbst du. Wenn du nicht säufst, kannst du aber trotzdem sterben. Wenn du stirbst, muss das nicht unbedingt daran liegen, dass du gesoffen hast. |