标签：量词 谓词演算 xB 公式 xA 等价 蕴含 谓词

谓词逻辑与命题逻辑的区别在于命题的表达不同。谓词公式与命题公式的最大区别在于多了量词。

一、量词否定等价公式（量词与“!”的关系）

量词转换律

! ∀ xA(x) <=> ∃ x!A(x)

! ∃ xA(x) <=> ∀ x!A(x)

二、量词辖域的扩充与收缩（量词与“V,^“的关系，其中一个运算对象不受该量词约束）

1. ∀xA(x) V B <=> ∀x(A(x) V B)
2. ∀xA(x) ^ B <=> ∀x(A(x) ^ B)
3. ∃xA(x) V B <=> ∃x(A(x) V B)
4. ∃xA(x) ^ B <=> ∃x(A(x) ^ B)

三、量词分配公式（量词与”V,^“的关系其中两个运算对象均受该量词约束）

1. ∀x(A(x) ^ B(x)) <=> ∀xA(x) ^ ∀xB(x)
2. ∃x(A(x) V B(x)) <=> ∃xA(x) V ∃xB(x)
3. ∃x(A(x) ^ B(x)) => ∃xA(x) ^ ∃xB(x)
4. ∀x(A(x) V B(x)) => ∀xA(x) V ∀xB(x)

标签：量词,谓词演算,xB,公式,xA,等价,蕴含,谓词
来源： https://blog.csdn.net/m0_51654746/article/details/115586719

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。