Lösung von Zusatzaufgabe 3.3 P (SoSe 13): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
 
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
 
Es seine A und B zwei Punktmengen. Was müssen Sie konkret zeigen, wenn Sie beweisen wollen, dass A = B ?<br />
 
Es seine A und B zwei Punktmengen. Was müssen Sie konkret zeigen, wenn Sie beweisen wollen, dass A = B ?<br />
 
*Da A = B, A ⇔ B entspricht, muss die Aquivalenzrelation mittels Wahrheitstabelle bewiesen werden.--[[Benutzer:Nolessonlearned|Nolessonlearned]] 17:23, 13. Mai 2013 (CEST)<br />
 
*Da A = B, A ⇔ B entspricht, muss die Aquivalenzrelation mittels Wahrheitstabelle bewiesen werden.--[[Benutzer:Nolessonlearned|Nolessonlearned]] 17:23, 13. Mai 2013 (CEST)<br />
 +
* Und wie muss eine solche Wahrheitstabelle aussehen?--[[Benutzer:Tutorin Anne|Tutorin Anne]] 21:40, 13. Mai 2013 (CEST)<br />
 +
 +
 +
 +
{| class="wikitable "
 +
! A
 +
! B
 +
! A = B
 +
! A ⇔ B
 +
|-
 +
| W
 +
| W
 +
| W
 +
| W
 +
|-
 +
| W
 +
| F
 +
| F
 +
| F
 +
|-
 +
| F
 +
| W
 +
| F
 +
| F
 +
|-
 +
| F
 +
| F
 +
| W
 +
| W
 +
|}
 +
--[[Benutzer:Nolessonlearned|Nolessonlearned]] 08:47, 14. Mai 2013 (CEST)<br />
 +
 +
Ich muss sagen, hier bin ich gerade überfragt. Ich weiß nicht, ob es in der Aussagenlogik die Aussage A=B gibt. Ich frage mal nach.<br />
 +
Herr Spannagel half mir:<br />
 +
Definition Mengengleichheit: <math> A = B : \Leftrightarrow \forall x\in A \Leftrightarrow  x\in B</math><br />
 +
Wie kann ich dies nun zeigen? (Das geht nicht mit einer Wahrheitstabelle.)--[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:57, 23. Mai 2013 (CEST)
 +
  
 
[[Category:Einführung_P]]
 
[[Category:Einführung_P]]

Aktuelle Version vom 23. Mai 2013, 09:59 Uhr

Es seine A und B zwei Punktmengen. Was müssen Sie konkret zeigen, wenn Sie beweisen wollen, dass A = B ?

  • Da A = B, A ⇔ B entspricht, muss die Aquivalenzrelation mittels Wahrheitstabelle bewiesen werden.--Nolessonlearned 17:23, 13. Mai 2013 (CEST)
  • Und wie muss eine solche Wahrheitstabelle aussehen?--Tutorin Anne 21:40, 13. Mai 2013 (CEST)


A B A = B A ⇔ B
W W W W
W F F F
F W F F
F F W W

--Nolessonlearned 08:47, 14. Mai 2013 (CEST)

Ich muss sagen, hier bin ich gerade überfragt. Ich weiß nicht, ob es in der Aussagenlogik die Aussage A=B gibt. Ich frage mal nach.
Herr Spannagel half mir:
Definition Mengengleichheit:  A = B : \Leftrightarrow \forall x\in A \Leftrightarrow  x\in B
Wie kann ich dies nun zeigen? (Das geht nicht mit einer Wahrheitstabelle.)--Tutorin Anne 10:57, 23. Mai 2013 (CEST)