Lösung der Aufgaben zur Aussagenlogik (SoSe 12): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
Zeile 97: | Zeile 97: | ||
[[Kategorie:Einführung_S]] | [[Kategorie:Einführung_S]] | ||
+ | [[Kategorie:Einführung_P]] |
Aktuelle Version vom 19. April 2012, 11:00 Uhr
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