谓词公式"xP(x)Ù$y(ØP(y))是矛盾式。
举一反三
- $y"x( →P(x, y)) 是谓词公式。
- 谓词公式∃y(∀x(P(x,y))→P(x))中y是____变元
- 公式∀x∀y(P(x,y)˄Q(x,y)→P(x,y))的类型是____。(注:填矛盾式或永真式)
- 谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为 A: ∀x∀z∃y(P(x)→Q(z) ∨ R( y)) B: ∃x∀z∃y(P(x)→Q(z) ∨ R( y)) C: ∀x∃y(P(x)→Q(x) ∨ R( y)) D: ∃x∀y(P(x)→Q(x) ∨ R( y))
- 下面公式（）不是谓词公式 A: P B: P（x）∨Q（y）→R（x） C: ∀P（x）∧R（x，y） D: ∀x（R（x）→P（x，y））