原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数理逻辑复习题
数理逻辑复习题
复习要求：
复习要求：
掌握命题、逻辑联结词的概念；公式与解释的概念，用基本等价式化简其他公式；会用真值表法和主范式
掌握命题、逻辑联结词的概念；公式与解释的概念，用基本等价式化简其他公式；会用真值表法和主范式
判断公式的类型；公式蕴涵与逻辑结果的概念；形式演绎方法.一阶逻辑的基本概念，一阶逻辑公式及其解释，
判断公式的类型；公式蕴涵与逻辑结果的概念；形式演绎方法.一阶逻辑的基本概念，一阶逻辑公式及其解释，
等值演算，推理理论；一阶逻辑公式的三种类型，即逻辑有效式 （永真式），矛盾式和可满足式；用联结词产
等值演算，推理理论；一阶逻辑公式的三种类型，即逻辑有效式 （永真式），矛盾式和可满足式；用联结词产
生复合命题的方法；公式在解释下的真值；公式范式的概念；形式演绎和蕴涵的关系.命题逻辑与一阶逻辑推
生复合命题的方法；公式在解释下的真值；公式范式的概念；形式演绎和蕴涵的关系.命题逻辑与一阶逻辑推
理理论.
理理论.
一、命题逻辑部分
一、命题逻辑部分
1 .
1、填空题.
、填空题
p q p q 01 10 .
p q p q 01 10 .
⑴ 公式 （ ） （ ）的成真赋值为 ，
⑴ 公式 （ ） （ ）的成真赋值为 ，
Ø Ø
Ù Ø Ú Ø Ù
Ù Ú Ù
p r q s p q r s 0 .
p r q s p q r s 0 .
⑵ 设 、 为真命题， 、 为假命题，则复合命题 （ ） （ ）的真值为
⑵ 设 、 为真命题， 、 为假命题，则复合命题 （ ） （ ）的真值为
Ø
® « Ø ®
® « ®
p q p q p q p q .
p q p q p q p q .
⑶ 设 、 为命题，在 、 不能同时发生 条件下， 与 的排斥或也可以写成 与 的相容或
⑶ 设 、 为命题，在 、 不能同时发生 条件下， 与 的排斥或也可以写成 与 的相容或
A B A B
⑷ 设 A为任意公式，B 为重言式，则 A B 的类型是 重言式
⑷ 设 为任意公式， 为重言式，则 Ú 的类型是 重言式
Ú
A p q r A p q r .
A p q r A p q r .
⑸ 设 是含命题变项 、 、 的重言式，则公式
文档评论（0）