Lösung der Aufgaben zur Aussagenlogik (SoSe 12)

2012-04-17T10:41:19Z

Malaba: /* 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.
 
Beweisen Sie mit einer Wahrheitstabelle:
* (A <math>\Rightarrow</math> B) <math>\Leftrightarrow</math> ( <math>\neg A</math> <math>\vee </math> B)
* <math>\neg (A \wedge B)</math> <math>\Leftrightarrow</math> (<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)
[[Kategorie:Einführung_Geometrie]]

{| class="wikitable "
|+ (A <math>\Rightarrow</math> B) <math>\Leftrightarrow</math> ( <math>\neg A</math> <math>\vee </math> B)
! A
! B
! (A <math>\Rightarrow</math> B)
! <math>\neg A</math>
! (<math>\neg A</math> <math>\vee </math> B)
|-
| f
| f
| w
| w
| w
|-
| f
| w
| w
| w
| w
|-
| w
| f
| f
| f
| f
|-
| w
| w
| w
| f
| w
|

|}

Aussage Äquivalent

{| class="wikitable "
|+ <math>\neg (A \wedge B)</math> <math>\Leftrightarrow</math> (<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)
! A
! B
! <math>(A \wedge B)</math>
! <math>\neg (A \wedge B)</math>
! <math>\neg A </math>
! <math>\neg B </math>
!(<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)
|-
| 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

Geometrie-Wiki - Benutzerbeiträge [de]

Lösung der Aufgaben zur Aussagenlogik (SoSe 12)