谓词逻辑练习及答案.docVIP

第二章 谓词逻辑 练习一 1、指出下列谓词公式中的量词及其辖域，指出各自由变元和约束变元，并回答它们是否是命题： （1）x(P(x)∨Q(x))∧R （R为命题常元） （2）x(P(x)∧Q(x))∧$xS(x)→T(x) （3）x(P(x)→$y(B(x,y)∧Q(y))∨T(y)) （4）P(x)→(y$x(P(x)∧B(x,y))→P(x)) 解（1）全称量词，辖域 P(x)∨Q(x)，其中x为约束变元，x(P(x)∨Q(x))∧R是命题。? （2）全称量词，辖域 P(x)∨Q(x)，其中 x为约束变元。 存在量词$，辖域 S(x) ，其中 x为约束变元。 T