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

Aus Geometrie-Wiki
Tutorin Laura (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Emiliam (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
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, 08:55 Uhr

Vergleichen Sie die Wahrheitswerte von

( AB) und ( A¬B).

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

A ¬A B ¬B (AB) ( A¬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: ( AB)
Behauptung: ( A¬B)
Annahme: (¬A 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 
¬A und ¬B. --Tutorin Laura (Diskussion) 20:20, 9. Nov. 2019 (CET)