秃头队长

第二课：数学基础1.逻辑基础命题逻辑 + 谓词逻辑变体：经典逻辑、构造逻辑。2.命题逻辑 Propositional logic:每个形式系统应当包括语法+语义2.1 语法 The syntaxP⋁PP \bigvee PP⋁P ：析取P⋀PP \bigwedge PP⋀P：合取P→PP \to PP→P：蕴含2.2 证明系统 The proof system数学上：Hibert系统，构造性，没有规律可言。CS上：自然演绎系统，具有机械化步骤，即算法。Nature deduc

Mac环境下自带python2.7版本，安装Z3直接使用pip install z3-solver如果已经成功安装Z3后想在python3.7版本下使用Z3如果直接使用命令python2.7 -m pip install z3-solver会出现错误，缺少py文件。NameError: name 'Implies' is not defined只需要将python2.7下的 sit...