（第二课：数学基础）

1.逻辑基础

命题逻辑 + 谓词逻辑
变体：经典逻辑、构造逻辑。

2.命题逻辑 Propositional logic:

每个形式系统应当包括语法+语义

2.1 语法 The syntax

P⋁PP \bigvee PP⋁P ：析取
P⋀PP \bigwedge PP⋀P：合取
P→PP \to PP→P：蕴含

2.2 证明系统 The proof system

数学上：Hibert系统，构造性，没有规律可言。
CS上：自然演绎系统，具有机械化步骤，即算法。

Nature deduction