文章目录 2 命题逻辑：语法2.1 形式系统形式系统形式证明演绎定理形式系统的性质一致、平凡、单调极大一致 勘误集ml-2_1.pdf 2 命题逻辑：语法 2.1 形式系统 形式系统 Q: 如何理解“形式（演绎）系统中有关符号的一切行为和性质不依赖符号特定的意义和具体的性质”？用常微分方程的形式幂级数解举例阐述。 A: 提示：形式上规定针对幂级数可以逐项求微分或积分，而

什么是SAT问题 所谓SAT问题就是可实现性问题(Erfuellbarkeitsproblem)。即已知一个Formel F ∈For0 \in For0，问是否存在一个解释(Interpretation) I 使得 valI(F)=T val_I (F)=T 同时SAT问题也是一个NP完备性问题。也就是说假如存在一个确定的在多项式时间内完成的用于判定一个Formel是否可实现的的算法，那么同