题目内容
(请给出正确答案)
[主观题]
设解释I为:(a)个体域为实数集R。(b)R上特定元素(c)R上特定函数(d)R上特定谓词I下的赋值σ:σ(x)=1
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
答案
查看答案
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
第1题
第2题
在自然推理系统中,构造用自然语言描述的推理的证明。
1.实数不是有理数就是无理数。无理数都不是分数。所以,若有分数,则必有有理数(个体为实数集R)。
2.人都喜欢吃蔬菜。但不是所有的人都喜欢吃鱼。所以,存在喜欢吃蔬菜而不喜欢吃鱼的。
第5题
实数集合上的()关系,是(-为一元添符号运算,*为乘运算)上的同余关系;整数集合上的()关系,是(-3为以3为模的减运算,*为以3为模的乘运算)上的同余关系,该关系有3个同余类(),(),().
第6题
【题目描述】
设R是一个2元关系,有3个元组,S是一个3元关系,有3个元组。如T=R?S,则T的元组的个数为()。
A)6
B)8
C)9
D)12
【我提交的答案】: A |
【参考答案与解析】: 正确答案:C |
【我的疑问】(如下,请求专家帮助解答)
请老师给出推到过程及解释,谢谢~
第8题
在有限个体域内消去量词。
(1)个体域D={1,2,3},公式为
(2)个体域D={a,b},公式为
第10题