基本信息
文件名称：MathLogic数理逻辑品类信息型号信息说明书用户手册.pdf
文件大小：114.51 KB
总页数：24 页
更新时间：2026-01-22
总字数：约7.77千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2020年秋季
一阶逻辑的语言
符号：
逻辑符号
括号：(,)
命题联词：?,→
量词：?
变元：v,v,...
12
一阶逻