作业帮1. 2.
来源：学生作业帮助网 编辑：作业帮 时间：2024/04/29 09:06:13
1. 2.
1.
2.
1. 2.
一
1)∀x P(x)→B ┐∀xP(x)vB ∃x┐P(x)vB ∃x(┐P(x)vB ) ∃x(P(x)→B )
2) B→∀x P(x) ┐ B V ∀x P(x) ∀x(┐ B V P(x) ) ∀x(B→P(x))
二
1)证明,设x∈[a1,an],则有
┐∀xP(x) ┐(P(a1)∧P(a2)∧P(a3)∧…∧P(an) )
(┐P(a1) v ┐P(a2) v ┐P(a3) v…v ┐P(an) )
∃x┐P(x)
2)证明,设x∈[a1,an],则有
┐∃xP(x) ┐ ( P(a1) v P(a2) v P(a3) v…v P(an) )
(┐P(a1)∧┐P(a2)∧┐P(a3)∧…∧┐P(an) )
∀x┐P(x)