第三节等价与蕴涵 与命题逻辑一样,一阶逻辑也有等价与蕴 涵的问题考虑了下列问题 1量词与否定联结词之间的关系 2.量词辖域的扩张与收缩规律 3量词与联结词之间的13个基本等价式; 45个基本蕴涵式; 5改变公式的两个量词排列次序的变化规律 6对偶式的概念与对偶原理 返回本章首页 2021/2/202021/2/20 4 第三节 等价与蕴涵 ⚫ 与命题逻辑一样，一阶逻辑也有等价与蕴 涵的问题,考虑了下列问题: 1.量词与否定联结词之间的关系 ; 2.量词辖域的扩张与收缩规律； 3.量词与联结词之间的13个基本等价式； 4.5个基本蕴涵式； 5.改变公式的两个量词排列次序的变化规律； 6.对偶式的概念与对偶原理 返回本章首页