Aussagenlogik - Wie funktioniert die Beweisführung?

2 Antworten

A ist hinreichend für B

B ist notwendig für A

Wenn ~B, dann auch ~A

Wahrheitstabelle liefert auch:

A | B | A->B 
w   w     w 
w   f      f 
f     w    w 
f     f      w

was heißt das ; vorn am Anfang ?

Was möchtest Du wissen?