Lösung von Aufgabe 4.5 (WS 19 20): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
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>f</math> || <math>w</math> || <math>w</math> || <math>w</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>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>  
 
|}
 
|}
  
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 nicht die gleichen Wahrheitswerte wie Voraussetzung => Widerspruch
+
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, 09:55 Uhr

Vergleichen Sie die Wahrheitswerte von

(\ A \Rightarrow B) und (\ A \wedge \neg B).

Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.

A \neg A B \neg B (A\Rightarrow B) (\ A \wedge \neg B)
w f w f w f
w f f w f w
f w w f w f
f w f w w f

Voraussetzung: (\ A \Rightarrow B)
Behauptung: (\ A \wedge \neg B)
Annahme: (\neg A \vee \ B)
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 mit 
A und B und danach dann 
\neg A und \neg B. --Tutorin Laura (Diskussion) 20:20, 9. Nov. 2019 (CET)
Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufgabe_4.5_(WS_19_20)&oldid=34066“