基本信息
文件名称：数理逻辑说明书用户手册.pdf
文件大小：129.2 KB
总页数：17 页
更新时间：2026-02-04
总字数：约4.29千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2020年秋季
前情提要
自然数上的归纳法与递归定义
函数
枚举与集合大小
命题逻辑
命题逻辑
回顾：我们之前假设，如果能谈论命题A和命题B的真假，
我们应该也能谈论命题“并非A”和“A并且B”的真假。
命题联词可以连接较简单的命题形成