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…“)
 
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>f</math> || <math>w</math> || <math>w</math> || <math>w</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>w</math> || <math>f</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 nicht die gleichen Wahrheitswerte wie Voraussetzung => Widerspruch

Version vom 8. November 2019, 15:04 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 f w w w
w f f w f w
f w w f w f
f w w f w f

Voraussetzung: (\ A \Rightarrow B)
Behauptung: (\ A  \wedge \neg B)
Annahme: (\neg A  \vee \ B)
Annahme hat nicht die gleichen Wahrheitswerte wie Voraussetzung => Widerspruch