内容推荐
《现代形式逻辑入门:中文、英文》由王寅著
目录
第一章经典形式逻辑简介
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版新世纪会计学专业精品教材)
- 分类作文技法现查现用
- 建筑构造与识图(第2版高职高专土建类工学结合十三五规划教材)
- 中华古诗文萃(诗经卷)(精)
- 作战仿真数据工程(国防信息类专业规划教材)
- 小学生校园足球教案(5年级)
- 小学生清单习作(1\2年级同步新教材)
- 生命科学导论(全国普通高等院校生命科学类十二五规划教材)
- 数据库原理与应用实践教程(普通高等院校计算机类专业精品教材)
- 远离伤害致残/残疾预防核心知识系列丛书
- 语文(1上与统编本新教材配套使用)/同步口语交际
- 线性代数(上海理工大学精品本科系列教材)
- 纪念张忠培先生文集(怀念卷)(精)
- 生物科技医学与法律(英文版)
- 笑语嫣然
- 实相般若
- 数据库程序员面试笔试宝典
- 土木工程专业英语教程(21世纪高等学校专业英语系列规划教材)
- 数独游戏
- 宏观经济学习题集(普通高等教育十二五规划教材)
- 细胞生物学(全国普通高等院校生命科学类十二五规划教材)
- 写好规范字培训教程(2基础B班常用部首)
- GoodLuck年会抽奖工具
- Texshop For Mac
- 翱奔汽车配置查询软件
- html转换jsp工具(java版)
- 7thShare GIF Screen Recorder
- 7thShare GIF Splitter
- Coolmuster PDF Image Extractor
- waltr 2 windows
- Inviska ASS Stripper
- AirMyPC
- 刃战士
- 魔与道OL
- 拳击之王
- 嘟嘟鸟：威尔伯欢乐之旅
- 儿童教育学数学
- 第九大陆
- 功夫猪
- 疯狂猜车标
- 闪击骑士团
- 3D重卡归来
- 妻子回来了
- 我的青春谁做主
- 书剑恩仇录
- 爱情公寓
- 明星危情
- 刁蛮新娘
- 川西大决战
- 生活大爆炸 第三季
- 战神韩信
- 小城大爱