第七次作业（谓词公式类型及等值演算）
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第七次作业（谓词公式类型及等值演算）
一. 利用代换实例判断下列公式的类型
(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)))。