离散数学第2章命题逻辑.ppt

该【离散数学第2章命题逻辑 】是由【wxq362】上传分享，文档一共【25】页，该文档可以免费在线阅读，需要了解更多关于【离散数学第2章命题逻辑 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。离散数学第2章命题逻辑目录CONTENCT命题逻辑的基本概念命题逻辑的推理规则命题逻辑的公理系统命题逻辑的应用命题逻辑的扩展01命题逻辑的基本概念命题联结词例子一个具有真假值的陈述句,通常表示为P、Q、R等符号。用于连接命题的逻辑符号,如"与"、"或"、"非"等。P表示“今天是星期一”,Q表示“明天是星期二”,则P与Q的联结词表示为"如果今天是星期一,那么明天是星期二"。命题与联结词命题的真值表真值表表示命题逻辑中各命题之间真假关系的表格。例子假设P表示“今天是雨天”,Q表示“明天是晴天”,则P与Q的联结词的真值表如下010203|---|---|---||真|真|真||真|假|假|命题的真值表|假|真|真||假|假|真|命题的真值表否定对命题的真值进行反转的逻辑操作。表示方法在命题前面加上"非"符号。例子如果P表示“今天是星期一”,则P的否定表示为“今天不是星期一”。命题的否定03020102命题逻辑的推理规则01020304肯定前件否定后件析取引入蕴含消解直接推理规则如果一个命题的前件或后件为真,那么整个命题为真。如果一个命题为假,那么它的后件为假。如果一个命题为真,那么它的前件为真。如果一个命题的前件为真,并且它的后件为假,那么整个命题为假。