2.证明G是否为,，的逻辑结论。：G：2.先把G否定，并放入F中，得到的F1,F2, G为，（）再把F1,F2, G化为子句集，得到其中是由F1化为的两个子句，是由F2化为的两个子句，是由G化为的子句。由子句集可以看出只有唯一的一个Q因此可以得出G不是F的逻辑结构。3.假设张被盗，公安局派出5人去调查。案情分析时，侦查员A说：“赵与钱中至少有一人作案”；侦查员B说：“钱与孙中至少有一人作案”；侦查员C说：“孙与李中至少有一人作案”；侦查员D说：“赵与孙中至少有一人与此案无关”；侦查员E说：“钱与李中至少有一人与此案无关”。如果这5个侦查员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。3.解：(1) 先定义谓词和常量设C(x)表示x 作案，Z 表示赵，Q 表示钱，S 表示孙，L 表示李(2) 将已知事实用谓词公式表示出来赵与钱中至少有一个人作案：C(Z)C(Q)钱与孙中至少有一个人作案：C(Q)C(S)孙与李中至少有一个人作案：C(S)C(L)赵
