邏輯推理...（誠實說謊，三人） - 拼圖

(先將三個精靈隨便編號為 A B C)
(以下只要提到T即為誠實精靈、F為說謊精靈、R為隨機精靈、Y為對、N為錯。)

==

Q1 問A：如果我問你"B是隨機精靈嗎？"的話，你會回答"Da"，對嗎？


考慮前提問句"B是隨機精靈嗎？"的結果，真值表(1)如下：

A B C A's Answer
T F R N
T R F Y
F T R Y
F R T N
R x x Y/N


再考慮第二問句"你會回答Da，對嗎？"，以及 Da 的意義，真值表(2)如下：

A A's Answer Da=Y Da=N Ans=Da?
T N Ja Da J
T Y Da Ja D
F Y Da Ja J
F N Ja Da D
R x x x J/D


由真值表 1, 2 可知，
當最終回答是 Ja 時，B 一定不是隨機精靈。
反之，回答為 Da 時，C 一定不是隨機精靈。



Q2 問"非隨機者"：Da的意思是"對"，對嗎？

真值表如下：

非隨機者 Da的意思 回答

T Y Da
T N Da
F Y Ja
F N Ja


故當非隨機者回答Da時，為誠實精靈；反之，即說謊精靈。


當可確定其為誠實或說謊精靈後，再問他

Q3：如果我問你"A是隨機精靈，對嗎？"，你會回答"Da"，對嗎？


真值表：

A Da的意思 回答

R Y Da
R N Da
x Y Ja
x N Ja


故知若回答為Da，則A是隨機；反之，則C才是隨機。

至此，可得知全部精靈種類。

--