- 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第2章复习2
2.2 命题逻辑等值演算 一、等值的概念 二、基本等值式(P49~50) 三、等值演算和置换规则 四、等值演算的应用 一、等值的概念 二、基本等值式(P49~50) 1.双重否定律 A ? ??A 2.等幂律 A ? A?A A ? A?A 3.交换律 A?B ? B?A A?B ? B?A 4.结合律 (A?B)?C ? A?(B?C) (A?B)?C ? A?(B?C) 5.分配律 A?(B?C)? (A?B)?(A?C) A?(B?C) ? (A?B)?(A?C) 6.德摩根律 ?(A?B) ? ?A??B ?(A?B) ? ?A??B 7.吸收律 A?(A?B) ? A A?(A?B) ? A 8.零律 A?1 ? 1 A?0 ? 0 9.同一律 A?0 ? A A?1 ? A 10.排中律 A??A ? 1 11.矛盾律 A??A ? 0 12.蕴涵等值式 A→B ? ?A?B 13.等价等值式 A?B ? (A→B)?(B→A) 14.假言易位 A→B ? ?B→?A 15.等价否定等值式 A?B ? ?A??B 16.归谬论 (A→B)?(A→?B) ? ?A * 定义 2.1 设A、B为命题公式,如果A ? B为重言式,则称A与B是等值的,记作A ? B 。 注意:?不是联结词,不要将?与“?”和“=”相混淆。 例如,?(p∨q) ? ?p∧?q 由已知的等值式,推演出另一些等值式的过程称为等值演算。 设?(A)是含公式A的命题公式,?(B)是用公式B置换?(A)中所有的A得到的命题公式,若B?A ,则?(B)? ?(A)。 三、等值演算和置换规则 置换规则: *
文档评论(0)