数理逻辑蕴含_数理逻辑 脉络梳理

逻辑学

是一门研究思维形式及思维规律的科学。

逻辑规律就是客观事物在人的主观意识中的反应。

逻辑学分类

辩证逻辑

形式逻辑

思维的形式结构

概念 —— 是思维的基本单位

判断 —— 通过概念对事物是否具有某种属性进行肯定或者否定的回答

推理 —— 由一个或几个判断推出另一判断的思维形式

逻辑学是研究推理的学科

三段论

大前提 + 小前提 -> 结论

形式逻辑->数理逻辑

研究推理的数学分支

用数学的方法来研究推理的规律

利用计算的方法来代替人们思维中的逻辑推理过程

数理逻辑又称为符号逻辑，引入一套符号体系来研究逻辑

其实可以将数理逻辑理解为数学家定义的一套运算法则，并在其上建立了理论的大厦，就像物理定律，准确性有待验证。

在这里不得不提一下排中律，有些人并不赞同排中律，认为除了1或0，逻辑上可能还有其他可能。但是这是逻辑学的基石之一，类似于公理，无法证明，所以不妨将逻辑学理解为建立在一类特殊运算法则上的一套理论。

命题及其表示

推理的前提和结论都是表达判断的陈述句，因而因而表达判断的陈述句是构成了推理的基本单位。

命题：能够判断真假的陈述句

命题的真值：判断的结果

真值的取值：真(T 或 1 )，假( F 或 0 )

所以，命题是具有唯一真值的陈述句。

判断命题

是否为陈述句

是否具有确定的、唯一的真值。(悖论不是命题！因为悖论没有真值)

有点特殊的例子：

我明天能去看电影。／别的星球上有生物。 　 ——命题，虽然真值现在还不知道，但是唯一确定的。

x = 2　　　　——不是命题，因为真值未知。

具有确定的真值　是指客观上具有，与我们是否知道是两回事。

命题变元不是命题。

复合命题是由简单命题通过联结词联结而成的命题，联结词就是复合命题中的运算符。

联结词

优先级： 否定、合取、析取、条件、双条件。(从右到左优先级减小)

命题合式公式

合式公式是用归纳法定义的。

复合命题的符号化

步骤：

抽象：分析出简单命题，舍弃对逻辑推理无用的元素，只注重真值

使用合适的联结词，组成复合命题

除非、仅当：看做 -> 蕴含符号，紧接着后面的放在蕴含符号后面，然后依照逻辑写出前面的表达式。

否则：等于否定前面的命题，得出后面的结论。

命题

符号化除非你努力(P)，否则你将失败(Q)。

非Q->P

仅当你走(P)，我将留下(Q)。

Q->P

我们应该努力学习(P)，否则会挂科(Q)。

非P->Q

真值表

将命题公式A在所有赋值下取值的情况列成表，称作A的真值表。

n 个命题变元共 2^n 组赋值方式。

公式等价

给定两个命题公式A和B，设P1, P2, …, Pn为所有出现于A和B中的原子变元，若给P1, P2, …, Pn任一组真值指派，A和B的真值都相同，则称A和B是等价的或逻辑相等。

注意这不是逻辑联结词。

证明公式等价

真值表法：列出真值表，相同则证明。

等值演算法：原理为置换规则

重言式与矛盾式

重言式：无论对分量做怎样的指派，其对应的真值永为T，又称永真公式

矛盾式：无论对分量做怎样的指派，其对应的真值永为F，又称永假公式

可满足式：不是矛盾式的命题公式。显然重言式一定是可满足式，反之不一定正确

永真蕴含式

当且仅当P->Q是一个重言式时，我们称“P永真蕴含Q”

证明方法：

真值表法

等值演算法，通过证明P->Q永真

分析法

a. 直接分析法：假定前件为真，推出后件为真

b. 间接分析法：假定后件为假，推出前件为假