Zeige, dass wenn xRy ⇒¬ yRxxRy \ \Rightarrow \lnot \ yRxxRy ⇒¬ yRx erfüllt ist, dann auch (xRy ∧ yRx)⇒x=y(xRy \ \land \ yRx) \Rightarrow x=y(xRy ∧ yRx)⇒x=y. Verwende dazu die Regel zur (A⇒B( A\Rightarrow B(A⇒B ist äquivalent zu ¬A∨B)\lnot A \lor B)¬A∨B) und die De Morgansche Regel.