5.3应用归结原理求取问题答案(10)
练习2：设A、B、C中有人从来不说真话，也有人从来不说谎话，某人向这三人分别同时提出一个问题：谁是说谎者？A答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个人说谎”。用归结原理求谁是老实人，谁是说谎者？
2021-12-09 15:28:24
1.09MB
1
命题逻辑的永真公式的代换实例是谓词逻辑的永真公式
命题逻辑的永假公式的代换实例是谓词逻辑的永假式
（需要PPT私信加关注）
2021-08-11 14:09:12
7.42MB