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.
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
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!