Wie kann ich die Relationseigenschaften in Prädikatenlogischen Formeln angeben.
Wäre es für reflexiv einfach Für alle a in A(a) : A(a)RA(a)
Es sollte wohl ∀ a∈A : a R a [ oder auch ∀ a∈A : (a,a) ∈ R ]
= Für alle a aus der Menge A gilt : a steht in Relation zu a
Gruß Wolfgang
