Lösung der Aufgaben zur Aussagenlogik (WS 13/14): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 13: Zeile 13:
 
!A!!B!!A <math>\Rightarrow</math> B!!<math>\neg A</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 || w || w || w || 5
+
| f || w || w || w || w
 
|-  
 
|-  
−
| w || w || w || f || 15
+
| w || w || w || f || w
 
|-
 
|-
−
| w || f || f|| f || 25
+
| w || f || f|| f || w
 
|-  
 
|-  
−
| f || f || w || w || 35
+
| f || f || w || w || f
 
|}
 
|}
  

Version vom 1. November 2013, 21:42 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)

Damit es nicht zu schwierig wird, hier schon mal die Tabelle. Die Zahlen sind mit Inhalt zu ersetzen. --Tutorin Anne 08:46, 29. Okt. 2013 (CET)


A B A \Rightarrow B \neg A \neg A \vee B
f w w w w
w w w f w
w f f f w
f f w w f
Von „http://geometrie.zum.de/index.php?title=Lösung_der_Aufgaben_zur_Aussagenlogik_(WS_13/14)&oldid=25311“