logoalt Hacker News

jblezo12/09/20241 replyview on HN

Also, I'm not sure that those two affirmations are equivalent:

  ~∀x  (~IsAHatOfMine(x) ∨  Green(x))

   ∃x ~(~IsAHatOfMine(x) ∨  Green(x))

Replies