数理逻辑MOOC+知识点总结(未完无待续)

课程链接：

https://hit.yuketang.cn/pro/lms/8692P7E5cKJ/7204189/video/https://hit.yuketang.cn/pro/lms/8692P7E5cKJ/7204189/video/

第一、二章

见Google文档（我的链接）

https://docs.google.com/document/d/1JgXqkoRA__qhYFyh-dWgKNCK7cDITXMm6ntLjt9JwQE/edit?usp=sharinghttps://docs.google.com/document/d/1JgXqkoRA__qhYFyh-dWgKNCK7cDITXMm6ntLjt9JwQE/edit?usp=sharing  第二章作业: 

•  布尔代数实现了数理逻辑中的：命题演算

• 在关系逻辑方面作出开创性工作的是：德摩根

• 作出经典逻辑命题演算和谓词演算代表性工作的是：罗素和怀特海

 第三章 命题联结词及其基本推理形式

1 复合命题

在语言学中，基本命题和复合命题没有本质的区别，只是层次的区别。

但是在逻辑学中，二者有着本质的区别

因为：作为命题最基本的性质是有真值

就比如："今天要下雨"， 那你要出去看，这仅凭逻辑是得不出来的。逻辑是什么？逻辑是凭推理得到。上面的例子，它没有经过推理，是不知道真假的，因此通过逻辑得不到命题的真假。基本命题的真假是需要靠逻辑之外的常识来判断的。

作为前提的命题，我们是不需要知道它的真假的，但是我们需要你给我一个真假来判断逻辑上的正误。

***复合命题的真值由二者共同确定。

例如：

 例如：今天可能下雨或者不下雨。-> right； 卖矛卖盾 -> wrong。

***互相否定的命题是不可能同时成立的。如：卖矛卖盾

总结：逻辑不能确定基本命题的真假，逻辑参与确定复合命题的真假，对于某些特定结构的复合命题，逻辑可以独立地确定它的真假。

逻辑学研究的不是具体的命题，而是同类的具体命题所具有的共同形式，即命题结构。

知识点总结：
永真式无主合取范式，永假式无主析取范式。