基本信息
文件名称：FudanUniversity 数学教材 用户手册.pdf
文件大小：95.65 KB
总页数：17 页
更新时间：2026-01-22
总字数：约2.98千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2021年秋季
前情提要
命题逻辑公理系统的一些元定理
命题语言的语义
真值指派
真值表（布尔函数）
命题联词
定理
对任意n元布尔函数G:{0,1}n→{0,1}（n≥1