0 Daumen
170 Aufrufe

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

Avatar von

1 Antwort

0 Daumen

a    b     b=>a     a und ( b=>a)    ( a und ( b=>a)) => b     a=>b

w    w       w               w                              w                        w
w    f         w               w                              f                         f
f     w        f                 f                                w                       w
f      f         w              f                                 w                       w

vorletzte Spalte und letzte Spalte stimmen überein, also OK.

Avatar von 289 k 🚀

Kannst du mir das genauer erklären?

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community