设个体域为全总个体域,M(x):x是人;D(x):x是要死的,则命题“人总是要死的”谓词公式表示为()。
A.M(x)→D(x)
B.M(x)∧D(x)
C.∀x(M(x)→D(x))
D.∃x(M(x)∧D(x))
A.M(x)→D(x)
B.M(x)∧D(x)
C.∀x(M(x)→D(x))
D.∃x(M(x)∧D(x))
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
在有限个体域内消去量词。
(1)个体域D={1,2,3},公式为
(2)个体域D={a,b},公式为
设
(1)将f(x)展开成x的幂级数,给出收敛域;(2)求f(45)(0);(3)利用f(x)的展开式计算的和。
设P(x,y,z)表示x*y=z,E(x,y)表示x=y,G(x,y)表示x>y,论述域是整数,将下列断言译成逻辑符。(提示:要注意数学上习惯写法和逻辑符表示的差异,例如加法交换律在数学中写成;x+y=y+x,翻译成逻辑符时,要按实际意义翻译成即要自动地加上全称量词,使整个式子成为命题。)
给定公式
(1)在解释I1中,个体域D1={a},证明公式A在I1下的真值为1.
(2)在解释I2中,个体域D2={a1,a2,…,an},n≥2,A在I2下的真值还一定是1吗? 为什么?
计算下列二重积分:
(1)其中D为矩形域:0≤x≤π,1≤y≤e;
(2)其中D为矩形域:0≤x≤π/4,0≤y≤π/4;
(3),其中D为由抛物线x=√(1-y)与直线x=0,y=0所围成的区域;
(4),其中D为由(x-a)2+(y-a)2=a2的下半圆与直线x=0、y=0所围成的区域;
(5),其中D为矩形域:-1≤x≤1,0≤y≤1;
(6),其中D为圆域:x2+y2≤x;
(7)其中D为由曲线y=x3与直线x=-1、y=1所围成的区域,f是D上的连续函数;
(8),其中D为由不等式x2+y2≥2和x2+y2≤2x所围成的区域。