Aufgabe: Zeigen sie, dass die Implikation [(nicht a)und (b=> a)] => nicht b immer wahr ist ( unabhängig von den Wahrheitswerten der Aussagen a und b , also eine sogenannte “Schlussregel” darstellt. (Sie können das z.B. mit einer Wahrheitstabelle nachprüfen)
Problem/Ansatz:
(( a und ( b=>a)) => b ) <=> (a =>b)
(( a und ( b =>a)) => b) <=> (( a und (nicht b und a)) oder b
<=> nicht a oder nicht ( b oder a) oder b
<=> a oder b und nicht a und b
a oder b
X=> y<=> nicht x oder y <=> a=> b
Ich bin mir nicht sicher, wir haben das Thema erst seit Montag und da war ich krank