>>13532432I don't get how you don't understand what this anon is saying.
If path X leads to the ruins
If we took the villager and asked him a question Q "will path X take me to the ruins"
The truthteller says Yes
The liar says No
If we ask them the meta-question.
"If i asked you question Q, what would your answer be?"
The truthteller takes his "yes" statement, and says "yes"
The liar takes his "no" statement and says "yes"
Y = "path X leads to the ruins"
We can express this with formal logic.
Ask Q
T(truth teller) = Y
L(iar) = ¬Y
Ask the metaquestion:
T = Y
L = ¬(¬Y) = Y
It's not hard to understand, anon.
>>13532373Yes, this seems like a much more elegant solution than reference to types of villagers