设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式$x(P(x)ÚQ(x))在哪个个体域中为真?
举一反三
- 下列（ ）是谓词公式。 A: P(x) B: ¬P(x) C: P(x)Q(x) D: P(x)+Q(x)R(x)
- 下列（ ）是谓词公式。 A: P(x) + Q(x) → R(x) B: P(x) ↔ Q(x) C: ¬P(x) D: P(x)
- 下面谓词公式中哪一个为永真式？ A: P（x）® Q（x） B: ("x）P（x）®（$x）P（x) C: P（a）®（"x）P(x) D: Ø P（a）®（$x）P（x）
- 下列哪个不是谓词公式() 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))
- 以下谓词公式中，( )不是逻辑有效式。 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)