简介
本书内容主要包括：逻辑软件简介、命题逻辑、量词逻辑三个部分。其中第一部分还有propositional logic简介、predicate logic简介、tree proof generater简介等内容。
目录
第一部分 逻辑软件简介
第一章 在线逻辑软件简介
第一节 propositional logic简介
第二节 predicate logic简介
第三节 tree proof generater简介
第二章 lpl software简介
第一节 tarski’s world 5．0的命令和操作方法
第二节 tarski’s world 6．5的命令和操作方法
第三节 boole 2．5的命令和操作方法
第四节 fitch 2．5的命令和操作方法
第二部分 命题逻辑
第三章 简单命题
第一节 简单命题
第二节 集论语言和算术语言
第三节 广义的一阶语言
第四节 证明方法
第五节 形式证明方法
练习
第四章 复合命题(一)
……
.第三部分 量词逻辑
参考文献
第一章 在线逻辑软件简介
第一节 propositional logic简介
第二节 predicate logic简介
第三节 tree proof generater简介
第二章 lpl software简介
第一节 tarski’s world 5．0的命令和操作方法
第二节 tarski’s world 6．5的命令和操作方法
第三节 boole 2．5的命令和操作方法
第四节 fitch 2．5的命令和操作方法
第二部分 命题逻辑
第三章 简单命题
第一节 简单命题
第二节 集论语言和算术语言
第三节 广义的一阶语言
第四节 证明方法
第五节 形式证明方法
练习
第四章 复合命题(一)
……
.第三部分 量词逻辑
参考文献
数理逻辑实验教程
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
