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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: „Vergleichen Sie die Wahrheitswerte von<br /> <math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br /> Erklären Sie den Zusammenhang zw…“)
 
 
(3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 6: Zeile 6:
  
 
[[Category:Geo_P]]
 
[[Category:Geo_P]]
 +
 +
{| class="wikitable"
 +
|-
 +
! <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>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>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>
 +
|}
 +
 +
Voraussetzung: <math>(\ A \Rightarrow B) </math> <br/>
 +
Behauptung: <math>(\ A  \wedge \neg B)</math> <br/>
 +
Annahme: <math>(\neg A  \vee \ B)</math> <br/>
 +
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

(\ 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)

 (\ A  \wedge \neg B) ist schon die Negierung von (\ A \Rightarrow B) . 
Die Tabelle zeigt, dass (\ A \Rightarrow B)  zu (\ A  \wedge \neg B) geanu negiert wird.
Aber was bedeutet das jetzt? --Tutorin Laura (Diskussion) 08:29, 15. Nov. 2019 (CET)