离散数学-量词小结

量词小结附例题

一些规则¹

1. 置换规则
   设Φ(A)是含A的公式, 那么, 若A⇔B, 则Φ(A)⇔Φ(B).

2. 换名规则
   设A为一公式，将A中某量词辖域中个体变项的所有约束
   出现及相应的指导变元换成该量词辖域中未曾出现过的个
   体变项符号，其余部分不变，设所得公式为A’，则A’⇔A.

3. 代替规则
   设A为一公式，将A中某个个体变项的所有自由出现用A中
   未曾出现过的个体变项符号代替，其余部分不变，设所得
   公式为A’，则A’⇔A.

消去量词

【数理逻辑】谓词逻辑 ( 谓词逻辑基本等值式 | 消除量词等值式 | 量词否定等值式 | 量词辖域收缩扩张等值式 | 量词分配等值式 )

扩张收缩

量词辖域扩张和收缩律的8个等价式 根本理解

前束范式

【数理逻辑】谓词逻辑 ( 前束范式 | 前束范式转换方法 | 谓词逻辑基本等值式 | 换名规则 | 谓词逻辑推理定律 )_前束范式换名规则-CSDN博客

---

1. 版权声明：本文为CSDN博主「鱼包子Ray」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
   原文链接：https://blog.csdn.net/baopengjian/article/details/109296440 ↩︎