逻辑

命题逻辑、谓词逻辑、模态逻辑、演绎与归纳、悖论、逻辑与计算、非经典逻辑 · 共 8 篇

进阶

悖论

悖论不是文字游戏，它逼着数学重画地基。
进阶

定义与分类

定义是把一个词钉死在某个范围里，分类是把这个范围切成互不重叠的格子。
进阶

非经典逻辑

经典逻辑只管真假两档，未知、模糊与必需要别的系统。
入门

逻辑与计算

把真与假变成 0 和 1，逻辑就变成了可以动手搭的东西。
入门

命题逻辑

命题逻辑只关心真假，把推理算成一张表。
入门

模态逻辑

「必然」与「可能」可以像「非」「且」一样当符号来算。
进阶

谓词逻辑

命题逻辑看整句真假，谓词逻辑把句子拆成零件。
入门

演绎与归纳

演绎从规则推出必然，归纳从例子猜出大概。