复习 构造逻辑的过程: 命题演算推理形式系统P(和N)一语法. ●语法的核心是推理:}a? P是符号演算。 公式的含义:真、假、永真等一语义 ●语义的核心是公式的永真性. 逻辑=语法+语义✓ • P( N) — . • : ` α? • P ✔ • : ✕✕— . • . • = + . 1