logoalt Hacker News

jblezo • 12/09/2024 • 2 replies • view on HN

I agree for A), by why D) ?

Replies

chias • 12/09/2024

I suspect a misreading of D) as "The liar has at least one non-green hat" which, in fairness, feels weird that wasn't included in the list.

➕ show 1 reply
jblezo • 12/09/2024

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

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

   ∃x ~(~IsAHatOfMine(x) ∨  Green(x))
➕ show 1 reply