下列（ ）是谓词公式。
A: P(x) + Q(x) → R(x)
B: P(x) ↔ Q(x)
C: ¬P(x)
D: P(x)
A: P(x) + Q(x) → R(x)
B: P(x) ↔ Q(x)
C: ¬P(x)
D: P(x)
举一反三
- 下列（ ）是谓词公式。 A: P(x) + Q(x) → R(x) B: P(x) ↔ Q(x) C: ¬P(x) D: P(x)
- 下面公式（）不是谓词公式 A: P B: P（x）∨Q（y）→R（x） C: ∀P（x）∧R（x，y） D: ∀x（R（x）→P（x，y））
- 以下谓词公式中，( )不是逻辑有效式。 A: ($x)(P(x)∧Q(x)) Þ ($x) P(x)∧($x) Q(x) B: ("x)(P(x)∧Q(x)) Þ ("x) P(x)∧("x) Q(x) C: ($x)(P(x)∧Q(x)) Û ($x) P(x)∧($x) Q(x) D: ("x)(P(x)∧Q(x)) Û ("x) P(x)∧("x) Q(x)
- 以下谓词公式中，( )不是逻辑有效式。 A: ($x) P(x)∨($x) Q(x) Þ ($x)(P(x)∨Q(x)) B: ("x) P(x)∨("x) Q(x) Þ ("x)(P(x)∨Q(x)) C: ($x) P(x)∨($x) Q(x) Û ($x)(P(x)∨Q(x)) D: ("x) P(x)∨("x) Q(x) Û ("x)(P(x)∨Q(x))
- 谓词公式(∀x(P(x)∨∃yR(y)))→Q(x)∧R(x)中量词∀x的辖域是 . A: P(x)∨∃yR(y) B: P(x) C: (P(x)∨∃yR(y))→Q(x) D: (∀x(P(x)∨∃yR(y)))→Q(x)∧R(x)