Lösung der Aufgaben zur Aussagenlogik (SoSe 12): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „== Aussagenlogik == Bitte rufen Sie sich die Aussagenlogik ins Gedächtnis. Eine gute Wiederholung (bzw. eine gute Einführung, falls Sie die mathematischen Grun…“)
 
(→‎Aussagenlogik: table+)
Zeile 7: Zeile 7:
 
* <math>\neg (A \wedge B)</math> <math>\Leftrightarrow</math>  (<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)
 
* <math>\neg (A \wedge B)</math> <math>\Leftrightarrow</math>  (<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)
 
[[Kategorie:Einführung_Geometrie]]
 
[[Kategorie:Einführung_Geometrie]]
 +
 +
 
 +
 +
 +
{| class="wikitable "
 +
|+ (A <math>\Rightarrow</math> B) <math>\Leftrightarrow</math> ( <math>\neg A</math> <math>\vee </math> B)
 +
! A
 +
! B
 +
! <span style="color: red">(A <math>\Rightarrow</math> B)</span>
 +
! <math>\neg A</math>
 +
! <span style="color: red">(<math>\neg A</math> <math>\vee </math> B)</span>
 +
|-
 +
| f
 +
| f
 +
| <span style="color: red">w</span>
 +
| w
 +
| <span style="color: red">w</span>
 +
|-
 +
| f
 +
| w
 +
| <span style="color: red">w</span>
 +
| w
 +
| <span style="color: red">w</span>
 +
|-
 +
| w
 +
| f
 +
| <span style="color: red">f</span>
 +
| f
 +
| <span style="color: red">w</span>
 +
|-
 +
| w
 +
| w
 +
| <span style="color: red">w</span>
 +
| f
 +
| <span style="color: red">w</span>
 +
|-
 +
 +
|}
 +
 +
<span style="color: red">Aussage nicht Äquivalent</span>
 +
 +
 +
{| 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
 +
| <span style="color: red">w</span>
 +
| w
 +
| w
 +
| <span style="color: red">w</span>
 +
|-
 +
| f
 +
| w
 +
| f
 +
| <span style="color: red">w</span>
 +
| w
 +
| f
 +
| <span style="color: red">w</span>
 +
|-
 +
| w
 +
| f
 +
| f
 +
| <span style="color: red">w</span>
 +
| f
 +
| w
 +
| <span style="color: red">w</span>
 +
|-
 +
| w
 +
| w
 +
| w
 +
| <span style="color: red">f</span>
 +
| f
 +
| f
 +
| <span style="color: red">f</span>
 +
|-
 +
 +
|}
 +
 +
<span style="color: red">Aussage Äquivalent</span>

Version vom 17. April 2012, 09:54 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 \Rightarrow B) \Leftrightarrow ( \neg A \vee B)
  • \neg (A \wedge B) \Leftrightarrow (\neg A \vee \neg B)



(A \Rightarrow B) \Leftrightarrow ( \neg A \vee B)
A B (A \Rightarrow B) \neg A (\neg A \vee B)
f f w w w
f w w w w
w f f f w
w w w f w

Aussage nicht Äquivalent


\neg (A \wedge B) \Leftrightarrow (\neg A \vee \neg B)
A B (A \wedge B) \neg (A \wedge B) \neg A \neg B (\neg A \vee \neg 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

Von „http://geometrie.zum.de/index.php?title=Lösung_der_Aufgaben_zur_Aussagenlogik_(SoSe_12)&oldid=11507“