与“﹁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))
举一反三
- 与“﹁"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)