问答题

简答题 设A、B、C三人中有人从不说真话,也有人从不说假话。某人向这三人分别提出用一个问题:“谁是说谎者?”A答:“B和C都是说谎者”;B答:“A和C都是说谎者”;C答:“A和B至少一个是说谎者”。试用归结原理证明C是老实人,即C从不说假话。(提示:定义谓词T(x)表示x说真话。)

【参考答案】