布尔代数 [计算机数学专题(8)]

最新推荐文章于 2024-09-15 00:14:27 发布

Debroon

最新推荐文章于 2024-09-15 00:14:27 发布

阅读量3k

点赞数 5

分类专栏：计算数学

本文链接：https://blog.csdn.net/qq_41739364/article/details/90231035

版权

计算数学专栏收录该内容

13 篇文章

订阅专栏

简介

布尔代数又称逻辑代数，是与计算机最紧密的一个数学分支。

布尔代数建立于俩个逻辑值和三个运算符，是计算机二进制、开关逻辑元件、逻辑电路的设计基础。

俩个逻辑值：真、假，(1、0)。

三个运算符：与、或、非，( $\wedge ~\vee$ $\lnot$ )。

历史

1847年，英国数学家乔治·布尔发表著作《The Mathematical Analysis of Logic》，建立布尔代数。

1815年，乔治出身家境贫寒(皮匠)，读书也是一件困难事。

20岁时，对数学产生浓厚的兴趣。

广泛涉猎了许许多多的数学家著作，并留下了大量的推导笔记。

后完成了前辈莱布尼茨的工作，设计一种用于逻辑推导的专用语言，使用这种语言可以只凭计算得到当下哪怕是最复杂的真理。

这门语言借助于符号和规定的语法来引导计算，每个符号代表一个简单的概念，通过组合各种符号表达复杂的思想或环境。

1855年，布尔与皇后学院一位希腊文教授的女儿新婚。

曾经编写的微积分方程、差分方程课本，一直流行于英国19世纪?️期。

1864年，因暴风雨坚持上课后死于肺炎。

命题

命题：基本成分是具有真、假意义(也叫真值)的，且具有或必将具有确定真、假意义的陈述句。

真、假意义：0/1、真\假、True\False。

一个命题(满足条件的简单陈述句)被称为 "原子命题"。

e.g. 明天会下雨。

几个原子命题通过逻辑联词组合在一起的命题被称为 "复合命题"，或原子命题的否定。

举一些语句，判断是否是命题。

1+10=11。
宇宙中除了地球，还有生命存在。
我正在说谎。

1、2 是命题，3 是悖论。

1 ：在 2 进制中是真命题，其余进制是假命题，总之是命题。

2 ：虽然现在还不知道，但到未来的某个时间一定会弄清楚满足命题必将具有的性质所以也是命题。

3 ：这个命题记为 A，A为真且仅当A假，所以A即是真又是假。不满足亚里士多德提出的命题非真即假的定义，所以A是悖论。

逻辑联词

构建复合命题。

计算机里面常用的3个，(一假必假)与、(一真必真)或、(取反)非，等同逻辑的合取 $\land$ 、析取 $\lor$ 、否定 $\lnot$ 。

以及条件 $\to$ ，P $\to$ Q，读：若 (命题)P 则 (命题)Q，P称前件，Q称后件；

双条件 $\leftrightarrow$ ，P $\leftrightarrow$ Q，读：P 当且仅当 Q。若 P $\leftrightarrow$ Q 取真，则 P 与 Q取相同的真值(真值：真或假)。

运算定律

凭计算得到当下哪怕是最复杂的真理。

运算定律，共 12 个，其组成的等式叫基本等价式。

对合律 $\lnot$ ( $\lnot$ p) = p
幂等律 p $\land$ p = p 、 p $\lor$ p = p
结合律 (p $\land$ q) $\land$ r = p $\land$ (q $\land$ r) 、 (p $\lor$ q) $\lor$ r = p $\lor$ (q $\lor$ r)
交换律 p $\land$ q = q $\land$ p 、 p $\lor$ q = q $\lor$ p
分配律 p $\land$ (q $\lor$ r) = (p $\land$ q) $\lor$ (p $\land$ r) 、p $\lor$ (q $\land$ r) = (p $\lor$ q) $\land$ (p $\lor$ r)
吸收律 p $\land$ (p $\lor$ q) = p、p $\lor$ (p $\land$ q) = p
反演律 $\lnot$ (p $\land$ q) = $\lnot$ p $\lor$ $\lnot$ q 、 $\lnot$ (p $\lor$ q) = $\lnot$ p $\land$ $\lnot$ q
壹律 p $\land$ T = p、p $\lor$ F = p
零律 p $\land$ F = F、p $\lor$ T = T
矛盾律 $\lnot$ (p $\land$ $\lnot$ p) = T
排中律 p $\lor$ $\lnot$ p = T
联词转换律 p $\to$ q = $\lnot$ p $\lor$ q 、p $\leftrightarrow$ q = (p $\to$ q) $\land$ (q $\to$ p)

p.s. 一般书写形式 P、Q、R 为大写，但又觉得小写方便阅读所以采用小写。

对合律，如同负负得正，矛盾律说明了一个命题不能即是真又是假，排中律说明了一个命题要么为真要么为假。

基本蕴含式

基本蕴含式是继续逻辑推理，一个最基本的依据也是人们思维推理的一些常用方法。

化简式 P $\land$ Q $\Rightarrow$ P、P $\land$ Q $\Rightarrow$ Q
附加式 P $\Rightarrow$ P $\lor$ Q、Q $\Rightarrow$ P $\lor$ Q
假言推理 P $\land$ (P $\rightarrow$ Q) $\Rightarrow$ Q
拒取式 $\lnot$ Q $\land$ (P $\rightarrow$ Q) $\Rightarrow$ $\lnot$ P
析取三段论 $\lnot$ P $\land$ (P $\lor$ Q) $\Rightarrow$ Q
假言三段论 (P $\to$ Q) $\land$ (Q $\to$ R) $\Rightarrow$ P $\to$ R
二难推论 (P $\lor$ Q) $\land$ (P $\to$ R) $\land$ (Q $\to$ S) $\Rightarrow$ R $\lor$ S
等价三段论 (P $\leftrightarrow$ Q) $\land$ (Q $\leftrightarrow$ R) $\Rightarrow$ (P $\leftrightarrow$ R)
合成式 P，Q $\Rightarrow$ P $\land$ Q（有前提P，Q 可得结论P $\land$ Q）