Mathematik für Wirtschaftsinformatiker

Aussagenlogik

Was ist ein Konditional?

Eine logische Wenn, dann Verknüpfung
Diese Verknüpfung ist nur dann falsch, wenn das Vorderglied (Antezendens) wahr ist und das Hinterglied (Sukzendenz) falsch ist, also wenn eine wahre Aussage falsch wird.
 
Merksatz: Falsch kann wahr werden, wahr bleibt wahr und kann nicht falsch werden.
 
Formelzeichen: A→B

Diskussion