图书标准信息
-
作者
李盘林 编著
-
出版社
高等教育出版社
-
出版时间
1999
-
ISBN
9787040069914
-
定价
23.40元
-
装帧
线装
-
开本
23cm
-
页数
343页
-
正文语种
简体中文
- 【目录】
-
*
*篇数理逻辑
*章 命题逻辑
1.1 命题与联结词
1.2 命题公式、翻译和真值表
1.3 公式分类与等价公式
1.4 对偶式与蕴涵式
1.5 联结词的扩充与功能完全组
1.6 公式标准型--范式
1.7 公式的主范式
1.8 命题逻辑的推理理论
习题
第二章 清词逻辑
2.1 中基本概念与表示
2.2 谓词公式与翻译
2.3 约束变元与自由变元
2.4 的解释与其赋值
2.5 真与逻辑有效
2,6 中的等价公式
2.7 变换规则
2.8 的蕴涵式
以下为对购买帮助不大的评价