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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 33: Zeile 33:
 
--[[Benutzer:Nolessonlearned|Nolessonlearned]] 08:47, 14. Mai 2013 (CEST)<br />
 
--[[Benutzer:Nolessonlearned|Nolessonlearned]] 08:47, 14. Mai 2013 (CEST)<br />
  
1) 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 />
+
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 />
2) Wenn ich jetzt aber für zwei konkrete Mengen zeigen soll, dass sie gleich sind, kann ich das nicht mit der Wahrheitstabelle zeigen. Was muss ich dann tun?--[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:05, 23. Mai 2013 (CEST)
+
Definition Mengengleichheit: A = B <math>\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]]

Version vom 23. Mai 2013, 10:57 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)