> If the liar owns no hats the statement “All my hats are green” would be true. ... | Hacker News

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

		oneshtein on Dec 9, 2024 \| parent \| context \| favorite \| on: A liar who always lies says "All my hats are green... > If the liar owns no hats the statement “All my hats are green” would be true. Color of non existing object is undefined. The correct solution is: !(all && my && hats && are && green) == !all \|\| !my \|\| !hats \|\| !are \|\| !green.

seanhunter on Dec 9, 2024 [–]

If you want to allow undefined statements that’s actually fine from an inferential point of view even though in predicate logic statements are always either true or false.

He’s a liar so his statement has to be specifically false.

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