命题逻辑思维导图
命题逻辑内容介绍
树图思维导图提供 命题逻辑 在线思维导图免费制作，点击“编辑”按钮，可对 命题逻辑 进行在线思维导图编辑，本思维导图属于思维导图模板主题，文件编号是：9a04b9fad481bcff248be9f42f8f0eaf
思维导图大纲
命题逻辑思维导图模板大纲
1. 命题逻辑基础
1.1 命题定义
命题是能区分真假的陈述句
命题的真值为真（T）或假（F）
真命题与客观实际相符
假命题与客观实际不符
1.2 命题分类
简单命题（原子命题）：不能再分解的简单陈述句
复合命题：由简单命题和逻辑连接词复合而成
2. 逻辑连接词
2.1 否定词
表示为¬p
¬p为p的否定式
2.2 合取词
表示为p∧q
p∧q为真当且仅当p与q同时为真
2.3 析取词
表示为p∨q
p∨q为假当且仅当p与q同时为假
2.4 蕴涵词
表示为p->q
p->q为假当且仅当p为真q为假
2.5 等值词
表示为p«q
p«q为真当且仅当p与q同真或同假
3. 命题公式及其真值表
3.1 命题公式定义
用大写英文字母表示
递归定义包含命题常元、变元、否定、合取、析取、蕴涵和等值
3.2 真值表
列出命题公式在所有赋值下的取值情况
包含n个变元的命题公式有2^n个赋值
4. 命题公式类型判断
4.1 在所有赋值下取值均为真
4.2 在所有赋值下取值均为假
4.3 不是永假式
5. 等价命题与等价演算
5.1 在任何赋值下都有相同真值的命题公式
5.2 由已知等价式推演出新的等价式
5.3 包括否定律、等幂律、交换律、结合律、分配律等
相关思维导图模板
树图思维导图提供 行测知识点（十二） 在线思维导图免费制作，点击“编辑”按钮，可对 行测知识点（十二） 进行在线思维导图编辑，本思维导图属于思维导图模板主题，文件编号是：2050d54f146bc78771469b129c08914b
树图思维导图提供 视觉传达设计就业方向思维导图 在线思维导图免费制作，点击“编辑”按钮，可对 视觉传达设计就业方向思维导图 进行在线思维导图编辑，本思维导图属于思维导图模板主题，文件编号是：d627dbed2cd6c34d195cf60767d8853f
沪公网安备 31011502019485号
上海工商