题目
第3题
A.P是一阶谓词公式,但不是命题
B.P是真命题
C.P不是一阶谓词公式
D.P是假命题
第4题
设下面所有谓词的个体域是|1,2,3|.
①指出下面公式的真值:
其中,P(x):x≥1,Q(y):y<3,R(x,y):x=y.
②试定义谓词P(x),Q(y),R(x,y),使上式的真值为假.
第9题
设解释I为:个体域D={a,b},F(x)与G(x)为2个1元谓词,且F(a)=0,F(b)=1,G(a)=1,C(b)=0。在I下,公式的真值为()。
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!