命题
定义：
1⃣️能够判明真假2⃣️陈述句（满足这两个条件的叫做命题）
原子命题与复合命题
定义：
1⃣️反映了对单一事物的真假判断2⃣️是不能再分解的简单陈述句（原子命题or简单命题）
定义二：
1⃣️具有逻辑连接词，且可以多个组合2⃣️以原子命题为基础（复合命题）
逻辑联结词
-
否定联结词：是一元的联结词，具有最高的优先级。假如有一个命题为P，那么否定通常记为“非P
，或者P的否定。 -
合取联结词
-
析取联结词
-
蕴含联结词
用单箭头作为表示，也称为单条件联结词。
和高中的充分必要差不多。 -
等价联结词（双条件联结词）
一些逻辑等价
命题公式
定义：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。
其中，单个命题变元和命题常元称为原子命题公式，简称原子公式。
而还有一个叫做合式公式（满足以下条件）
- 单个原子公式是合式公式。
- 如果A是合式公式，则非A也是一个合式公式。
- 若A，B是合式公式，那么四种基本逻辑联结词关系也是合式公式。
- 有限次数的使用（1，2，3）生成的公式才是合式公式。
命题符号化
方法：
- 明确给定命题的含义
- 对与复合命题，明确逻辑联结词，用联结词断句，分解出原子命题。
- 设原子命题符号，并用逻辑联结词联结原子命题符号，构成给定命题的符号表达式。