¬[∀hat ∊ hats, IsGreen(hat)] ⇔ ∃hat ∊ hats, ¬IsGreen(hat) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jolux on Dec 9, 2024 \| parent \| context \| favorite \| on: A liar who always lies says "All my hats are green... ¬[∀hat ∊ hats, IsGreen(hat)] ⇔ ∃hat ∊ hats, ¬IsGreen(hat)

cluckindan on Dec 9, 2024 [–]

This reads: for it to not be true that every hat in the collection of hats is green, there must exist at least one hat in the collection of hats that is not green.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact