定义 : 给定两个命题公式A和B，设P1,P2,…, Pn为所有出现在A、B中的原子命题，若给P1,P2,…, Pn任一组真值指派，A和B的真值都相同，则称A和B是等价的，记A B或
A＝B。
等值定理：AB当且仅当AB是永真式
等价公式
对合律 :
幂等律 : ,
结合律 : ,
交换律 :
分配律 : ,
吸收律 : ,
德摩根律 : ,
同一律 : ,
零律 : ,
否定律: ,
定义 : 如果公式 是重言式,则称A重言(永真)蕴含式B 记作 .
,
,
,
,
,
,
个体词 : 指研究对象中可以独立存在的具体或抽象的个体
个体域(论域) : 个体变项的取值范围
谓词 : 刻画个体词的性质以及个体之间相互关系的词
量词 : (存在量词), (全称量词)
个体域有限,
注意: 全称量词对合取分配, 存在量词对析取分配!
P是不包括个体变量 的任意谓词公式
A为一阶逻辑公式, 若A具有形式:
且 为全称量词或存在量词, B为不含量词的公式
并
交
相对补
对称差
绝对补
逆
合成