Lösung von Aufgabe 4.5 (WS 19 20): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
(2 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 11: | Zeile 11: | ||
! <math>A</math> !! <math>\neg A</math> !! <math>B</math> !! <math>\neg B</math> !! <math>(A\Rightarrow B)</math> !! <math>(\ A \wedge \neg B)</math> | ! <math>A</math> !! <math>\neg A</math> !! <math>B</math> !! <math>\neg B</math> !! <math>(A\Rightarrow B)</math> !! <math>(\ A \wedge \neg B)</math> | ||
|- | |- | ||
− | | <math>w</math> || <math>f</math> || <math> | + | | <math>w</math> || <math>f</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>f</math> |
|- | |- | ||
| <math>w</math> || <math>f</math> || <math>f</math> || <math>w</math> || <math>f</math> || <math>w</math> | | <math>w</math> || <math>f</math> || <math>f</math> || <math>w</math> || <math>f</math> || <math>w</math> | ||
Zeile 17: | Zeile 17: | ||
| <math>f</math> || <math>w</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>f</math> | | <math>f</math> || <math>w</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>f</math> | ||
|- | |- | ||
− | | <math>f</math> || <math>w</math> || <math> | + | | <math>f</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>w</math> || <math>f</math> |
|} | |} | ||
Zeile 23: | Zeile 23: | ||
Behauptung: <math>(\ A \wedge \neg B)</math> <br/> | Behauptung: <math>(\ A \wedge \neg B)</math> <br/> | ||
Annahme: <math>(\neg A \vee \ B)</math> <br/> | Annahme: <math>(\neg A \vee \ B)</math> <br/> | ||
− | Annahme hat | + | Annahme hat die gleichen Wahrheitswerte wie Voraussetzung, also Annahme bewiesen, Behauptung widerlegt. --[[Benutzer:Emiliam|Emiliam]] ([[Benutzer Diskussion:Emiliam|Diskussion]]) 09:55, 12. Nov. 2019 (CET) |
+ | |||
+ | <math>(\ A \wedge \neg B)</math> ist schon die Negierung von <math>(\ A \Rightarrow B) </math>. | ||
+ | Die Tabelle zeigt, dass <math>(\ A \Rightarrow B) </math> zu <math>(\ A \wedge \neg B)</math> geanu negiert wird. | ||
+ | Aber was bedeutet das jetzt? --[[Benutzer:Tutorin Laura|Tutorin Laura]] ([[Benutzer Diskussion:Tutorin Laura|Diskussion]]) 08:29, 15. Nov. 2019 (CET) |
Aktuelle Version vom 15. November 2019, 09:29 Uhr
Vergleichen Sie die Wahrheitswerte von
und .
Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.
Voraussetzung:
Behauptung:
Annahme:
Annahme hat die gleichen Wahrheitswerte wie Voraussetzung, also Annahme bewiesen, Behauptung widerlegt. --Emiliam (Diskussion) 09:55, 12. Nov. 2019 (CET)
ist schon die Negierung von . Die Tabelle zeigt, dass zu geanu negiert wird. Aber was bedeutet das jetzt? --Tutorin Laura (Diskussion) 08:29, 15. Nov. 2019 (CET)