![](https://static.youtibao.com/asksite/comm/pc/images/content_title_q.png)
设谓词S(x, y, x)表示“x-y=Z”谓词M(x, y, z)表示"xy=z"论述域是整数、用以上谓词表示下述断言: (a)对每一x和y,有一z,使x-y=x。 (b)对每一x和y,有一z,使x-z=y. (c)从任何整数减去0,其结果是原整数。 (d)对所有x,对所有y,xy=y. (e)存在一x,对一切y,xy=y。
![](https://static.youtibao.com/asksite/comm/pc/images/content_title_a.png)
第1题
设解释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))的涵义如何?真值如何?
第2题
设论述域是具有如下定义的谓词的数学断言的集合:
P(x)表示“x是可证明的”;
T(x)表示“x是真的”;
S(r)表示“x是可满足的”;
D(x, y, z)表示“z是析取式xVy”,
翻译下列断言为中文,使我们翻译尽可能自然。例如译成“如果y是断言wVx,z是断言:xVw,并且y是可证明的,那么z是可证明的”.
第5题
给定模m1=9,m2=7,m3=5,设x=17,y=8
(1)给出x,y的模表示.
(2)计算x+y,x-y和xy的模表示.
(3)利用(2)的结果计算x+y,x-y和xy.
第7题
A.("x)($y)love(x,y)
B.($y)("x)love(x,y)
C.($x)("y)love(x,y)
D.("y)($x)love(x,y)
第8题
A.xy(x-y)(xy+x-y)
B.(x-y)2y+x3y2
C.(x-y)2y+x2y2
D.xy(x-y)2(x-y)
第10题
设f(x)∈C[a,b],且对任意的x,y∈[a,b]有|f(x)-f(y)|≤2|x-y|。证明:。