1. 2.
来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/08/23 23:39:39
1.![](http://img.wesiedu.com/upload/e/d5/ed511545903bc038af275954aa996f74.jpg)
2.![](http://img.wesiedu.com/upload/6/c2/6c27716b56d36c1ce0283fdea1163ba5.jpg)
![](http://img.wesiedu.com/upload/e/d5/ed511545903bc038af275954aa996f74.jpg)
2.
![](http://img.wesiedu.com/upload/6/c2/6c27716b56d36c1ce0283fdea1163ba5.jpg)
一
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)
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)