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

