与“﹁x(A(x)→B(x))”相等值的谓词公式是
A: x(A(x)∧﹁B(x))
B: x﹁(A(x)∧B(x))
C: x(A(x)∧﹁B(x))
D: x(A(x)∧﹁B(x))
A: x(A(x)∧﹁B(x))
B: x﹁(A(x)∧B(x))
C: x(A(x)∧﹁B(x))
D: x(A(x)∧﹁B(x))
D
举一反三
- 与“﹁"x(A(x)→B(x))”相等值的谓词公式是? "x(A(x)∧﹁B(x))|$x﹁(A(x)∧B(x))|$x(A(x)∧﹁B(x))|"x﹁(A(x)→B(x))
- 与“﹁"x(A(x)→B(x))”相等值的谓词公式是 A: $x(A(x)∧﹁B(x)) B: $x﹁(A(x)∧B(x)) C: "x(A(x)∧﹁B(x)) D: "x﹁(A(x)→B(x))
- 与“﹁ " x(A(x)→B(x))”相等值的谓词公式是
- 以下谓词等值式正确的是（多选）（ ）。 A: ∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x) B: ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x) C: ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x) D: ∃x(A(x)∧B(x))⇔∃xA(x)∧∃xB(x)
- 下列公式中等值的是().(5.0) A: ∀x(A(x)→ B: (x))与∀xA(x)→∀xB(x) ∀x(A(x)∨B(x))与∀xA(x)∨∀xB(x) C: ∀x(A(x)∧B(x))与∀xA(x)∧∀xB(x) D: ∃x(A(x)∧B(x))与∃xA(x)∧∀xB(x)
内容
- 0
以下谓词蕴含式正确的是（）: (∀x) (A(x)→B(x))=>( ∀x)A(x)→(∀x)B(x)|(∀x) (A(x)↔B(x))=>( ∀x)A(x)↔(∀x)B(x)|(∀x)A(x)∨(∀x)B(x)=>( ∀x) (A(x)∨B(x))|(∃x) (A(x)∧B(x))=>(∃x)A(x)∧(∃x)B(x)
- 1
以下谓词蕴含式正确的是（）: (?x) (A(x)→B(x))=>( ?x)A(x)→(?x)B(x)|(?x) (A(x)?B(x))=>( ?x)A(x)?(?x)B(x)|(?x)A(x)∨(?x)B(x)=>( ?x) (A(x)∨B(x))|(?x) (A(x)∧B(x))=>(?x)A(x)∧(?x)B(x)
- 2
与谓词公式﹁∃x(M(x)∧F(x))不等价的是( ) A: ∀x(M(x) →﹁F(x)) B: ∀x(﹁M(x) ∨﹁F(x)) C: ∀x(﹁M(x)→﹁F(x)) D: ∀x﹁(M(x)∧F(x))
- 3
式子∀x (A(x)∨B(x)) = ∀x A(x)∨∀x B(x)是量词分配等值式。 （这里用 = 表示公式的等值）
- 4
所有北大学生(S(x))都是聪明的(P(x))”谓词公式是 A: $x(S(x)∧P(x)) B: "x(S（x）→P(x)) C: $x(S(x)∧﹁P(x)) D: "x(S(x)→﹁P(x))