内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 携手推进新时代中阿战略伙伴关系(在中阿合作论坛第八届部长级会议开幕式上的讲话)(阿拉伯文版)
- 2020考研大纲 2020考研数学考试解析配套600题（数学一和数学二适用）
- 2020考研大纲 2020年全国硕士研究生招生考试思想政治理论考试大纲解析
- 2020考研大纲 全国硕士研究生招生考试思想政治理论考试分析（2020年版）
- 2020考研英语二考试大纲
- 建筑师生存手记
- 郑渊洁作品选(英文版)
- 学术启功(精)
- 语文课还可以这样上/梦山书系
- 马克思恩格斯全集(第32卷)(精)
- 誓言(白宫与最高法院)(精)
- 父亲(罗中立传记)(精)
- 勇敢的小狼(共6册)
- 结构文化和能动性--上海外来女工抗逆力研究(基于生活史的一种解读)
- 穿过历史线吃透小古文(3)
- 章鱼有几条腿呢(精)/身边的自然课
- 水獭的家真的在水里吗(精)/身边的自然课
- 治理(中国大课题)(英文版)
- 全国硕士研究生招生考试法律硕士(法学)专业学位联考考试大纲 高教版 2020
- 颜色和形状/德国专注力亲子游戏绘本
- 父与子全集(彩色版)
- 翠鸟的神秘礼物是什么(精)/身边的自然课
- 破云
- 放羊的狐狸大人
- 灵魂追凶(2)
- 列车时刻表火车抢票王
- 铁路网上购票排队提醒器
- 吉普车倒桩移库练习程序
- 凯立德音量调节工具
- 12306铁路买票/订票/自动查票助手
- 易点学车
- 驾校预约软件
- 物讯物流软件
- 大件通
- 酷讯出行必备
- DarkMatterFree
- Micro Racing
- 英国时尚测试
- 篮球主角
- 翻转面板
- 爱心链接
- 人物拼图 No2054
- 方脸消消看
- 的Windows7技巧
- 宠物小精灵记忆性
- 我是特种兵之利刃出鞘
- 密使
- 刺青海娘
- 我的传奇老婆
- 曙光
- 平凡的岁月
- 钻石边缘的珍珠
- 第三医院
- 外滩警事
- 戏里戏外 第二季