简答题 假设张被盗，公安局派出5个人去调查。案情分析时，贞察员A说：“赵与钱中至少有一个人作案”，贞察员B说：“钱与孙中至少有一个人作案”，贞察员C说：“孙与李中至少有一个人作案”，贞察员D说：“赵与孙中至少有一个人与此案无关”，贞察员E说：“钱与李中至少有一个人与此案无关”。如果这5个侦察员的话都是可信的，使用归结演绎推理求出谁是盗窃犯。

设已知： （1）如果x是y的父亲，y是z的父亲，则x是z的祖父； （2）每个人都有一个父亲。 使用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。 点击查看答案

鲁滨逊归结原理的基本思想是什么？ 点击查看答案