Lösung von Aufgabe 4.5 (WS 19 20): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
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) |
Schau dir noch einmal deine Tabelle an. | Schau dir noch einmal deine Tabelle an. |
Version vom 12. November 2019, 10:55 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)
Schau dir noch einmal deine Tabelle an. Da ist etwas durcheinander gekommen. Fange vielleicht mitund
und danach dann
und
. --Tutorin Laura (Diskussion) 20:20, 9. Nov. 2019 (CET)