以下谓词公式中，( )不是逻辑有效式。
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))
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))
举一反三
- 以下谓词公式中，( )不是逻辑有效式。 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)∧Q(x))的否定是？ A: ∃x(P(x)∧Q(x)) B: ∃x(¬P(x)∨Q(x)) C: ∃x(¬P(x)∨¬Q(x)) D: ∃x(¬P(x)∧¬Q(x))
- 在指定的解释下，下列公式为真的是() A: ("x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B: ($x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C: ($x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D: ("x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
- 下列（ ）是谓词公式。 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)