hallo gibt es relationen die sowohl symmetrisch als auch antisymmetrisch sind?
Die Gleichheit ist sowohl symmetrisch als auch antisymmetrisch.
Wie beweist man dies?
Antisymmetrie: ∀x ∀y (xRy ∧ yRx ⇒ x = y)
Symmetrie: ∀x ∀y (xRy ⇒ yRx)
Ersetze R durch = und begründe dass dan eine Tautologie entsteht.
