
[主观题]
指定整数集的一个尽可能大的子集为个体域,使得下列公式为真.

查看答案
第7题
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(5). (6)F(7.9).
第9题
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
第10题
给定解释I和I下的赋值σ如下。
(a)个体域为实数集R。
(b)特定元素
(c)特定函数
(d)特定谓词
(e)σ(x)=1,σ(y)=-1。
给出下列公式在I和σ下的解释,并指出它们的真值。