Ich muss folgende Aufgabe bearbeiten:
Die folgenden Wahrheitswertetabellen beschreiben jeweils eine Relation R
auf der Menge A := {a, b, c, d}. Dabei bedeutet a ∼R b = w (’wahr’), dass
(a, b) ∈ R, bei a ∼R b = f (’falsch’) gilt (a, b) 6∈ R. Welche der Relationen
sind Aquivalenz- bzw. Ordnungsrelationen?
Heißt das ich würde jetzt die Relationen durchgehen (also die Bedingungen) und prüfen, ob die Werte übereinstimmen?
Also als Beispiel die Äquivalenzrelation:
-Reflexiv
-Symmetrisch
-Transitiv
Als Beispiel bei dem 1.)
a ~ a = w, b ~ b = w, .. --> Reflexivität ist erfüllt
a ~ b = f = b ~ a, a ~ c = f = c ~ a, .. --> Symmetrie ist auch erfüllt
a ~ b = f, b ~ c = f, also a ~ c = f, ... --> Transitivität somit auch gegeben
Also wäre das erste schon mal eine Äquivalenzrelation. Ist das vorgehen so richtig?