Stack Overflow
Stack Overflow

jvd
744
reputation
3
14
  • Member since May 30 2020
  • 93 profile views
  • Last seen Mar 30 '22 at 14:34

∀x∃yP(x, y) ∧ ∀x¬P(x, x) ∧ ∀x∀y∀z((P(x, y) ∧ P(y, z)) → P(x, z))