2021离散数学第一章命题逻辑知识点总结.docxVIP

下载本文档

43
0
约8.27千字
约 17页
2021-03-07 发布于天津
举报
版权申诉

2021离散数学第一章命题逻辑知识点总结.docx

1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

数理逻辑部分第章命题逻辑命题符号化及联结词命题判断结果惟一的陈述句命题的真值判断的结果真值的取值真与假真命题真值为真的命题假命题真值为假的命题注意感叹句祈使句疑问句都不是命题陈述句中的悖论以及判断结果不惟一确定的也不是命题简单命题原子命题简单陈述句构成的命题复合命题由简单命题与联结词按一定规则复合而成的命题简单命题符号化用小写英文字母表示简单命题用表示真用表示假例如令是有理数则的真值为则的真值为联结词与复合命题否定式与否定联结词定义设为命题复合命题非或的否定称为的否定式记作符号称作否定联结词并规

数理逻辑部分第 1 章命题逻辑命题符号化及联结词命题: 判断结果惟一的陈述句命题的真值 : 判断的结果真值的取值 : 真与假真命题: 真值为真的命题假命题: 真值为假的命题注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。简单命题 (原子命题)：简单陈述句构成的命题复合命题：由简单命题与联结词按一定规则复合而成的命题简单命题符号化用小写英文字母 p, q, r, ? ,pi,qi,ri (i≥1)表示简单命题用“1表”示真，用“0表”示假例如，令 p：是有理数，则 p 的真值为 0 q：2 + 5 = 7，则 q 的