。。。
。。。
10.重言律和等值律
11.*多策略原则
12.解题中的常见错误
本章引入的关键术语
第5章 条件证明和间接证明
1.条件证明
……
第6章 语句逻辑真值树
第二部分 谓词逻辑
第7章 谓词逻辑符号化
第8章 谓词逻辑语义学
第9章 谓词逻辑证明
**0章 关系谓词逻辑
**1章 四个量词规则**形塑的理论说明
**2章 谓词逻辑真值树
**3章 同一性与符号逻辑的哲学问题
第三部分 其他逻辑系统
**4章 三段论逻辑
**5章 非形式谬误
**6章 归纳逻辑
**7章 公理系统
**8章 择代逻辑
部分习题解答
参考文献
特殊符号
索引
译者后记
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 图书大百科 版权所有