基本信息
文件名称：Fudan数理逻辑 数学 数理逻辑-Fudan University 用户手册.pdf
文件大小：120.28 KB
总页数：20 页
更新时间：2026-01-22
总字数：约5.12千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2020年秋季
前情提要
前情提要
命题逻辑的可靠性：对任意公式集Σ，任意公式τ，有
Σ?τ?Σ?τ
命题逻辑的完全性：对任意公式集Σ，任意公式τ，有
Σ?τ?Σ?τ
完全性的一个等价形式：对任意公式集Σ，有