内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
002第一节形式逻辑之初衷
011第二节工具论
018第三节四种判断之间的关系
第二章现代形式逻辑简介
026第一节简史
040第二节弗雷格的批判
049第三节数理逻辑的哲学意义
第三章谓词演算
056第一节从函数到谓词演算
058第二节个体词(个体常项、专指语)
061第三节量词
071第四节谓词常项与变项
074第五节谓词演算的公理和定理
075第六节小结
……
- 勘察设计注册土木工程师<道路工程>测试问答
- 色生活(最有魅力的色彩搭配常识)
- 中国字(书写汉德版对外汉语教材)
- 一个女人的成长(2在爱中成长)
- 金银岛/世界少年文学经典文库
- 心灵鸡汤枕边书
- 破解富饶的贫困悖论--煤炭资源开发与欠发达地区发展研究
- 国际刑法学原理
- 岳飞传/世界少年文学经典文库
- CEO接班方略(寻找具有外部眼光的内部人)
- 风险智慧(学会管理未知项)
- 成交只是起点(为顺利履行合同而谈判)
- 元明清华北西北水利三论/北京师范大学史学文库
- 唐诗心语--由唐诗谈心理健康(插图本)
- 普通法的诉讼形式/法学文库
- 格列佛游记/世界少年文学经典文库
- 伊索寓言/世界少年文学经典文库
- 苔丝/世界少年文学经典文库
- 俄罗斯名家童话/世界少年文学经典文库
- 西安鼓乐(西安鼓乐古曲谱集四调八拍坐乐全套)
- 靠自己去成功全集(经典珍藏版)
- 契诃夫短篇小说精选/世界少年文学经典文库
- 汉语能力考试考前点津(适用于各类汉语水平考试)
- 预算会计(普通高等教育十一五财政与税收专业规划教材)
- 电子材料与器件原理(上理论篇第3版国外名校最新教材精选)
- 快云服务器管理小助手 v3.0
- 重庆热线校园频道(NetKeeper) v1.2
- 雨田静态分析系统 v1.5.0
- 神隐仿站助手 v1.5
- DLL Export Viewer v1.66
- 雨田单元测试系统 v2.2.2
- 易语言EIDEA助手 v1.1.8
- Easy Web Editor 2016.40.1.411
- 我爱学习 v1.0
- 猛犸代码助手 v3.9
- 英灵神殿自动门MOD v0.2.0
- 赛博朋克2077照明光源手电筒MOD v2.2
- 模拟人生4女性的三色毛衣MOD v1.0
- 英灵神殿建筑无水磨损MOD v1.1
- 英灵神殿制作台无限制MOD v1.86
- 模拟人生4荆棘纹身MOD v1.0
- 模拟人生4可爱彩虹小马连衣裙MOD v1.0
- 英灵神殿植物生长进度显示MOD v1.4.0
- 鬼谷八荒休闲红唇印花衫姐立绘MOD v1.61
- 英灵神殿弓箭耐久消耗降低MOD v1.0
- inhibit
- inhibited
- inhibition
- in-home
- inhospitable
- in-house
- inhuman
- inhumane
- inhumanity
- inimical
- [BT下载][青春王室 第二季][全6集][WEB-MP4/8.11G][简繁英字幕][1080P][杜比视界版本][H265][Netflix][Xiaomi 剧集 2022 其它 剧情 打包
- [BT下载][青春王室 第二季][全6集][WEB-MKV/7.04G][简繁英字幕][1080P][HDR][H265][Netflix][Xiaomi] 剧集 2022 其它 剧情 打包
- [BT下载][青春王室 第二季][全6集][WEB-MKV/6.34G][简繁英字幕][1080P][Netflix][Xiaomi] 剧集 2022 其它 剧情 打包
- [BT下载][不期而至][第01-11集][WEB-MP4/2.95G][国语配音/中文字幕][1080P][SeeWEB] 剧集 2022 大陆 爱情 连载
- [BT下载][不期而至][第01-11集][WEB-MP4/13.42G][国语配音/中文字幕][4K-2160P][H265][SeeWEB] 剧集 2022 大陆 爱情 连载
- [BT下载][点燃我，温暖你][第07集][WEB-MP4/0.37G][国语配音/中文字幕][1080P][SeeWEB] 剧集 2022 大陆 剧情 连载
- [BT下载][点燃我，温暖你][第07集][WEB-MP4/1.21G][国语配音/中文字幕][4K-2160P][H265][SeeWEB] 剧集 2022 大陆 剧情 连载
- [BT下载][追光者][第31-32集][WEB-MP4/1.29G][国语配音/中文字幕][1080P][SeeWEB] 剧集 2022 大陆 剧情 连载
- [BT下载][修女战士 Warrior Nun 第一季][全10集][英语中字][MP4/MKV][720P/1080P][多版] 剧集 2020 美国 奇幻 全集
- [BT下载][年轻的教宗/年轻的教皇 The Young Pope 第一季][全10集][英语中字][BD-MKV][1080P][BD+中文字幕] 剧集 2016 美国 剧情 打包
- wps文件中快速插入flash动画的详细步骤
- 微软 Windows Terminal Preview 1.2 正式发布
- .NET 5.0 Preview 7 发布
- Adobe 发布Photoshop紧急修复补丁
- PPT绘制好看的时间轴的具体操作介绍
- 梦幻联动：特斯拉 Model 3 与 Model X“登陆”《和平精英》
- Epic 本周喜加二：《下一个英雄》和《塔科马》
- Android Studio打开DDMS的操作步骤
- Axure制作渐变线条的详细步骤
- Axure调整图层间的顺序的操作流程