Stack Overflow
Stack Overflow

jvd
764
reputation
4
14
  • Member since May 30 2020
  • 97 profile views
  • Last seen Jun 28 '23 at 19:50

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