原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第六章 真值表的判定作用 * 第一节 重言式、矛盾式、可满足式 * 一、真值联结词 定义：真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。 真值联结词主要有五个： ?（否定）、∧（合取）、 ∨（析取）、→（蕴涵）、 ←→（等值） * 二、真值形式 定义：真值形式是指由真值联结词和命题变项所构成的形式结构。 五种基本的真值形式 否定式： ?p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q * 三、五种基本真值形式的真值表 T 表示“真”、F 表示“假” 1、?p p ?p T F F T * 2、 p∧q p q p∧q T T T T F F F T F F F F * 3、p∨q p q p ∨ q T T T T F T F T T F F F * 4、p→q p q p →q T T T T F F F T T F F T * 5、p←→q p q p ←→ q T T T T F F F T F F F T * 四、重言式、矛盾式、可满足式 1、重言式（又叫永真式）是指在一个命题形式中不论其中的变项取什么值，该命题形式的值总是真的。 如： p∨ ?p p ?p p∨ ?p T F T F T T * 2、矛盾式（又叫永假式）是指在一个命题形式中不论其中的变项取什么值，该命题形式的值总是假的。 如： p∧ ?p p ?p p∧ ?p T F F F T F * 3、可满足式是指在一个命题形式中不论其中的变项取什么值，该命题形式的值至少在一种情况下是真的。 如：p ∧ q p q p ∧ q T T T T F F F T F F F F * 第二节 真值表的判定作用 一、真值表可以判定任一命题形式是否是重言式。 例1、（（p∨q）∧?p）→q * p q ?p p∨q (p∨q）∧?p （（p∨q）∧?p）→q T T F T F T T F F T F T F T T T T T F F T F F T * 由真值表可知（（p∨q）∧?p）→q 是重言式。 * 例2、（（p∨q）∧p）→ ? q * p q ?q p∨q (p∨q）∧ p （（p∨q）∧p）→ ? q T T F T T F T F T T T T F T F T F T F F T F F T * 由真值表可知（（p∨q）∧p）→ ? q 不是重言式。 * 二、真值表可以判定任意两个复合命题之间是否具有等值关系 例1、?（p ∧ q） ? p ∨ ? q * 由真值表可知这两个命题之间具有等值关系。 p q ?p ?q (p∧q) ?(p∧q) ?p∨?q T T F F T F F T F
文档评论（0）