第一-命题逻辑.pptVIP

*;*;*;*;*;注意:感叹句、祈使句、疑问句都不是命题

幂等律A?A?A,A?A?A

联结词与复合命题(续)

④?qúr前提引入

?(A1ùA2ù…ùAkùC)?B

构造性二难(特殊形式)

?Bú?D

如：在只有3个命题变元的情况下，p?q??r是极大项，

(5)2050年元旦北京是晴天.

得?(p?q)??r?m0?m2?m4?m5?m6

p?q为真当且仅当p,q不同时为真

例10证明p?(q?r)?(p?q)?r

AúC

真值：?p为真当且仅当p为假

④(púq)?r前提引入;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;000是成真赋值,001是成假赋值

A?B

同一律A?0?A,A?1?A（A运算后不变）

(2)王晓虽然聪明，但不用功.

定义在仅含有联结词?,∧,∨的命题公式A中，将∨换成∧,∧

长度为k的简单析取式可展开成2n?k个极大项的合取

③?r①②拒取式

?(p??q?r)?(?p?q??r)

极小项