【形式化方法】Basic Propositional Logic 基本命题逻辑z3