0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 自然科学总论 > 科技哲学 > 符号逻辑：语法、语义和证明

相同语种的商品

销售排行榜

浏览历史

符号逻辑：语法、语义和证明


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
符号逻辑：语法、语义和证明
  • 书号：9787030480392
    作者：（美）安格勒（Agler,D.W.）
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：352
    字数：500
    语种：zh-Hans
  • 出版社：
    出版时间：2016-07-12
  • 所属分类：
  • 定价： ￥99.00元
    售价： ￥78.21元
  • 图书介质:
    纸质书

  • 购买数量： 件  可供
  • 商品总价：

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题，命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言并不能完全充分表达所有有效论证和语义关系，谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性，真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录
    丛书序i
    致谢ix
    导言1
    0.1什么是符号逻辑学？1
    0.2为什么学习逻辑学？1
    0.3如何学习逻辑学？2
    0.4本书结构如何编排？2
    第1章 命题、论证和逻辑属性3
    1.1命题3
    1.2论证5
    1.3演绎有效论证10
    1.4总结15
    第2章 语言、句法和语义学19
    2.1真值函数19
    2.2PL符号和真值函数算子22
    2.3PL句法30
    2.4析取、蕴涵、等值蕴涵37
    2.5高级转换43
    第3章 真值表54
    3.1赋值（真值赋值）54
    3.2命题的真值表57
    3.3命题真值表分析64
    3.4命题集的真值表分析68
    3.5蕴涵条件解释72
    3.6论证真值表分析75
    3.7无效短真值表测试77
    第4章 真值树84
    4.1真值树的建构和解构84
    4.2真值树解构规则89
    4.3剩余解构规则102
    4.4基本策略109
    4.5真值树走查115
    4.6真值树的逻辑性质118
    第5章 命题逻辑推导140
    5.1证明的建构140
    5.2前提和目标命题141
    5.3Intelim推导规则142
    5.4证明的策略169
    5.5附加推导规则（PD+）182
    5.6额外推导策略189
    第6章 谓词语言、句法和语义学218
    6.1谓词逻辑的表达能力218
    6.2RL语言218
    6.3RL句法225
    6.4谓词语义学232
    6.5从句子到谓词逻辑的翻译238
    6.6混合和重复量词244
    第7章 谓词逻辑树249
    7.1四个新的解构规则249
    7.2解构树的策略255
    7.3逻辑性质258
    7.4不可判定性和谓词树方法的局限性280
    第8章 谓词逻辑推导288
    8.1四个量词规则288
    8.2量词否定（QN）308
    8.3样例说明310
    附录319
    命题逻辑319
    谓词逻辑323
    补充书目325
    逻辑哲学和哲学逻辑325
    模态逻辑325
    非经典逻辑、推演逻辑和自由逻辑326
    非推演逻辑327
    高阶逻辑327
    逻辑学的历史327
    逻辑学与替代符号328
    人名与名词（英汉对照）329
    作者简介333
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com