3.4 消 解 原 理Resolutionprinciple1经营者提供商品或者服务有欺诈行为的，应当按照消费者的要求增加赔偿其受到的损失，增加赔偿的金额为消费者购买商品的价款或接受服务的费用内容提要l 置换、合一l 子句集的求取9个步骤l 消解推理规则l 含有变量的消解式l 消解反演求解2经营者提供商品或者服务有欺诈行为的，应当按照消费者的要求增加赔偿其受到的损失，增加赔偿的金额为消费者购买商品的价款或接受服务的费用谓词逻辑法（predicate logic ）l 谓词演算1.语法与语义2.连词和量词l 谓词公式1.定义2.合适公式的性质l 置换与合一1.置换2.合一算法3经营者提供商品或者服务有欺诈行为的，应当按照消费者的要求增加赔偿其受到的损失，增加赔偿的金额为消费者购买商品的价款或接受服务的费用命题l def:具有真假意义的语句l 命题的真值典型的命题 典型的命题 中国的首都是北京 中国的首都是北京 太阳从西边出来 太阳从西边出来真假1+1=10 1+1=10 一个命题不能同时既为真又为假 一个命题不能同时既为真又为假, , 但可 但可以在一定条件下为真在另一种条件下为假 以在
