离散数学一阶逻辑等值式基本等值式:消去量词等值式设D={a1,a2,…,an}(1)xA(x)A(a1)A(a2)…A(an)(2)xA(x)A(a1)A(a2)…A(an)量词否定等值式(1)xA(x)xA(x)(2)xA(x)xA(x)基本等值式(续)基本得等值式(续)基本得等值式(续)前束范式公式得前束范式换名规则与代替规则公式得前束范式(续)例(续)例(续)大家有疑问的，可以询问和交流例(续)2、4一阶逻辑推理理论推理重要得推理定律推理规则推理规则(续)推理规则(续)推理规则(续)推理规则(续)构造推理证明构造推理证明(续)例2(续)构造推理证明(续)