内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 旧物回声(记忆中的乡愁)
- 夏天的故事/繁星阅读优秀儿童文学精选
- 元曲三百首/超值全彩国学馆
- R语言统计分析与机器学习(微课视频版)
- 大的小的好的坏的小亲亲(精)/3-6岁表达能力提升绘本
- 赛花大会/熊猫和小鼹鼠我会保护我自己图画故事书
- 土壤多样性及地多样性的研究方法与实践
- 森林运动会/熊猫和小鼹鼠我会保护我自己图画故事书
- 经济新常态下高职院校转型发展研究
- 知识产权前沿问题研究(精)/吴汉东知识产权研究系列/中国当代法学家文库
- 食为天
- 竹林寻宝/熊猫和小鼹鼠我会保护我自己图画故事书
- 中国道路丛书(共8册)(精)
- 不动点与零点的迭代逼近及应用
- 销售铁军(从销售新人到铁军缔造者)
- 压力(评价与应对)/西方心理学大师经典译丛
- 搅拌反应器混沌混合强化技术及应用
- 我是老师你是学生/我+妹妹
- 30天高分学习法(轻松提升成绩的秘籍)
- 大声吼叫的小狮子/小小暖房子小动物学分寸双语绘本
- 从炼爱到结婚(恋爱依眼力好婚姻靠心力)/吴文君亲道系列丛书
- 莫罗博士的岛/乔治·威尔斯科幻小说精选
- 中国近代史/吕思勉历史作品系列
- 点睛之笔(陶文鹏谈词)(精)
- 聪明宝宝入学准备1280字
- 速配歌词 For Winamp 5.07
- LyricFX For Winamp
- 歌词自动化(AutoLyric)
- Winamp歌词：速配歌词 For Winamp 5.05
- DFX 8.501 for RealPlayer_RealOne
- DFX 8.501 for Musicmatch Jukebox
- foobar复读机插件:foo_repeat
- foobar插件:直接音量调节插件
- WINAMP插件：Audio Stream Input Output For Winamp5
- DFX 8.501 for Yahoo!Music Jukebox
- EverSpace
- Gloom
- Exemption
- 眩光(glare)
- 孤岛惊魂5(FarCry5)
- Game Expert
- GAIN
- FuYu
- For The King
- GBR特种突击队
- 大好时光
- 收规华
- 聊斋新编
- 守护家族
- 王大花的革命生涯
- 我爷爷和奶奶的故事
- 他看她的第2眼
- 拜托了, 妈妈
- 嫁个老公过日子
- 大猫儿追爱记