在好例子网,分享、交流、成长!
您当前所在位置:首页Others 开发实例一般编程问题 → propositional and predicate calculus:a model of argument.pdf

propositional and predicate calculus:a model of argument.pdf

一般编程问题

下载此实例
  • 开发语言:Others
  • 实例大小:4.38M
  • 下载次数:2
  • 浏览次数:35
  • 发布时间:2021-01-13
  • 实例类别:一般编程问题
  • 发 布 人:alaolao
  • 文件格式:.pdf
  • 所需积分:2
 相关标签: and POS en Pr IC

实例介绍

【实例简介】

【实例截图】

from clipboard

【核心代码】


CONTENTS
1 Introduction 1
1.1 Outline of the book 1
1.2 Assumed knowledge 6
2 Propositions and truth assignments 17
2.1 Introduction 17
2.2 The construction of propositional formulas 19
2.3 The interpretation of propositional formulas 31
2.4 Logical equivalence 48
2.5 The expressive power of connectives 63
2.6 Logical consequence 74
3 Formal propositional calculus 85
3.1 Introduction 85
3.2 A formal system for propositional calculus 87
3.3 Soundness and completeness 100
3.4 Independence of axioms and alternative systems 119
4 Predicates and models 133
4.1 Introduction: basic ideas 133
4.2 First-order languages and their interpretation 140
4.3 Universally valid formulas and logical equivalence 163
4.4 Some axiom systems and their consequences 185
4.5 Substructures and Isomorphisms 208
5 Formal predicate calculus 217
5.1 Introduction 217
5.2 A formal system for predicate calculus 221
5.3 The soundness theorem 242
5.4 The equality axioms and non-normal structures 247
5.5 The completeness theorem 252
6 Some uses of compactness 265
6.1 Introduction: the compactness theorem 265
6.2 Finite axiomatizability 266
6.3 Some non-axiomatizable theories 272
6.4 The L¨owenheim–Skolem theorems 277
6.5 New models from old ones 289
6.6 Decidable theories 298
Bibliography 309
Index 311


标签: and POS en Pr IC

实例下载地址

网友评论

发表评论

(您的评论需要经过审核才能显示)

查看所有0条评论>>

小贴士

感谢您为本站写下的评论,您的评论对其它用户来说具有重要的参考价值,所以请认真填写。

  • 类似“顶”、“沙发”之类没有营养的文字,对勤劳贡献的楼主来说是令人沮丧的反馈信息。
  • 相信您也不想看到一排文字/表情墙,所以请不要反馈意义不大的重复字符,也请尽量不要纯表情的回复。
  • 提问之前请再仔细看一遍楼主的说明,或许是您遗漏了。
  • 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦,又没人会搭理,于人于己都无利。

关于好例子网

本站旨在为广大IT学习爱好者提供一个非营利性互相学习交流分享平台。本站所有资源都可以被免费获取学习研究。本站资源来自网友分享,对搜索内容的合法性不具有预见性、识别性、控制性,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,平台无法对用户传输的作品、信息、内容的权属或合法性、安全性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论平台是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二与二十三条之规定,若资源存在侵权或相关问题请联系本站客服人员,点此联系我们。关于更多版权及免责申明参见 版权及免责申明

;
报警