【记录】离散数学知识点总结

---

https://blog.csdn.net/qq_43763494/article/details/103759323----【Mark】离散数学仍需记点

---

记录

离散数学练习题

第一章 命题逻辑

1.1 命题符号化及联接词

1.命题就是能判断真假的陈述句。
命题变项不是命题(含有未知数的，真值不确定)。悖论不是命题。

2.设p、q为两命题：
“非p”(或p的否定)称为p的否定式。记作﹁p，﹁为否定联结词。
“p并且q”(或p和q)称作p与q的合取式，记作p∧q，∧为合取联结词。
“p或q”称作p与q的析取式，记作p∨q，∨为析取联结词。
“如果p，则q”称作p与q的蕴涵式，记作p→q，称p为蕴涵式的前件，q为蕴涵式的后件。
→称作蕴涵联结词。p→q为假当且仅当p为真且q为假。(小范围→大范围)
“p当且仅当q”称作p与q的等价式，记作p↔q，↔称作等价联结词。
优先级顺序为﹁、∧、∨、→、↔。

3.“或”分为相容或和排斥或，排斥或一般不能用析取表示(当p、q不同时为1时可以表示)。

4.在数理逻辑中p→q中的p与q不一定有什么内在联系。