自然演绎逻辑导论(修订)

定　　价：45 元

• 作者：陈晓平　著
• 出版时间：2013/8/1
• ISBN：9787306026781
• 出 版 社：中山大学出版社

• 中图法分类：B812.23 
• 页码：297
• 纸张：胶版纸
• 版次：2
• 开本：16开

内容简介

　　《自然演绎逻辑导论（修订）/普通高等教育“十一五”国家级规划教材》主要阐述了自然演绎系统的各个逻辑分支，即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读本书，不要求读者预先具备任何逻辑基础知识，因此，本书不仅适用于大学文科学生的逻辑导论课教材，也适合于广大读者自学。

目 录

第三版 前言
第二版 前言 关于自然演绎逻辑系统
第一版 前言
第一章 绪论
第二章 命题逻辑：符号化和真值表
第三章 命题逻辑：推演
第四章 三段论逻辑
第五章 谓词逻辑：基本概念和符号化
第六章 谓词逻辑：解释与推演
第七章 模态逻辑
第八章 命题逻辑的元理论
主要参考文献

文 摘

    第二章  命题逻辑：符号化和真值表
    2．1一些基本概念
  　2．1．1  真值函项复合命题和真值函项联结词
　 命题逻辑是演绎逻辑的一个分支。在命题逻辑中所研究的推论只涉及简单命题或复合命题之间的逻辑关系，而不涉及构成命题的词项之间的逻辑关系。也就是说，命题逻辑是以命题为最小单位的。
　 复合命题是相对于简单命题而言的。简单命题就是不包含其他命题的命题。复合命题就是包含其他命题的命题。例如，“罗素是一位哲学家”，这个命题不包含其他命题，因此它是一个简单命题。而“罗素是一个哲学家并且罗素是一个数学家”，就是一个复合命题。因为它是以“罗素是一个哲学家”和“罗素是一个数学家”这两个简单命题为其组成部分的。一个复合命题所包含的其他命题叫做“复合命题的支命题”。上面那两个简单命题就是那个复合命题的支命题。在一个复合命题中，把各个支命题联结起来的那个词项叫做“联结词”。上面那个复合命题中的“并且”就是一个联结词。常用的联结词还有“或者”、“如果…那么…”、“当且仅当”等。
　 任何复合命题都是由简单命题通过联结词组合而成的。在日常语言中，联结词的用法是多种多样的。但是，在命题逻辑中，我们感兴趣的仅仅是联结词的真值函项的用法。被真值函项地使用的联结词，使得由它构成的复合命题的真值是它的支命题的真值的一个函项。这也就是说，一个联结词被真值函项地使用，当且仅当，由该联结词构成的复合命题的真值完全地决定于它的支命题的真值。
　……