基本信息
文件名称：Fudan 数理逻辑 数学 说明书.pdf
文件大小：104.25 KB
总页数：20 页
更新时间：2026-01-22
总字数：约2.87千字
文档摘要
数理逻辑
杨睿之
复旦大学哲学学院
2020年秋季
前情提要
前情提要
我们为联词、公式赋予的语义——布尔函数
{?,∨,∧}是功能完全的
证明：析取范式
推论：{?,∨}、{?,∧}、{?,→}……都是功能完全的
如何证明一组联词不是功能完全的？
前情提要
我们定义了