第8题
设谓词P(x):x是奇数;Q(x):x是偶数:谓词公式在个体域()中是可满足的.
A.自然数
B.整数
C.实数
D.以上均不成立
第9题
指出下列表达式中的自由变元和约束变元,并指明量词的辖域。
(1)x(P(x)∧Q(x))v(xP(x)→Q(y));
(2)yy((P(x)∧Q(y))→zR(z));
(3) A(z)→(xyB(x,y,a))。
第10题
设下面所有谓词的个体域是|1,2,3|.
①指出下面公式的真值:
其中,P(x):x≥1,Q(y):y<3,R(x,y):x=y.
②试定义谓词P(x),Q(y),R(x,y),使上式的真值为假.
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!