Lösung der Aufgaben zur Aussagenlogik (SoSe 12): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
Malaba (Diskussion | Beiträge) (→Aussagenlogik) |
|||
Zeile 95: | Zeile 95: | ||
<span style="color: red">Aussage Äquivalent</span> | <span style="color: red">Aussage Äquivalent</span> | ||
+ | |||
+ | [[Kategorie:Einführung_S]] |
Version vom 18. April 2012, 14:06 Uhr
Media:Beispiel.ogg== 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 B) ( B)
- ( )
A | B | (A B) | ( B) | ||
---|---|---|---|---|---|
f | f | w | w | w | |
f | w | w | w | w | |
w | f | f | f | f | |
w | w | w | f | w |
Aussage Äquivalent
A | B | ( ) | ||||
---|---|---|---|---|---|---|
f | f | f | w | w | w | w |
f | w | f | w | w | f | w |
w | f | f | w | f | w | w |
w | w | w | f | f | f | f |
Aussage Äquivalent