摘要：对于我，阅读这本书的重点不在于某些定理的实用或证明的巧妙，而在于构建一个严谨的体系，来定义概念、证明结论 #数理逻辑基础 ###命题 命题通过关系、性质描述，可以利用表达式和词汇。 利用逻辑连接词构造复合命题：合取，析取，否定，当且仅当 ###蕴含关系 若$X$则$Y$。 称为$X$到$Y$的蕴含关 阅读全文