原创力文档1;2;3;4;5;注意:感叹句、祈使句、疑问句都不是命题
幂等律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
1;2;3;4;5;注意:感叹句、祈使句、疑问句都不是命题
幂等律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
文档评论（0）