これは、本来、様相論理とか高階述語論理とかを用いて表現するべき 内容の問題であるが、 ここでは一階述語論理の範囲内で表現可能である。
まず、ある言明Pが正しい(真である)ということを、
SPM_quot
a_truth(P)"で表現することにしよう。
この問題で言及される言明には、以下のようなものがある。
SPM_quot
truthteller(A)": 住人Aは正直者である
SPM_quot
liar(A)": 住人Aは嘘付きである
SPM_quot
equal_type(A,B)": 住人A,Bは同じタイプである
SPM_quot
says(A,B)": 住人Aが言明Bを発言する
SPM_quot
a_truth(P)"のSPM_quot
P"に入る``項''であって、
MG節の述語として出現することはない、ということにする。