logoalt Hacker News

from-nibly12/09/20242 repliesview on HN

No that doesn't mean anything. Tests and books can be wrong.


Replies

jldugger12/09/2024

Well, part of the coursework, and probably the hardest part, is about translating natural language problems into formal logic statements, ie:

"The liar says All my hats are green" becomes "¬∀x|x∈hat,OWNS(x) (GREEN(x))" or similar.

And then from there you can also translate the five provided answers and try to find a contradiction.