一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
一. 利用代换实例判断下列公式的类型
(1) (∀xA(x)→∀xA(x))→(⌝∃yB(y)∨∃yB(y))
(2) ⌝(∀xF(x)→∃xB(x))∧∃xB(x)
二. 利用等值演算, 求证∀x∀y(P(x)→Q(y))⇔∃xP(x)→∀yQ(y)
三. 利用等值演算,
求证⌝∃x∀y(F(x) ∧(G(y) →H(x,y))) ⇔∀x∃y((F(x) →G(y))∧( F(x) →⌝ H(x,y)))
