Lösung von Aufgabe 3.5 (SoSe 14): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
Shaman (Diskussion | Beiträge) |
|||
| Zeile 10: | Zeile 10: | ||
Ist das was aus der Tabelle hervorgeht schon der indirekte Beweis? --[[Benutzer:Shaman|Shaman]] ([[Benutzer Diskussion:Shaman|Diskussion]]) 18:24, 18. Mai 2014 (CEST) | Ist das was aus der Tabelle hervorgeht schon der indirekte Beweis? --[[Benutzer:Shaman|Shaman]] ([[Benutzer Diskussion:Shaman|Diskussion]]) 18:24, 18. Mai 2014 (CEST) | ||
| + | |||
| + | Aus der Wahrheitstabelle kann man noch kein Schluß ziehen, es fehlt noch ein Schritt und zwar der Widerspruch der zweiten Aussage. <math> - (\ A \wedge \neg B)</math><br /> | ||
| + | Wenn man das in der Wahrheitstabelle dargestellt hat, merkt man, dass die Implikation und die Negation Äquivalent sind. Es bedeutet für uns, wenn man durch Widerspruch Beweisen möchte, muss man einfach nur die eine Aussage negieren. --[[Benutzer:Picksel|Picksel]] ([[Benutzer Diskussion:Picksel|Diskussion]]) 19:26, 18. Mai 2014 (CEST) | ||
[[Category:Einführung_P]] | [[Category:Einführung_P]] | ||
Version vom 18. Mai 2014, 19:26 Uhr
Vergleichen Sie die Wahrheitswerte von
und 
.
Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.
Anbei die Wahrheitstabelle. Wie genau ist der indirekte Beweis durch Widerspruch zu führen?
Ist das was aus der Tabelle hervorgeht schon der indirekte Beweis? --Shaman (Diskussion) 18:24, 18. Mai 2014 (CEST)
Aus der Wahrheitstabelle kann man noch kein Schluß ziehen, es fehlt noch ein Schritt und zwar der Widerspruch der zweiten Aussage. 
Wenn man das in der Wahrheitstabelle dargestellt hat, merkt man, dass die Implikation und die Negation Äquivalent sind. Es bedeutet für uns, wenn man durch Widerspruch Beweisen möchte, muss man einfach nur die eine Aussage negieren. --Picksel (Diskussion) 19:26, 18. Mai 2014 (CEST)
