Was ist "komparativ"?

aus A33 - Meyn, Degen

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Was ist “komparativ”?
Da soll man die Äquivalenz zweier Formeln beweisen, die eine
ist komparativ und reflexiv…
Nur - was ist komparativ?
Ist das symmetrisch?


komparativ ist sowas wie transitiv. in zeichen:
aRb ∧ cRb ⇒ aRc

alles klar?


mit der reflexivitaet folgt: aRa und cRa folgt aRc.(symmetrie)
das ist leut aerchern pur :wink:

quatsch, da ist symmetrie eh schon drinne:

aRb ∧ cRb ⇒ aRc
cRb ∧ aRb ⇒ cRa


sehr gut - danke


das mit der symmetrie würde ich jetzt nicht behaupten, denn wenn a nur zu b in relation steht, wie soll man dann b R a zeigen?

aber wehe es fängt jetzt jemand an, sich deswegen noch kopfschmerzen zu machen! :heart: