A: p(x)|g(x)
B: p(x)|f(x)
C: g(x)f(x)|p(x)
D: p(x)|f(x)或者p(x)|g(x)
举一反三
内容
- 0
F[x]中,若f(x)g(x)=p(x),则任意矩阵A
- 1
对谓词公式(∀x)((∃y)﹁P(x,y)∨(∃y)( Q(x,y) ∧﹁R(x,y)))化简可以得到包含哪几项的子句? A: P(x,f(x))∨Q(x,g(x)) B: ﹁P(x,f(x))∨Q(x,g(x)) C: ﹁P(y,f(y))∨﹁R(y,g(y)) D: P(y,f(y))∨R(y,g(y))
- 2
3.4对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论:(1)F:(Ǝx)(Ǝy)(P(x,y)G:(ꓯy)(Ǝx)(P(x,y)(2)F:(ꓯx)(P(x)∧(Q(a)∨Q(b)))G:(Ǝx)(P(x)∧Q(x))(3)F:(Ǝx)(Ǝy)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)(4)F1:(ꓯx)(P(x)→(ꓯy)(Q(y)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))
- 3
若p(x)是F(x)中次数大于0的不可约多项式,那么可以得到()。 A: (p(x),f(x))=1或者p(x)|f(x)) B: (p(x),f(x))=1或者p(x)|f(x))或者,p(x)f(x)=0 C: 只能有p(x)|f(x)) D: 只能有(p(x),f(x))=1
- 4
若p(x)是F(x)中次数大于0的不可约多项式,那么可以得到下列哪些结论?() A: 只能有(p(x),f(x))=1 B: 只能有(p(x)|f(x)) C: (p(x),f(x))=1或者(p(x)|f(x))或者,p(x)f(x)=0 D: (p(x),f(x))=1或者(p(x)|f(x))