6-一阶逻辑推理规则.pdfVIP

离散数学 一阶逻辑推理 2 一阶逻辑的推理形式 由前提A ，A ，…，A 推出结论B的形式结构仍然是 1 2 n A ∧A ∧…∧A →B 1 2 n 如果此式是永真式，则称由前提A ，A ，…，A 推出结 1 2 n 论B的推理正确，记作 A ∧A ∧…∧A =B 或者A , A , …, A = B 1 2 n 1 2 n 否则称推理不正确 与命题逻辑推理形式没什么两样！ 3 一阶逻辑的推理规则  拿来主义 – 人有我