命题逻辑

• 主要研究内容：推理
• 主要研究方法：数学的方法

引进一套符号体系的方法，所以数理逻辑又叫符号逻辑

算法 = 逻辑 + 控制

命题

命题联结词

$$\begin{array}{rl}设：& A:=理论能说服人\\ & B:=理论彻底\\ & C:=掌握群众\\ 有：& (A\to C)\wedge (B\to C)\end{array}$$

命题公式

公式的标准型：范式

命题逻辑的推理理论