Logisch falsche Ableitung

Isegrim, Wednesday, 15.02.2012, 14:20 (vor 5060 Tagen) @ Pilsberater

A(x): X ist juristisch rechtens
B(x): X ist (moralisch) richtig

------------------------------
Wulffs Aussage:
nicht(für alle x gilt (A(x)->B(x))

beziehungsweise (äquivalent):
es gibt ein x für das gilt (A(x) und nicht B(x))

------------------------------
Deine Aussage lautet:
nicht(für alle x gilt (nicht A(x) -> nicht B(x)))

(wobei ich jetzt einfach mal nicht juristisch rechtens mit juristisch rechtswidrig gleichgesetzt habe, ähnlich Deinem Eingangspost)

beziehungsweise (äquivalent):
es gibt ein x für das gilt: (nicht A(x) und B(x))

Damit sollte offensichtlich sein: Deine und Wulffs Aussagen sind nicht äquivalent.