2020形式化方法复习总结

第二课：数学基础 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 sys

>>阅读原文<<