离散数学复习本系列文章为作者复习离散数学过程中的知识点总结、速通,欢迎补充 written by SJTU-XHW Reference: 清华大学出版社《数理逻辑与集合论(第二版)》《图论与代数结构》 提示:大段文字阅读,点击右侧齿轮图标,进入阅读模式体验更佳 ~ Chapter 1 命题逻辑1.1 重要概念汇总 命题的定义:能判断真假的陈述句;(真假性:命题的值) 命题分类:原子命题、复合命题(成分命题 + 联结词) 真值联结词:非(否定式)、且(合取式)、或(析取式)、如果则(蕴含式)、等价(等值式); 命题变元:以真假为变域的变元; 真值函数:以真假为定义域、真假为值域的函数; 命题演算公式的定义:(通俗)由命题变元利用真值联结词构成的式子; 命题变元是、公式的否定式是、两个公式的合取、析取式是;仅限于此; 变元组:n元公式 α 含有不同命题变元 p1、p2、……、pn,称(p1, p2, …, pn)为 α 的变元组; 完全指派:变元组任一组确定值都称为 α 关于这个变元组的一个...