离散数学与组合数学-数理逻辑-01命题与联结词
文章目录
- 1. 命题与联结词
- 1.1 命题
- 1.2 常用联结词
- 1.3 命题公式
- 等价关系式-逻辑等价 logically equivalent
- 逻辑蕴涵 logically implication
- 1.4 命题的等值演算与推理
- 基本等价式
- 1.5 命题公式与真值表的关系
- 由T列来写
- 由F列来写
- 1.6 重言蕴涵
- 归结法
1. 命题与联结词
1.1 命题
命题
:我们对确定对象做出的陈述句称为命题(propositions and statements 命题或陈述)。当判断为真时,该命题为真,否则为假。
今天下雨 是命题 √
你在干什么啊 非陈述句 X
我只给所有不给自己理发的人理发 悖论 X
原子命题
:通常把不含有逻辑联结词的命题称为原子命题或原子(atoms)
复合命题
:把由原子命题和逻辑联结词共同组成的命题称为复合命题(compositive propositions or compound statements 综合命题或复合命题)。
1.2 常用联结词
否定
:符号 ¬ \neg ¬ 称作否定联结词
合取
: 符号 ∧ \wedge ∧称作合取联结词
析取
: 符号 ∨ \vee ∨称作析取联结词 .
蕴含或条件
: 符号 → \to →称作蕴含或条件联结词 .
双向蕴含或等价
: 符号 ↔ \leftrightarrow ↔称作双向蕴含或等价联结词 .
联结词优先级
( ) () () > ¬ \neg ¬ > ∧ \wedge ∧ > ∨ \vee ∨ > → \to → > ↔ \leftrightarrow ↔
1.3 命题公式
命题常元
:代表特定的简单命题
命题变元
:代表任意命题,取值为真或假的变量
命题公式
:含有命题变元的表达式。即 P ∨ Q P \vee Q P∨Q便是一个命题公式
公式的赋值
定义:若命题公式 A A A含有的全部命题变元为 p 1 , p 2 , p 3 , p 4 … p n p_1,p_2,p_3,p_4…p_n p1,p2,p3,p4…pn,给 p 1 , p 2 , p 3 , p 4 … p n p_1,p_2,p_3,p_4…p_n p1,p2,p3,p4…pn指定一组真值,称为 A A A的一个解释或赋值。使 A A A的真值为真的赋值称为成真赋值,使A的真值为假的赋值为成假赋值。
指派或赋值
:用 α , β \alpha,\beta α,β等表示当 A A A对取值状况 α \alpha α为真时,称指派 α \alpha α成真 A A A,或是 α \alpha α是 A A A的成真赋值。记为 α ( A ) = 1 \alpha\left(A\right)=1 α(A)=1
对一切可能的指派,公式 A A A的取值可用下表描述,真值表
真值表
:命题公式在所有可能的赋值下的取值的列表含n个变形的公式有2的n次方个赋值。
命题公式的分类
若A在它的各种情况下赋值的取值均为真,则称A为重言式或永真式
若A在它的各种情况下赋值的取值均为假,则称A为矛盾式或永假式
若至少存在一种赋值能使A的真值为真,则称A为可满足式
等价关系式-逻辑等价 logically equivalent
逻辑等价
:当命题公式 A ↔ B A \leftrightarrow B A↔B为重言式时,称 A A A逻辑等价于 B B B,记为 A ⇔ B A \Leftrightarrow B A⇔B
逻辑蕴涵 logically implication
当命题公式 A → B A \to B A→B为重言式,称 A A A逻辑蕴涵 B B B,记为 A ⇒ B A \Rightarrow B A⇒B,需要注意重言蕴含 ⇒ \Rightarrow ⇒与普通蕴含 → \rightarrow →的关系。
1.4 命题的等值演算与推理
基本等价式
(1)双重否定律 ¬ ¬ ⇔ A \neg \neg \Leftrightarrow A ¬¬⇔A
(2)幂等律 A ∧ A ⇔ A , A ∨ A ⇔ A A \wedge A \Leftrightarrow A,A \vee A \Leftrightarrow A A∧A⇔A,A∨A⇔A
(3)交换律 A ∧ B ⇔ B ∧ A , A ∨ B ⇔ B ∨ A A \wedge B \Leftrightarrow B \wedge A, A \vee B \Leftrightarrow B \vee A A∧B⇔B∧A,A∨B⇔B∨A
(4)结合律 A ∧ ( B ∧ C ) ⇔ ( A ∧ B ) ∧ C , A ∨ ( B ∨ C ) ⇔ ( A ∨ B ) ∨ C A \wedge (B \wedge C )\Leftrightarrow (A \wedge B) \wedge C , A \vee (B \vee C )\Leftrightarrow (A \vee B) \vee C A∧(B∧C)⇔(A∧B)∧C,A∨(B∨C)⇔(A∨B)∨C
(5)分配律 A ∧ ( B ∨ C ) ⇔ ( A ∧ B ) ∨ ( A ∧ C ) , A ∨ ( B ∧ C ) ⇔ ( A ∨ B ) ∧ ( A ∨ C ) A \wedge (B \vee C )\Leftrightarrow (A \wedge B) \vee (A \wedge C) , A \vee (B \wedge C )\Leftrightarrow (A \vee B) \wedge (A \vee C) A∧(B∨C)⇔(A∧B)∨(A∧C),A∨(B∧C)⇔(A∨B)∧(A∨C)
(6)德摩根律 ¬ ( A ∧ B ) ⇔ ¬ A ∨ ¬ B , ¬ ( A ∨ B ) ⇔ ¬ A ∧ ¬ B \neg (A \wedge B) \Leftrightarrow \neg A \vee \neg B , \neg (A \vee B) \Leftrightarrow \neg A \wedge \neg B ¬(A∧B)⇔¬A∨¬B,¬(A∨B)⇔¬A∧¬B
(7)吸收律 A ∧ ( A ∨ B ) ⇔ A , A ∨ ( A ∧ B ) ⇔ A A \wedge (A \vee B )\Leftrightarrow A , A \vee (A \wedge B ) \Leftrightarrow A A∧(A∨B)⇔A,A∨(A∧B)⇔A
(8)零律 A ∨ 1 ⇔ 1 , A ∧ 0 ⇔ 0 A \vee 1 \Leftrightarrow 1 , A \wedge 0 \Leftrightarrow 0 A∨1⇔1,A∧0⇔0
(9)同一律 A ∧ 1 ⇔ A , A ∨ 0 ⇔ A A \wedge 1 \Leftrightarrow A , A \vee 0 \Leftrightarrow A A∧1⇔A,A∨0⇔A
(10)排中律 A ∨ ¬ A ⇔ 1 A \vee \neg A \Leftrightarrow 1 A∨¬A⇔1
(11)矛盾律 A ∧ ¬ A ⇔ 0 A \wedge \neg A \Leftrightarrow 0 A∧¬A⇔0
(12)蕴涵等值式 A → B ⇔ ¬ A ∨ B A \to B \Leftrightarrow \neg A \vee B A→B⇔¬A∨B
(13)等价等值式
A ↔ B ⇔ ( A → B ) ∧ ( B → A ) A \leftrightarrow B \Leftrightarrow (A \to B) \wedge (B \to A) A↔B⇔(A→B)∧(B→A)
A ↔ B ⇔ ( ¬ A ∨ B ) ∧ ( ¬ B ∨ A ) A \leftrightarrow B \Leftrightarrow (\neg A \vee B) \wedge (\neg B \vee A) A↔B⇔(¬A∨B)∧(¬B∨A)
A ↔ B ⇔ ( A ∧ B ) ∨ ( ¬ A ∧ ¬ B ) A \leftrightarrow B \Leftrightarrow (A \wedge B) \vee (\neg A \wedge \neg B) A↔B⇔(A∧B)∨(¬A∧¬B)
(14)假言易位 A → B ⇔ ¬ B → ¬ A A \to B \Leftrightarrow \neg B \to \neg A A→B⇔¬B→¬A
(15)等价否定等值式 A ↔ B ⇔ ¬ A ↔ ¬ B A \leftrightarrow B \Leftrightarrow \neg A \leftrightarrow \neg B A↔B⇔¬A↔¬B
(16)归谬论 ( A → B ) ∧ ( A → ¬ B ) ⇔ ¬ A (A \to B)\wedge (A \to \neg B) \Leftrightarrow \neg A (A→B)∧(A→¬B)⇔¬A
1.5 命题公式与真值表的关系
对任一依赖于命题变元 p 1 , p 2 , p 3 , p 4 … p n p_1,p_2,p_3,p_4…p_n p1,p2,p3,p4…pn的命题公式 A A A来说,可由 p 1 , p 2 , p 3 , p 4 … p n p_1,p_2,p_3,p_4…p_n p1,p2,p3,p4…pn的真值根据命题公式 A A A给出 A A A的真值,从而建立起从 p 1 , p 2 , p 3 , p 4 … p n p_1,p_2,p_3,p_4…p_n p1,p2,p3,p4…pn到 A A A的真值表。
反之,若给定了由 p 1 , p 2 , p 3 , p 4 … p n p_1,p_2,p_3,p_4…p_n p1,p2,p3,p4…pn到 A A A的真值表,可以由下述方法,写出命题公式 A A A对 p 1 , p 2 , p 3 , p 4 … p n p_1,p_2,p_3,p_4…p_n p1,p2,p3,p4…pn的逻辑表达式。
由T列来写
由F列来写
1.6 重言蕴涵
⇒ \Rightarrow ⇒是命题公式 A A A和命题公式 B B B的推理关系, → \rightarrow →是两个原子命题的联结关系。
归结法
归结法是计算机进行推理的方法
离散数学与组合数学-数理逻辑-01命题与联结词相关推荐
- 离散数学与组合数学-01
文章目录 1. 离散数学与组合数学大纲要求 概述 1.1 离散数学概述 1.2 组合数学概述 1.3. 离散数学前言 第1章 数理逻辑 1.1 命题与联结词 1. 命题 2.联结词 2.集合论 3.代 ...
- 离散数学与组合数学-01集合论
文章目录 1.离散数学与组合数学-01集合论 1.1 集合定义 1.1.1 什么是集合 1.1.2 集合案例 1.1.3 集合的符号表示 1.2 集合表示 1.2.1属于关系 1.2.2 枚举法 1. ...
- 离散数学1_第1章_复合命题与联结词
由原子命题通过联结词联结而成的命题, 称为复合命题 联结词都具有特定的符号 数理逻辑中 常用的联结词共有5个: 1. 否定 定义: 设P为命题,P的否定是一个复合命题,记作 ┓P, 符号 ┓ ...
- 离散数学与组合数学-07命题逻辑
文章目录 离散数学与组合数学-07命题逻辑 7.1 命题逻辑-什么是命题 7.1.1 数理逻辑发展 7.1.2 什么是命题 7.1.3 复合命题 7.2 命题逻辑-命题联结词 7.2.1 否定联结词 ...
- 离散数学(一):命题及命题联结词
1.数理逻辑对于计算机学科有什么用? 证明 在数学中是非常重要的,在计算机学科中也同样重要.事实上,证明常常用于验证计算机程序对所有可能的输入值产生正确的输出值,用于揭示算法总是产生正确的结果. 并且 ...
- 离散数学与组合数学-03函数
文章目录 离散数学与组合数学-03函数 3.1 函数基本概念 3.1.1 函数的定义 3.1.2 函数举例 3.1.3 函数的数量 3.1.4 关系与函数的差别 3.2函数的类型 3.2.1 函数类型 ...
- 离散数学与组合数学-05树
文章目录 离散数学与组合数学-05树 5.1 认识树 5.1.1 树的模型 5.1.2 树的应用 5.2 无向树 5.2.1 定义 5.2.2 树的性质 5.2.3 性质应用 5.3 生成树 5.3. ...
- 离散数学与组合数学-04图论上
文章目录 离散数学与组合数学-04图论上 4.1 图的引入 4.1.1 图的示例 4.1.2 无序对和无序积 4.1.3 图的定义 4.2 图的表示 4.2.1 集合表示和图形表示 4.2.2 矩阵表 ...
- 离散数学与组合数学-02二元关系上
文章目录 离散数学与组合数学-02二元关系上 2.1 序偶和笛卡尔积 2.1.1 有序组的定义 2.1.2 笛卡儿积 笛卡儿积的性质 2.2 关系的定义 2.2.1 二元关系定义与案例 2.2.2 二 ...
最新文章
- php7.3 安装详解,php7.3.20以及常用拓展安装
- python3+scapy扫描获取局域网主机ip和mac
- 【bzoj3575】 Hnoi2014—道路堵塞
- java junit 私有方法_有没有办法在Junit5中的另一个方法中模拟私有方法调用
- qlineedit限制输入数字_Excel单元格限制录入,实用小技巧
- 从1.5k到18k, 一个程序员的5年成长之路 2019-03-15
- Linux学习之磁盘操作
- mysql存储引擎 sql_MySQL——存储引擎与SQL数据类型
- Windows的hosts文件在哪里?
- jquery1.7版本核心模块测试封装
- 简要说明什么是cdn?
- css更改鼠标指针样式,几种鼠标点击效果
- 程序人生 - 为了避免惹上官司,你可以在这些免版权图片网站里寻找素材
- 【Iass Saas Paas】
- __attribute__中的constructor和destructor
- 【vue期末作业】化妆品商城系统
- 如何在CSDN博客左侧添加微博关注
- 呼叫中心系统的功能有哪些?
- 华为是否关闭私有云,这个问题真的那么重要么?
- NFC Bank card 以移动浦发联名挂件卡解析qPBOC应用
热门文章
- LTE无线连接过程--网络接入过程
- Jenkins 邮件模板配置
- linux 配置JAVA 环境问题(一)/lib/ld-linux.so.2: bad ELF interpreter: No such file or directory
- 路透社采访拉里埃里森收购Sun公司的全文:第一部分
- 友盟------微信分享圆角图片有黑色背景 最终解决方案!!!
- laravel 项目实现邮箱验证功能
- Linux--网络服务器配置步骤详情【1】
- 无人机驾驶员培训学习记录(二)
- 长沙学院计算机科学与技术排名,长沙学院计算机科学与技术系
- 关于“幽灵架构”的补充说明4:协议的应用场景与局限性