证明 2200x(A(x)2192B)21d42203xA(x)2192B。以下过程是正确的。
证明 2200x(A(x)2192B)21d42200x(2510A(x)2228B)
21d42200x2510A(x)2228B21d425102203xA(x)2228B
21d42203xA(x)2192B。
证明 2200x(A(x)2192B)21d42200x(2510A(x)2228B)
21d42200x2510A(x)2228B21d425102203xA(x)2228B
21d42203xA(x)2192B。
举一反三
- 证明 ∀x(A(x)→B)⇔∃xA(x)→B。以下过程是正确的。 证明 ∀x(A(x)→B)⇔∀x(┐A(x)∨B) ⇔∀x┐A(x)∨B⇔┐∃xA(x)∨B ⇔∃xA(x)→B。
- 以下谓词等值式正确的是（多选）（ ）。 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)
- 下列等值式不正确的是 。 A: "x(B®A(x))ÛB®"xA(x) B: "x(A(x)∧B)Û"xA(x)∧B C: "x(A(x)∨B)Û"xA(x)∨B D: "x(A(x)®B)Û"xA(x)®B
- 下面的等价关系成立的是（ ）。 A: ∃x[A(x)∨B(x)] ⇔ ∃xA(x) ∨ ∃xB(x) B: ∀x[A(x) → B(x)] ⇔ ﹁∃xA(x) ∨∀xB(x) C: ∀xA(x) ∨ ∀xB(x)⇔∀x[A(x) ∨B(x)] D: ∃x[A(x) ∧ B(x)]⇔∃xA(x) ∧ ∃xB(x)
- 证明下列等值式：$x(A(x)®B(x))Û"xA(x) ®$x B(x)