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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Aussagenlogik)
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
 
|-  
 
|-  
−
| 1 || 2 || 3 ||4 || 5
+
| f || w || ||4 || 5
 
|-  
 
|-  
−
| 11 || 12 || 13 || 14 || 15
+
| w || w || 13 || 14 || 15
 
|-
 
|-
−
| 21 || 22 || 23 || 24 || 25
+
| w || f || 23 || 24 || 25
 
|-  
 
|-  
−
| 31 || 32 || 33 || 34 || 35
+
| f || f || 33 || 34 || 35
 
|}
 
|}
  

Version vom 1. November 2013, 20:39 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 4 5
w w 13 14 15
w f 23 24 25
f f 33 34 35
Von „http://geometrie.zum.de/index.php?title=Lösung_der_Aufgaben_zur_Aussagenlogik_(WS_13/14)&oldid=25308“