离散数学-5 一阶逻辑等值演算与推理

定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式 基本等值式 第一组 命题逻辑中16组基本等值式的代换实例以及推理定律的代换实例 第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① x A(x) A(a1)A(a2)…A(an) ② x A(x) A(a1)A(a2)…A(an) (2

>>阅读原文<<