首先放出参考书籍
1 离散数学（第二版） 屈婉玲
2 离散数学习题解答与学习指导（第三版）屈婉玲
3 课后习题参考答案
链接：https://pan.baidu.com/s/1YhauUF_esjHSBppnPPoYIw 提取码：auzu 复制这段内容后打开百度网盘手机App，操作更方便哦
[TOC]
命题：非真即假的陈述句称作命题。
真值：作为命题的陈述句所表达的判断结果称为命题的真值，真值只取两个值：真或假。
真命题：真值为真的命题称为真命题。
**假命题：**真值为假的命题称为假命题。
**简单命题（原子命题）：**不能被分解为更简单的命题。
**复合命题：**由简单命题通过联结词联结而成的命题称为复合命题。
定义1.6
自然推理系统
- 个体词 ：研究对象中可以独立存在的具体的或抽象的客体。
- 个体常项：表示具体的或特定的客体的个词称作个体常项，一般用小写字母a,b,c表示。
- 个体变项:表示抽象的或泛指的个体词称作个体变项，常用x,y,z表示。
- 个体域：个体变项的取值范围称为个体域（或称作论域）。
- 全总个体域：有一个特殊的个体域，它由宇宙间一切事物组成，称为全总个体域。
- 谓词常项：表示具体性质或关系的谓词称为谓词常项。
- 谓词变项：表示抽象的或泛指的性质或关系的谓词称为谓词变项。都用大写字母F,G,,H等表示。
- n元谓词：
- 0元谓词：
表示个体常项或变项之间的数量关系的词称为量词。
-
全称量词：
-
存在量词
