Lösung der Aufgaben zur Aussagenlogik (WS 13/14)

Aussagenlogik

Bitte rufen Sie sich die Aussagenlogik ins Gedächtnis. Eine gute Wiederholung (bzw. eine gute Einführung, falls Sie die mathematischen Grundlagen 1 noch nicht besucht haben) finden Sie bei youtube. Geben Sie dort "Spannagel Aussagenlogik" ein und sehen Sie sich Teil 1 bis 3 an.

Beweisen Sie mit einer Wahrheitstabelle:

• (A $\Rightarrow$ B) $\Leftrightarrow$ ( $\neg A$ $\vee$ B)
• $\neg (A \wedge B)$ $\Leftrightarrow$ ($\neg A$ $\vee$ $\neg B$)

Damit es nicht zu schwierig wird, hier schon mal die Tabelle. Die Zahlen sind mit Inhalt zu ersetzen. --Tutorin Anne 08:46, 29. Okt. 2013 (CET)

A	B	A $\Rightarrow$ B	$\neg A$	$\neg A$ $\vee$ B
f	w	w	w	w
w	w	w	f	w
w	f	f	f	w
f	f	w	w	f

Danke Kuckuck für deinen Beitrag. Die Tabelle ist noch nicht korrekt. Wer kann die Tabelle korregieren? Dazu die Kopie der Tabelle darunter einfügen und dann ändern! Vergiss bitte nicht dein "Unterschrift" darunter zu sezten, da a)jeder dann direkt auf deine Antwort bezug nehmen kann und b) das Datum erscheint, an dem du die Antwort eingestellt hast. Das Symbol dazu oben (Unterschrift) drücken. --Tutorin Anne 21:45, 3. Nov. 2013 (CET)

A	B	A $\Rightarrow$ B	$\neg A$	$\neg A$ $\vee$ B
f	w	w	w	w
w	w	w	f	w
w	f	f	f	f
f	f	w	w	w--EarlHickey (Diskussion) 16:51, 2. Jan. 2014 (CET)

• Danke für dein Beitrag EarlHickey. Die Tabelle stimmt so!--Tutorin Anne (Diskussion) 10:29, 5. Jan. 2014 (CET)
  

Tabelle für den zweiten Teil der Aufgabe, Spalten bitte noch ergänzen:

A	B	A $\Rightarrow$ B	...	...
f	w	1	2	3
w	w	11	12	13
w	f	21	22	23
f	f	31	32	33