1. 集合

1.1 引言

集合定义

image.png
image.png
image.png
image.png

集合的表示

image.png

image.png
image.png

集合基数

image.png

1.2 集合间的关系

image.png

image.png
image.png

包含关系

image.png
image.png
image.png
image.png
image.png

1.3 集合的运算

1.4 集合的运算定律

1.5 可数集合与不可数集合

2. 命题

2.1 什么是命题

image.png
image.png
image.png

2.2 命题联结词

在复合命题中，一般是通过联结词和标点符号将简单命题联结成复杂的语句，最常见的联结词主要有以下五种：

或者，并且，不，如果..则..，当且仅当

image.png

否定联结词

合取联结词

析取联结词

蕴含联结词

image.png

等价联结词

2.3 命题符号化

联结词总结

image.png
真值表

image.png

命题联结词的优先级

NOT, AND, OR,
image.png

复合命题符号化

image.png

联结词应用

image.png

image.png

3. 谓词

3.1 谓词的引入

image.png

个体词和谓词

简单命题分解：命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。
image.png
image.png
在原子命题中，可以独立存在的客体（句子中的主语、宾语等）称为个体词。而用来刻画客体的性质或客体之间的关系即是谓词。

个体词

image.png

谓词

image.png

复合命题的谓词符号化

image.png

谓词总结

image.png

3.2 量词的引入

image.png

量词

image.png

更准确的表达

image.png

谓词逻辑符号化的两条规则

image.png

量词相关的真值确定

image.png

谓词翻译和真值

image.png
个体域有限的情况下
image.png

3.3 谓词符号化

image.png
image.png
image.png
image.png
image.png

3.4 谓词公式

四类符号

谓词符号的取值是真值，0或1，真或者假
函数符号的取值是个体域中的个体
image.png

函数符号的必要性

image.png

项

image.png

合式公式

image.png

image.png