命题逻辑中的语法与语义，可靠性与完备性

命题逻辑中的语法与语义，可靠性与完备性 1导言 初学数理逻辑的时候，一个非常重要的点就是对可靠性与完备性概念的理解，这两个概念极为重要，却又经常让人觉得 难以理解。 说它重要是因为它涉及逻辑系统的基本框架，初学数理逻辑，最重要的倒不在于你有多高超的技巧去推导那些 公式，而在于对一些基本概念的理解和把握，这是思想层面的，如同学习概率论和数理统计不在于记住那几个公式和定理， 而在于获得一些基本的概率和

>>阅读原文<<