命题逻辑和谓词逻辑习题课的题目及参考答案.docxVIP

O O 命题逻辑和谓词逻辑习题课的题目及参考答案 说明：红色标注题目可以暂且不做 命题逻辑和谓词逻辑习题课的题目 1、 若P, Q,为二命题，P Q真值为O当 且 仅 当 。 2、 命题“对于任意给定的正实数，都存 在比它大的实数”令 F(X） ： X为实数， L(x，y）:X y则命题的逻辑谓词公式 为 3、 谓词合式公式-XP（X） XQ（X）的前束范式 为 。 4、 将量词辖域中出现的 和指导变元交换为另一变元符号，公式 其余的部分不变,这种方法称为换名规 贝叽 5、 设X是谓词合式公式A的一个客体变 元，A的论域为D， A(x)关于y是自由的， 则 被称为存在量词消去规则