Lösung der Aufgaben zur Aussagenlogik (SoSe 12): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
Mahe84 (Diskussion | Beiträge) (→Aussagenlogik: table+) |
Malaba (Diskussion | Beiträge) (→Aussagenlogik) |
||
| Zeile 1: | Zeile 1: | ||
| − | == Aussagenlogik == | + | [[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. | 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. | ||
| Zeile 35: | Zeile 35: | ||
| <span style="color: red">f</span> | | <span style="color: red">f</span> | ||
| f | | f | ||
| − | | <span style="color: red"> | + | | <span style="color: red">f</span> |
|- | |- | ||
| w | | w | ||
| Zeile 42: | Zeile 42: | ||
| f | | f | ||
| <span style="color: red">w</span> | | <span style="color: red">w</span> | ||
| − | | | + | | |
|} | |} | ||
| − | <span style="color: red">Aussage | + | <span style="color: red">Aussage Äquivalent</span> |
Version vom 17. April 2012, 11:41 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
