基本信息
文件名称：数理逻辑数理逻辑教材2021年秋季入门指南.pdf
文件大小：123.24 KB
总页数：20 页
更新时间：2026-01-22
总字数：约4.06千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2021年秋季
前情提要
枚举与集合大小
命题逻辑的语言
符号
合式公式的递归定义
前情提要
命题逻辑语言的符号
无穷可枚举多个命题符号：A,A,A,...