内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 陪你去留学
- 全球使命(精)
- 理论自信(扎根中国沃土的思维之花)/中国自信理论思考丛书
- 山西/中国旅行指南系列/lonely planet
- 聪明的波莉和大笨狼(注音版)/波莉和狼
- 心血管麻醉与围术期处理
- 中华灯谜史
- 斗破苍穹之大主宰(9典藏版)
- 魔兽剑圣异界纵横(至尊白金版12典藏)
- 警世通言全鉴(典藏诵读版)
- 碑志通论/至元集林
- 聪明的小狐狸/春风注音aoe名家名作
- 重新定义公司(谷歌是如何运营的)(精)
- 大熊的水上野餐/安徒生奖获得者昆廷·布莱克经典绘本
- 中国流行音乐简史/流行音乐教育系列丛书
- 尼日利亚的风俗与文化(精)/非洲译丛
- 极致与从容(精)/大家经典
- 小娇妻(7)
- 一起长大的约定
- 新常态下中国高等农业教育发展战略研究
- 爱因斯坦与柏格森之辩(改变我们时间观念的跨学科交锋)(精)
- 高中生作文十六讲
- 神探鹰之队(共5册)
- 铁角/儿童文学金牌作家书系
- 住在你的世界里/儿童文学淘乐酷
- Abit升技BG7E(PCB:1.0)主板最新BIOS
- Abit升技IS-10(PCB:1.0)主板最新BIOS
- BROTHER兄弟HL-1260打印机驱动
- 兄弟HL-1118打印机固件更新工具
- BROTHER兄弟HL-1250打印机驱动
- Abit升技KV8(PCB:1.0)主板最新BIOS
- Abit升技TH7II/TH7II-RAID(PCB:1.0)主板最新BIOS
- 祥硕SATA 6G控制器驱动
- Abit升技BD7II/BD7II-RAID主板最新BIOS
- Teclast台电银羽系列移动存储驱动
- 通向另一个世界3：阴影中的爱丽丝 英文免安装版
- Mandagon 英文免安装版
- 干扰电波念你的名字 英文免安装版
- 夜魔人 英文免安装版
- XJ-13 简体中文免安装版
- 死亡边缘 英文免安装版
- 植物大战僵尸嫁接版手机正版(策略放置塔防游戏) v1.1安卓版
- 房子装修大师手游(模拟建造类游戏) v5.0 安卓版
- 国王物语 英文镜像版
- 狼奔豕突 简体中文硬盘版
- 武林秘案之美人图鉴
- 今生有你
- 偶然闯入的世界
- 间谍迷城
- 王子变青蛙(泰版)
- 少年如歌
- 百炼成钢
- 你好，对方辩友2
- 情断上海滩
- 大步走