原创力文档数理逻辑
杨睿之
复旦大学哲学学院
2020年秋季
前情提要
自然数上的归纳法与递归定义
函数
枚举与集合大小
命题逻辑
命题逻辑
回顾：我们之前假设，如果能谈论命题A和命题B的真假，
我们应该也能谈论命题“并非A”和“A并且B”的真假。
命题联词可以连接较简单的命题形成
您可能关注的文档
- Toyota 丰田 后制动衬片维修手册.pdf
- 柯达 Kodak Capture Pro Software入门指南.pdf
- XFR ROBOT 先飞机器人 头追模块 用户手册.pdf
- 恩利(Enbrel)注射用依那西普 25mg 说明书.pdf
- 舒普深®(SULPERAZON®)注射用头孢哌酮钠舒巴坦钠说明书.pdf
- Joyvio Food佳沃食品三文鱼行业指南2023.pdf
- JOYVIO FOOD佳沃食品三文鱼2022行业指南.pdf
- Water Product Processing Industry 水产品加工行业 136 水产品加工行业系数手册 用户手册.pdf
- Mosheng摩熵化学化学数据库用户手册.pdf
- 计算机组成与系统结构第3版 中央处理器 用户手册.pdf
文档评论（0）