原创力文档数理逻辑
杨睿之
复旦大学哲学学院
2020年秋季
前情提要
前情提要
我们为联词、公式赋予的语义——布尔函数
{¬,∨,∧}是功能完全的
证明：析取范式
推论：{¬,∨}、{¬,∧}、{¬,→}……都是功能完全的
如何证明一组联词不是功能完全的？
前情提要
我们定义了
您可能关注的文档
- SN品牌英文+中文名称电流测量单元 SN-3002-XDC-LM-N01 用户手册.pdf
- Infineon英飞凌用户手册CCU6用户手册.pdf
- HALL霍尔电流传感器说明书用户手册.pdf
- NENU霍尔效应实验分层次内容体系的构建用户手册.pdf
- JUQUAN PHOTON TECHNOLOGY公司公告说明书用户手册.pdf
- Guangquan钜泉光电科技芯片G3双模通信芯片HT8926、HT3310X、HT32F106用户手册.pdf
- RISC-V瑞芯微嵌入式芯片与系统设计竞赛指南.pdf
- XPYUN芯烨云打印服务开放平台用户手册.pdf
- EMLabel热敏标签打印机EMLabelPrinter用户手册.pdf
- Patriot博帝科技电脑零件内存 固态硬盘 周邊说明书用户手册.pdf
- 2026年全球AI教育市场自适应学习系统与教育大数据分析.docx
- 2026年全球AI教育市场数据驱动决策分析.docx
- 2026年全球AI法律合规性检查技术路线图.docx
- 2026年全球AI法律咨询市场发展机遇与挑战.docx
- 2026年全球AI法律咨询市场合同审查自动化技术政府支持政策.docx
- 智慧农业无人机作物生长监测与病虫害防治信息化平台可行性分析报告.docx
- 2025年生态旅游景区停车场新能源汽车停车需求预测报告.docx
- 2026年全球AI法律咨询市场竞争格局分析.docx
- 2026年全球AI教育市场教师技术应用案例.docx
- 2026年全球AI教育市场教师角色转型与教育创新激励机制研究.docx
最近下载
- (高清版)B-T 6739-2022 色漆和清漆 铅笔法测定漆膜硬度.pdf VIP
- 康玉明-如何撰写国家自然科学基金申课件.ppt VIP
- 在带头固本培元、增强党性等“五个带头”对照检查发言材料2篇范文2026年.docx VIP
- 2025《医疗器械经营质量管理规范》培训课件.docx VIP
- 农产品质量安全检测知识竞赛考试题库资料500题（供参考）.pdf VIP
- 卓梅尼GTEC188 电梯控制系统调试手册v1.4.pdf
- 汽轮机热力性能试验的技术应用.ppt
- 心理痛苦评估表、焦虑、抑郁自评量表、预期性悲伤量表、社会支持评定量表、患者尊严量表.pdf VIP
- 心律失常专题宣讲.ppt VIP
- 网红直播对消费者购买决策行为影响因素研究.docx
文档评论（0）