1. 2.
来源：学生作业帮助网 编辑：六六作业网 时间：2024/11/28 06:11:47
1.2.1. 2.1.2.一1)∀xP(x)→B┐∀xP(x)vB∃x┐P(x)vB∃x(┐P(x)vB)∃x(P(x)→B)2)
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)