逻辑、数理逻辑

目录

一，前言

二，逻辑的分类

1，思维三阶段

2，形式逻辑、辩证逻辑、数理逻辑

3，演绎逻辑、归纳逻辑

三，数理逻辑

1，古典逻辑

2，现代逻辑

四，命题逻辑

1，基本概念

2，离散数学笔记

五，谓词逻辑

1，谓词逻辑

2，谓词的合适公式

3，谓词公式的反演和对偶

---

一，前言

罗辑真的太厉害了，他拯救了全人类，可是人类不感谢罗辑。

每次读到这句话，头皮发麻。。。

额，跑题了，本文主要讲逻辑学的整体情况，重点介绍数理逻辑，文中也有一些链接指向其他关于逻辑的内容。

二，逻辑的分类

1，思维三阶段

感性、知性。理性。

2，形式逻辑、辩证逻辑、数理逻辑

逻辑分为形式逻辑、辩证逻辑、数理逻辑。

形式逻辑 研究人的认识知性阶段思维规律的学说，狭义形式逻辑指演绎逻辑，广义形式逻辑包括演绎逻辑和归纳逻辑。

数理逻辑属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。

3，演绎逻辑、归纳逻辑

演绎逻辑是正确的，归纳逻辑可能正确也可能不正确。

日常归纳法很不严谨：我见过100只白羊，没见过黑羊，所以世界上的羊都是白的。

归纳中，数学归纳法是一定正确的，参考数学归纳法，而概率论与数理统计则是统计归纳法，我见过100只白羊，没见过黑羊，所以有一定的概率世界上的羊都是白的。

三，数理逻辑

数理逻辑分为古典逻辑和现代逻辑2个版本。

1，古典逻辑

古典逻辑也可以称为范畴逻辑、词项逻辑，主要研究范畴。

范畴之间有3种典型的关系，分别是“全部包含”、“部分包含”和“全部不包含”。而个例之间有2种关系，也就是“同一”和“不同一”。

工具论的范畴篇也属于古典逻辑。

2，现代逻辑

现代逻辑分为命题逻辑、谓词逻辑、递归论等。

四，命题逻辑

1，基本概念

（1）原子命题、命题常量、命题变量

命题是取值为1或0的一种整数，有常量，也有变量。

原子命题：不包含联结词的命题是原子命题。

（2）联结词

联结词可以分为运算和二元关系。

运算：与，或，非，异或，等等，和计算机中的位运算都是一样的。

二元关系：蕴涵、等价

【蕴涵 → ]，表如果...，则...;只有当前件P的真值为T,后条Q真值为F时，则P->Q的真值为F；

【等价 ↔ ]，表示，当且仅当；

（3）合适公式

合适公式的递归定义：

1）真值T和F是合适公式；

2）原子命题公式是合适公式；

3）如果A是合适公式，那么¬A是合适公式；

4）如果A和B均是合适公式，那么（A^B）,（A∨ B）,（A→B），（A↔B）都是合适公式；

5）当且仅当有限次的应用前4条规则组成的有意义的符号串是合适公式。

2，离散数学笔记

 

五，谓词逻辑

1，谓词逻辑

命题逻辑的最小单位是原子命题，而原子命题可以进一步拆分成主体（客体）和谓词（谓语）。

谓词包括运算、二元关系、量词，量词包括“存在”和“任意”。

例如，今天有雨雪，有人会摔跤，可以表示成：今天有雨，且今天有雪，存在x，x是人，且x会摔跤。

2，谓词的合适公式

谓词逻辑的合适公式的递归定义：
1）原子谓词公式是合适公式；
2）若A是合适公式，则非A 也是合适公式
3）若A和B都是合适公式，则 A且B，A或B，A则B，A等价于B 也都是合适公式；
4）如果A是合适公式，X是任意变元，(任意 x）A(x) 和 (存在x）A(x)  都是合适公式；
5）当且仅当 有限次使用前4条规则组成的公式是合适公式。

3，谓词公式的反演和对偶

 （1）谓词公式的反演

反演变换：若将逻辑函数F表达式中所有的“·”变成“+”，“+”变成“·”，“0”变成“1”，“1”变成“0”，原变量变成反变量，反变量变成原变量，并保持原函数中的运算顺序不变 ，则得到的新的函数。

已知函数，根据反演规则得到的反函数应该是

（2）反演定理

反演得到的为原函数F的反函数，即任意输入下，二者一真一假。

（3）对偶变换

如果将逻辑函数F表达式中所有的“·”变成“+”，“+”变成“·”，“0”变成“1”，“1”变成“0”，并保持原函数中的运算顺序不变，则所得到的新逻辑表达式称为函数f的对偶式，并记为F’。

若，则 F′＝

（4）对偶定理

若两个逻辑函数表达式F和G相等，则其对偶式F′和G′也相等。