TreeMind树图在线AI思维导图
当前位置:树图思维导图模板行业/职业模板教育命题逻辑思维导图

命题逻辑思维导图

  收藏
  分享
免费下载
免费使用文件
U769146294 浏览量:652024-06-12 17:25:27
已被使用6次
查看详情命题逻辑思维导图

命题逻辑内容介绍

树图思维导图提供 命题逻辑 在线思维导图免费制作,点击“编辑”按钮,可对 命题逻辑  进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是: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

跨学科融合理论应用思维导图

树图思维导图提供 跨学科融合理论应用 在线思维导图免费制作,点击“编辑”按钮,可对 跨学科融合理论应用  进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是:754afa37eb55edd90867290ff582ffe9