Man untersuche nachstehend angeführte Relationen im Hinblick auf die Eigenschaften Reflexivität (R), Symmetrie (S), Antisymmetrie (A) und Transitivität (T):
a)
b)
c)
d)
e)
Dieses Beispiel ist als
solved markiert. Ist dies falsch oder ungenau? Aktualisiere den Lösungsstatus (Details:
Vorlage:Beispiel)
- Reflexivität
Reflexivität[Bearbeiten, Wikipedia, 1.55 Definition]
- Symmetrie
Symmetrie[Bearbeiten, Wikipedia, 1.55 Definition]
- Antisymmetrie
Antisymmetrie[Bearbeiten, Wikipedia, 1.60 Definition]
- Transitivität
Transitivität[Bearbeiten, Wikipedia, 1.55 Definition]
(naiv, bitte nochmal überprüfen!): (= wahr, = falsch):
Beispiel (a) ist verheiratet mit [Bearbeiten | Quelltext bearbeiten]
(R) Man kann (noch) nicht mit sich selbst verheiratet sein.
(S) Wenn Gattin mit Gatte verheiratet, dann auch Gatte mit Gattin.
(A) Im Endeffekt wie (R).
(T) Drei Leute müßten untereinander verheiratet sein; möglich, aber (zumindest) der Papst mag das nicht.
Beispiel (b) ist nicht älter als [Bearbeiten | Quelltext bearbeiten]
(R) ich bin nicht älter als ich
(S)
(A) (*)
(T)
Beispiel (c) ist so groß wie [Bearbeiten | Quelltext bearbeiten]
(R)
(S)
(A) (*)
(T)
Beispiel (d) [Bearbeiten | Quelltext bearbeiten]
(R)
Beispiel:
(S)
(A)
(T)
Beispiel (e) [Bearbeiten | Quelltext bearbeiten]
(R)
(S)
Gegenbeispiel:
(A)
(T)
Beweis:
(*) Die Antisymmetrie ist bei Beispiel (b) und (c) eine Definitionsfrage. Es kommt darauf an, wie genau das Alter bzw, die Größe gemessen werden.
Vorsicht:
Das hier nur abzuschreiben, ohne es durchzudenken, gibt Ärger. An der Tafel muß man auf Aufforderung dazu bereit sein, für alle Punkte Beweise oder Gegenbeispiele anzuführen (und beim UE-Test sowieso!).
Außerdem ist in einem Punkt da oben ein Hund drin, den ich mir vom Adrenalinrausch an der Tafel nicht mehr gemerkt habe :-).
Nachdenker erwünscht!
(bitte auch gleich ausbessern, danke)
--Baccus 05:31, 26. Nov 2006 (CET)
Der Fehler war bei c) (A):
x=y bedeutet hier nicht, dass beide gleich groß sind, sondern, dass es die gleichen Personen sind. Daher ist die Aussage falsch.
mick: naja, beim unteren beispiel wurde anhand einer funktion das alter ermittelt, was anscheinend das alter in zahlen
wiedergibt. wenn man dem ansatz folgt, könnte man genausogut hier auch z.b. größe(a) = größe(b) anwenden mit den
rückgabewerten true/false. dann wäre die aussage wahr.
andihi: Bei b) war auch ein Fehler bei der Antisymmetrie:
Da die Angabe ist nicht älter als lautet, ist das gleichbedeutend mit
Daraus folgt für mich:
Bsp d ist glaube ich auch falsch:
sollte lauten: (A)
wegen kann immer falsch sein, ausser und
Wenn laut Def. der Implikation diese immer wahr ist, wenn die erste Aussage falsch ist, so müßte die gesamte Aussage doch wahr sein und somit die Antisymmetrie ebenso
Zu letzter Behauptung: Beispiel: Bei gilt ja auch , aber , deswegen keine Antisymmetrie.
Andreas (Diskussion) 16:37, 2. Apr. 2015 (CEST)