A.〈Q-{0},×〉,其中Q为有理数集,×为普通乘法
B.〈G,•〉,其中G={所有n阶可逆方阵},•是G上的矩阵乘法运算
C.〈R,+〉其中R为实数集,+为普通加法
D.〈Z,+〉,其中Z为整数集,+为普通加法
设解释R如下: D<sub>R</sub>是实数集,D<sub>R</sub>中特定元素a=0,D中特定函数f(x,y)=x-y, 特定谓词F(x,y):x<y,问公式A= VxVyVz(F(x,y)→F((x,z),f(y,z))的涵义如何?真值如何?
设 R为实数集,映射σ、 满足σ:R→R,σ(x)=x2+2x+1,τ:R→R,r(x)=x/2.
(1)求τ○σ,σ○τ.
(2)对于τ、σ中的双射函数求反函数.
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(5). (6)F(7.9).
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(1)F(5). (2)F(). (3)F(-2). (4)F().
(5)F(). (6)F(7.9).