内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 高二耕耘希望/追梦高中
- 高三收获希望/追梦高中
- 给40岁的崭新开始
- 五天学会绘画(全新扩展版)
- 做了这本书
- 尼克松--白宫最后岁月/瞭望世界书系
- 赵四小姐(战火成全的爱情传奇珍藏版)
- 公鹿的脚印(彩绘版)/西顿动物小说全集
- 少年与山猫(彩绘版)/西顿动物小说全集
- 空间特殊轨道理论与设计方法(精)
- 再见时光里的一瞥惊鸿--民国大家的记忆
- 考神必备的学习秘籍
- 学霸必备的考试秘籍
- 会飞的湖/中国原创科学童话大系
- 两个隐身人/中国原创科学童话大系
- 没有牙齿的大老虎/中国原创科学童话大系
- 多彩植物/赛尔号我的第一套百科漫画书
- 浩瀚宇宙/赛尔号我的第一套百科漫画书
- 神奇动物/赛尔号我的第一套百科漫画书
- 科技与发明/赛尔号我的第一套百科漫画书
- 大拇指的奇遇/中国原创科学童话大系
- 网络空间群体行为规律与政府治理研究
- 根治海河运动口述史/华北学华北自然环境研究丛书
- 毛泽东整党思想研究
- 柯亨历史理论研究/青年学术丛书
- FLAC Converter Pro for MAC
- iJoysoft Audio Converter Pro for Mac
- SignalSuite For Mac
- DVDxDV Pro For Mac
- Pictary For Mac
- Aiseesoft DVD to Creative Zen Suite for Mac
- Blue Cat-s Chorus for Mac RTAS
- Blue Cat-s Chorus for Mac AU
- Blue Cat-s FreqAnalyst For Mac VST
- Library Monkey Pro For Mac
- 文明6十三项修改器(无限核武器/无限资源) v2021.04.28 适用Steam
- 文明6十三项修改器(快速建设/无敌模式) v2021.02.27 适用Epic
- GrMine启动器(我的世界启动软件) v2.7 免费版
- 幸运兔子app for android v1.0.3 安卓版
- 人质大解救 for android v2.0 安卓手机版
- 饥荒近战武器加攻击距离MOD 免费版
- 中心点 for Android v2.0.1 安卓版
- 御姐玫瑰起源十二项修改器(无限生命/金钱不减/全道具) v1.0 免费版
- 颜色忍者 for Android v0.1 安卓版
- 家园攻防战 for Android V189.1.1.3018 安卓手机版
- 将军府来了个小厨娘
- 夫君，请自重
- 大宋少年志2
- 亲爱的她不是孙大圣
- 群星闪耀时
- 我们这十年
- 勇敢的翅膀
- 我的助理不简单
- 中国国宝大会第二季
- 一二三，木头人