题目内容
(请给出正确答案)
[主观题]
设个体域为全总个体域,R(x):x是实数;Q(x):x是有理数;I(x):x是整数、命题”所有的有理数是实数”,“有些有理数是整数",“有些有理数是实数但不是整数"可分别形式化为(),(),().
答案
查看答案
第1题
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(5). (6)F(7.9).
第2题
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(1)F(5). (2)F(). (3)F(-2). (4)F().
(5)F(). (6)F(7.9).
第3题
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
第4题
第6题
第7题
在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a),(b)时命题的真值:
(1)对于任意的x均有
(2)存在x,使得x+5=9.
其中(a)个体域为自然数集合, (b)个体域为实数集合.