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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Aussagenlogik)
 
Zeile 21: Zeile 21:
 
| f || f || w || w || f
 
| f || f || w || w || f
 
|}
 
|}
 +
 +
 +
Danke Kuckuck für deinen Beitrag. Die Tabelle ist noch nicht korrekt. Wer kann die Tabelle korregieren? Dazu die Kopie der Tabelle darunter einfügen und dann ändern! Vergiss bitte nicht dein "Unterschrift" darunter zu sezten, da a)jeder dann direkt auf deine Antwort bezug nehmen kann und b) das Datum erscheint, an dem du die Antwort eingestellt hast. Das Symbol dazu oben (Unterschrift) drücken. --[[Benutzer:Tutorin Anne|Tutorin Anne]] 21:45, 3. Nov. 2013 (CET)<br />
 +
  
 
{| class="wikitable sortable"  
 
{| class="wikitable sortable"  
Zeile 33: Zeile 37:
 
| f || f || w || w || w--[[Benutzer:EarlHickey|EarlHickey]] ([[Benutzer Diskussion:EarlHickey|Diskussion]]) 16:51, 2. Jan. 2014 (CET)
 
| f || f || w || w || w--[[Benutzer:EarlHickey|EarlHickey]] ([[Benutzer Diskussion:EarlHickey|Diskussion]]) 16:51, 2. Jan. 2014 (CET)
 
|}
 
|}
Danke Kuckuck für deinen Beitrag. Die Tabelle ist noch nicht korrekt. Wer kann die Tabelle korregieren? Dazu die Kopie der Tabelle darunter einfügen und dann ändern! Vergiss bitte nicht dein "Unterschrift" darunter zu sezten, da a)jeder dann direkt auf deine Antwort bezug nehmen kann und b) das Datum erscheint, an dem du die Antwort eingestellt hast. Das Symbol dazu oben (Unterschrift) drücken. --[[Benutzer:Tutorin Anne|Tutorin Anne]] 21:45, 3. Nov. 2013 (CET)
+
* Danke für dein Beitrag EarlHickey. Die Tabelle stimmt so!--[[Benutzer:Tutorin Anne|Tutorin Anne]] ([[Benutzer Diskussion:Tutorin Anne|Diskussion]]) 10:29, 5. Jan. 2014 (CET)<br />
 
+
  
  
 
Tabelle für den zweiten Teil der Aufgabe, Spalten bitte noch ergänzen:
 
Tabelle für den zweiten Teil der Aufgabe, Spalten bitte noch ergänzen:
 +
<br />
  
  

Aktuelle Version vom 5. Januar 2014, 11:29 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


Danke Kuckuck für deinen Beitrag. Die Tabelle ist noch nicht korrekt. Wer kann die Tabelle korregieren? Dazu die Kopie der Tabelle darunter einfügen und dann ändern! Vergiss bitte nicht dein "Unterschrift" darunter zu sezten, da a)jeder dann direkt auf deine Antwort bezug nehmen kann und b) das Datum erscheint, an dem du die Antwort eingestellt hast. Das Symbol dazu oben (Unterschrift) drücken. --Tutorin Anne 21:45, 3. Nov. 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 f
f f w w w--EarlHickey (Diskussion) 16:51, 2. Jan. 2014 (CET)
  • Danke für dein Beitrag EarlHickey. Die Tabelle stimmt so!--Tutorin Anne (Diskussion) 10:29, 5. Jan. 2014 (CET)


Tabelle für den zweiten Teil der Aufgabe, Spalten bitte noch ergänzen:


A B A \Rightarrow B ... ...
f w 1 2 3
w w 11 12 13
w f 21 22 23
f f 31 32 33