基本信息
文件名称：Fudan数理逻辑 数学教材 数理逻辑 2020秋季版 入门指南.pdf
文件大小：128.91 KB
总页数：30 页
更新时间：2026-01-22
总字数：约7.98千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2020年秋季
前情提要
前情提要
一阶逻辑希尔伯特公理系统
1对应的命题逻辑公式αP是重言式的一阶逻辑公式α
2?xα→αx，其中项t可以在α中替代x
t
3?x(α→β)→(?xα→?xβ)
4α→?xα，其中x不在