以实数集为个体城,用谓词公式将下列语句形式化
(1)如果两实数的平方和为零;那么这两个实数均为零,
(2)F(x)为一实函数当且仅当对每一实数元都有且只有一个实数y满足y=f(x)(不得使用量词为实函数:可译为
A.a→c→e→b→f→d→g
B.c→a→e→b→d→f→g
C.e→c→a→b→d→f→g
D.c→a→b→d→f→e→g
(22)
A. Y -X ?
B. Y X ?
C. Y X ⊕
D. Y X +
设f(x,y)在[a,b;c,∞)上连续,且保持同一符号,y)dy在[a,b]上连续,证明:
1)设f(x)及G(x)是P[x]中m次及≤m+1次多项式。证明:对所有n≥1成立的充分必要条件是G(x+1)-G(x)=f(x)且G(0)=0;
2)证明:对P[x]中任何m次多项式f(x),必有P[x]中次数≤m+1的多项式G(x)满足对任何n≥1的整数成立;
3)求
F的逻辑表达式为F=((A+B).X)((A.B).Y),当(95)时,F=AB;当(96)时, F=A∨B。
A.X=0,Y=0
B.X=0,Y=1
C.X=1,Y=1
D.X=1,Y=0