logoalt Hacker News

eloisant12/09/20241 replyview on HN

That's the thing, the problem isn't written in formal logic. It's written in English, which is vague.


Replies

gpvos12/09/2024

It's written in a form of English that is formal enough to have a straightforward translation to logic formulas. Also, in the solution article that now has been posted, it's compared to the statement "I have read all books on my shelf" with an empty shelf, which is indeed vacuously true. The sentence about hats is equivalent, I think even the least exactly-minded English speaker would agree.

show 1 reply