扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
声音简史
-
>
浪漫地理学:追寻崇高景观
命题逻辑基础教程 版权信息
- ISBN:9787569108033
- 条形码:9787569108033 ; 978-7-5691-0803-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
命题逻辑基础教程 内容简介
本书内容包括:引言、命题逻辑的语言和语义、真值树、自然演绎推理系统、命题逻辑的完全性。
命题逻辑基础教程 目录
**章 引言
**节 命题
第二节 论证
第三节 一些逻辑概念
第四节 章节概览
第二章 命题逻辑的语言和语义
**节 语言
第二节 语义
第三章 真值树
**节 真值树及其规则
第二节 真值树的使用
第四章 自然演绎推理系统
**节 通用规则
第二节 条件证明的规则
第三节 分情况证明规则
第四节 反证法的规则
第五章 命题逻辑的完全性
**节 命题逻辑的公理系统
第二节 公理系统的可靠性证明
第三节 公理系统的完全性证明
附录A 真值表
展开全部
书友推荐
- >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥18.6¥58.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥13.9¥21.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.9¥10.0 - >
自卑与超越
自卑与超越
¥17.9¥39.8 - >
莉莉和章鱼
莉莉和章鱼
¥17.6¥42.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥9.9¥24.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥17.6¥32.0
本类畅销
-
普林斯顿微积分读本-(修订版)
¥69.3¥99 -
怎样解题
¥17.2¥29 -
数学-应用与思考
¥16.1¥32.8 -
高等代数思想方法分析及应用研究
¥25.3¥76 -
高等代数典型问题研究与实例探析
¥30.4¥92 -
数字唬人:用常识看穿无所不在的数字陷阱
¥16¥36.8