以下谓词公式中，( )是逻辑有效式。
A: "x Q(x) Þ ($x Q(x)∨"y S(y) )
B: $x(A(x)ÞB) Û $xA(x)ÞB
C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x)
D: "x$y P(x,y) Þ $x"y P(x,y)
A: "x Q(x) Þ ($x Q(x)∨"y S(y) )
B: $x(A(x)ÞB) Û $xA(x)ÞB
C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x)
D: "x$y P(x,y) Þ $x"y P(x,y)
举一反三
- 以下谓词公式中，( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- 下列哪个不是谓词公式() A: ∀x﹁(P(x)→Q(x)) B: ∃y(∀x(P(x,y))→∀x(Q(x))) C: ﹁∃x(P(x)∨P(y)) D: ∃z∀x(∃y∨P(z))
- 下列公式中存在变元 x 是自由变元的为 A: ∃xP(x)→∀xQ(x) B: ∃x∀yC(x,y)∨﹁P(x)→∀x﹁Q(x) C: ∀xQ(x,y)∧ ∃xA(x,y) D: ∀xR(x,y)∧∃x(P(x,y)∧Q(x))
- 【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(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))