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

Aus Geometrie-Wiki
Tutorin Laura (Diskussion | Beiträge)
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…“
 
Tutorin Laura (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
(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, 07:29 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)

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