Asymmetric → Antisymmetric

Posted on January 24, 2008 by Pål GD — 2 Comments ↓

¬(∀x∀y (Rxy → ¬Ryx) → ∀x∀y(Rxy ∧ Ryx → x = y)) ∀x∀y(Rxy → ¬Ryx) ∧ ¬∀x∀y(Rxy ∧ Ryx → x = y)) ¬∀x∀y(Rxy ∧ Ryx → x = y)) ∃x¬∀y(Rxy ∧ Ryx → x = y)) ¬∀y(Ray ∧ Rya…