设 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).
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(1)F(5). (2)F(). (3)F(-2). (4)F().
(5)F(). (6)F(7.9).
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
A.满射,非单射
B.单射,非满射
C.双射
D.非单射,非满射