修-习题(第一章命题逻辑)080913_第1页
修-习题(第一章命题逻辑)080913_第2页
修-习题(第一章命题逻辑)080913_第3页
修-习题(第一章命题逻辑)080913_第4页
修-习题(第一章命题逻辑)080913_第5页
已阅读5页，还剩23页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

修-习题(第一章命题逻辑)080913by文库LJ佬2024-05-23CONTENTS基本概念命题公式命题推理推理规则真值表归谬法证明01基本概念命题逻辑简介：

了解命题逻辑的基本概念和历史背景。命题形式：

掌握命题的不同形式及其表示方法。逻辑等值：

理解逻辑等值的概念及其在命题逻辑中的应用。命题逻辑简介命题逻辑简介命题:

命题逻辑研究的基本单位，具有真假值。真值表:

用于表示命题逻辑中命题的真假取值情况。命题联结词:

逻辑连接命题的词语，如“与”、“或”、“非”等。命题形式合取范式:

将多个命题用“与”连接的形式表示。析取范式:

将多个命题用“或”连接的形式表示。条件命题:

由“如果...，那么...”构成的命题形式。逻辑等值等值命题:

具有相同真值的命题称为逻辑等值命题。等值式:

描述两个命题形式在逻辑上等价的关系。02命题公式命题公式命题公式命题公式定义：

学习命题公式的定义和表示方法。命题公式化简：

掌握命题公式的化简方法和技巧。命题公式求解：

了解命题公式的求解步骤和策略。命题原子式:

不可再分解的基本命题形式。复合式:

由命题原子式和逻辑联结词组成的复杂命题。命题公式化简合取范式化简:

将复合命题转化为合取范式的过程。析取范式化简:

将复合命题转化为析取范式的过程。命题公式求解命题公式求解真值推导:

通过真值表确定命题公式的真值情况。推理规则:

使用逻辑推理规则进行命题公式的推导过程。03命题推理命题推理命题推理直接推理：

学习命题逻辑中的直接推理方法。间接推理：

掌握命题逻辑中的间接推理技巧。命题推理策略：

了解命题推理过程中的常用策略和方法。直接推理假言推理:

基于条件命题的推理方法。构造证明法:

通过构造证明命题的真值表进行推理。间接推理归谬法推理:

基于反证法的推理方法。

逆否命题:

利用逆否命题进行推理。假言析取法:

利用假言析取法简化推理过程。04推理规则推理规则合取规则：

掌握合取联结词的推理规则。析取规则：

了解析取联结词的推理规则和应用。合取规则合取规则合取引入规则:

将单独命题转化为合取式的规则。合取消去规则:

将合取式分解为单独命题的规则。析取规则析取引入规则:

将单独命题转化为析取式的规则。析取消去规则:

将析取式分解为单独命题的规则。05真值表真值表真值表定义：

学习真值表的定义和基本概念。

真值表格:

用于展示命题变元和命题公式的真值情况。真值表应用：

了解真值表在命题逻辑中的重要作用。真值表应用真值推导:

通过真值表进行命题推理和论证。等值式证明:

利用真值表证明逻辑等值关系。06归谬法证明归谬法证明归谬法概述：

了解归谬法的基本原理和应用。

反证法:

通过假设命题的否定来推导出矛盾，从而证明原命题成立。归谬法步骤：

掌握归谬法

人人文库> 全部分类> 图纸下载 > 毕业设计

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论