News for hackers. Stuff that matters.

A comment on A liar who always lies says "All my hats are green.". Parent comment

Re:A liar who always lies says "All my hats are green." by oneshtein on Monday December 09, 2024 @03:33PM (#42370273)
> 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.

[ Parent | on HN ]
Re:A liar who always lies says "All my hats are green." by seanhunter on Monday December 09, 2024 @03:51PM (#42370432)
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.

[ Parent | on HN ]