我想插你，符号逻辑电路图符号大全是什么

来源：蜘蛛抓取(WebSpider) 时间：2018-05-30 20:02 标签： 逻辑符号
《逻辑要义(第2版)》 欧文oMo柯匹 (Irving M.Copi), 卡尔o科恩 (Carl Cohen), 丹尼尔oEo弗莱格 (Daniel E.Flage), 胡泽洪, 赵艺, 等【摘要 书评 试读】图书 iPhone/iPad/Mac Android手机或平板电脑 请输入您的手机号码，获取Kindle阅读软件的下载链接。 通知出版社： 没有Kindle设备？，或者下载免费 。 出版社: 世界图书出版公司北京公司; 第1版 (日) 外文书名:& 平装: 290页 语种： 简体中文 25.8 x 18.4 x 1.8 cm 品牌: 后浪出版公司 ASIN: B00BYNUTB2 亚马逊热销商品排名: 图书商品里排第96,137名 () 名人推荐 中国乃至其他国家的学习者应该对《逻辑要义》的重大价值充满信心。读者能通过学习本书掌握正确推理的原理，没有什么学问比逻辑学更具有实用性和更与所有具体问题相关联的了。——卡尔o科恩，美国密歇根大学逻辑与哲学教授我认为本书的优点主要是例子丰富。其中，有不少是有趣、时新且尖锐的，还有一些具有历史性启发。绝对是一本好书！——诺曼o舒尔茨（Norman Schultz），丹佛大都会州立学院（Metropolitan State College of Denver）欧文o柯匹教授是编撰逻辑教科书的高手，他所编撰的多种逻辑教材风行欧美大学达半个多世纪。与其鸿篇巨制《逻辑学导论》相比，这本《逻辑要义》的篇幅较简短，内容更集中，也更切合实用，是中国读者学习逻辑学不可多得的入门书。热忱推荐！——陈波，北京大学哲学系、外国哲学研究所教授传统逻辑与现代逻辑基本内容兼备，理论与实用兼顾。简明扼要，深入浅出。不失为一本不错的可供作教科书、参考书或自学求知之用的读物。——宋文淦，北京师范大学哲学系教授 与其他买家分享您的想法版本: 平装|已确认购买虽然废话多了些，不过还是值得推荐的。讲的很好。 ||版本: 平装|已确认购买为什么提供的课后习题答案的链接无法显示？ ||版本: 平装|已确认购买狗屎的书质量，皱巴巴，估计都不是新书 ||版本: 平装|已确认购买印刷清晰，连讲带练，真的很好，我都没想到还会有练习题。不过就是答案还得上网找…… ||版本: 平装|已确认购买逻辑学经典教科书，比国内的强多了！ ||版本: 平装|已确认购买都挺好。就是打包时注意一些，书角戳漏了点 ||版本: 平装|已确认购买很不错的书，看了很喜欢！ ||版本: 平装|已确认购买结构清晰，通俗易学！ amazonzhuyonghua 查看产品详情页面完毕后，在此处了解返回您感兴趣的页面的方式。 查看产品详情页面完毕后，在此处了解返回您感兴趣的页面的方式。《符号逻辑讲义》(徐明)【摘要_书评_试读】- 蔚蓝网 共有图书3142010种 该分类热销推荐 您的浏览历史 顾客评分： 已有0人评论 字数：534000&&&&& 页数：581&&&&& 开本：16开&&&&& 包装：平装 《符号逻辑讲义》是当代逻辑入门课程教材，是一阶段逻辑的前部，可以作为教科书或者参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。 《符号逻辑讲义》是当代逻辑入门课程的教材，内容大约是.阶逻辑的前部，可作为教科书或参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生，也可以把它当作课外读物。　　无论在国内还是国外，可用于一阶逻辑课的教材不少，导论性的教材更多；但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容（如完全性定理），其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一，就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材，不能不提一种现象：越来越多的这类教材是由逻辑界之外的人撰写的。有一次，美国哲学界的几位同事谈起部分学生逻辑水平很低，其中一人开玩笑说，那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢？西方人写的逻辑教科书，有的很好，有的也很糟。所以，选用这类教材时要慎重，决不是西方人写的就一定好。　　作为学科和知识体系，当代逻辑并没有理科当代逻辑、上科当代逻辑和文科当代逻辑之分。任何人着想掌握当代逻辑的基础知识，应该学习的决不会比其他学科的人更少。编写《符号逻辑讲义》时，在基本内容的选择上对各学科读者一视同仁，但为了使没经过理论数学的严格训练的人也能学好，在写法上力求从接近直观的东西入手，循序渐进。 第一章　引言1.1 论说1.1.1　论说的好坏1.1.2　论说形式的好坏1.1.3　论说的好坏取决于其形式的好坏1.2　演绎1.2.1　演绎的例子（一）1.2.2　演绎的例子（二）1.2.3　可演绎性、可证性和独立性1.2.4　可演绎性与论说1.3　一致性1.3.1　关于一致性的基本想法1.3.2　不一致命题集的例子1.3.3　一致性、逻辑蕴涵和可演绎性的关系1.4　与逻辑或“逻辑”有关的几个问题1.4.1 “逻辑是什么”不是逻辑问题1.4.2　逻辑与“逻辑”的用法1.4.3　逻辑与“习惯的说理方式”1.4.4　当代逻辑、传统逻辑和“普通人需要的逻辑第一编　命题逻辑第二章　命题连接词与真值表方法2.1　连接词与复合句2.1.1　联结词2.l.2　复合句和简单句2.1.3　复合句的子句2.1.4　主联结词和直接子句2.2　真值函数连接词和非真值函数连接词2.2.1　真值函数联结词2.2.2　非真值函数联结词2.2.3　常用的真值函数联结词符号2.3　符号化2.3.1　哪些联结词对应于哪些联结词符号2.3.2　符号化的基本操作过程2.3.3　几种特殊情况2.3.4　论说的符号化2.3.5　形式2.4　命题逻辑的基本语法2.4.1　形式语言。2.4.2　对象语言和元语言2.4.3　子公式和主联结词2.4.4　括号的省略2.4.5　语法和语义2.5　真值表和真值的计算2.5.1　联结词的语义解释——基本真值表2.5.2　公式真值的计算2.6　若干基本语义概念的真值表刻画2.6.1　重言蕴涵（重言后承）与重言等值．2.6.2　可满足性2.6.3　重言式、矛盾式与或然式2.7　简化真值表方法2.8　习题第三章　命题逻辑的基本概念3.1　对象语言里的符号和公式3.2　真值指派和公式的真值3.3　重言蕴涵、重言等值与可满足性3.4　重言式、矛盾式与或然式3.5　代入3.5.1　关于代入的直观说明3.5.2　代入的定义3.5.3　代入的复合3.6　代入的语义性质3.7　真值指派与真值表3.7.1　真值函数3.7.2　对部分命题变号的赋值3.7.3　基本语义概念的严格定义和真值表刻画的等价性3.8　范式3.8.1　合取范式3.8.2　析取范式3.8.3　范式定理3.9　函数完全性3.9.1　真值函数在形式语言中的表达3.9.2　具有函数完全性的几组真值联结词3.10　习题第二编　命题演算第四章　费奇式推演4.1　推演规则4.1.1　结构规则4.1.2　联结词规则4.2　简单的费奇式推演4.2.1　合取规则应用4 2 2　蕴涵规则应用4.2.3　否定规则应用4 2 4　析取规则应用4.2.5　等值规则应用4.3　有前提和无前提推演4.3.1　无前提推演4.3.2　有前提推演4.4　费奇式推演的简单技巧4.4.1 “小证明”(Mini-proof)4.4.2 “从结论想起”4.4.3　对析取式的特殊处理4.4.4 “结构十小证明”4.4.5 “大结构”4.5　非Itelim规则及其应用4.5.1　推演规则4 5.2　替换规则4.5.3　非Intelim规则的运用4.6　习题第五章　弗雷格-希尔伯特式演算15.1　公理系统Ho5.1.1　Ho的公理5.1.2　Ho的推演规则5.2　Ho中的证明与定理5.3　Ho中的演绎5.4　内定理和元定理5.5　关于可演绎关系的若干简单命题5.5.1　合取和析取的基本性质5.5.2　合取和析取——交换律和结合律5.5.3　合取和析取——分配律5.5.4　否定和蕴涵5.5.5　否定和析取．5.5.6　合取、析取和否定——德摩根律

我要回帖

更多关于 逻辑符号 的文章

 

随机推荐