数理逻辑

All posts tagged 数理逻辑

前几个月在互联网上有个话题,是问为什么中国学校教育中不设计逻辑学这门课程。我自己回想了一下,其实并不能说没有。至少就从我在上海接受基础教育 + 高中教育(大学的就不说了)来看,并不能说没有逻辑相关的教育内容。

我回想起了我接受过 3 种形式的逻辑知识的教育。

第一种是数学,我记得是在高中学习集合论的前后吧,会有一些数理逻辑概念的内容。比如集合的从属关系、包括关系,还有真命题、否命题、逆命题等等概念,我记得有个逻辑概念是:一个命题的真值恒等于其逆否命题——即「如果 A,则 B 。」等价于「如果非 B ,则非 A 。」此外我记得还一些拗口的条件术语,比如「当且仅当」。

继续阅读