（第二课：数学基础）

1.逻辑基础

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

2.命题逻辑 Propositional logic:

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

2.1 语法 The syntax

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

2.2 证明系统 The proof system

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

Nature deduction

• 断言 Judgment：Γ⊢