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

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

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

cluckindan 9 months ago [–]

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