登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 古代以色列人及其宗教的兴起 》 售價：HK$ 347 《 动物社会的生存哲学 ： 探索冲突、背叛、合作和繁荣的奥秘 》 售價：HK$ 454 《 猫和花草的刺绣 》 售價：HK$ 250 《 《史记·货殖列传新诠》 一篇学问世故、治身治国的文章；一个经济、教育大学者的经世解读；奇伟文章在乱世 》 售價：HK$ 194 《 博物馆里的中国 故宫 》 售價：HK$ 398 《 海洋治理与中国的行动（2024） 》 售價：HK$ 500 《 阿萨姆茶园：一部环境文化史 》 售價：HK$ 500 《 乐道院潍县集中营资料编译·第一辑 》 售價：HK$ 500

內容簡介： 《自然演绎逻辑导论（修订）普通高等教育“十一五”国家级规划教材》主要阐述了自然演绎系统的各个逻辑分支，即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读本书，不要求读者预先具备任何逻辑基础知识，因此，本书不仅适用于大学文科学生的逻辑导论课教材，也适合于广大读者自学。 目錄： 第三版前言 第二版前言关于自然演绎逻辑系统 第一版前言 第一章绪论 第二章命题逻辑：符号化和真值表 第三章命题逻辑：推演 第四章三段论逻辑 第五章谓词逻辑：基本概念和符号化 第六章谓词逻辑：解释与推演 第七章模态逻辑 第八章命题逻辑的元理论 主要参考文献 內容試閱： 第二章 命题逻辑：符号化和真值表 2．1一些基本概念 　2．1．1 真值函项复合命题和真值函项联结词 　 命题逻辑是演绎逻辑的一个分支。在命题逻辑中所研究的推论只涉及简单命题或复合命题之间的逻辑关系，而不涉及构成命题的词项之间的逻辑关系。也就是说，命题逻辑是以命题为最小单位的。 　 复合命题是相对于简单命题而言的。简单命题就是不包含其他命题的命题。复合命题就是包含其他命题的命题。例如，“罗素是一位哲学家”，这个命题不包含其他命题，因此它是一个简单命题。而“罗素是一个哲学家并且罗素是一个数学家”，就是一个复合命题。因为它是以“罗素是一个哲学家”和“罗素是一个数学家”这两个简单命题为其组成部分的。一个复合命题所包含的其他命题叫做“复合命题的支命题”。上面那两个简单命题就是那个复合命题的支命题。在一个复合命题中，把各个支命题联结起来的那个词项叫做“联结词”。上面那个复合命题中的“并且”就是一个联结词。常用的联结词还有“或者”、“如果…那么…”、“当且仅当”等。 　 任何复合命题都是由简单命题通过联结词组合而成的。在日常语言中，联结词的用法是多种多样的。但是，在命题逻辑中，我们感兴趣的仅仅是联结词的真值函项的用法。被真值函项地使用的联结词，使得由它构成的复合命题的真值是它的支命题的真值的一个函项。这也就是说，一个联结词被真值函项地使用，当且仅当，由该联结词构成的复合命题的真值完全地决定于它的支命题的真值。 　……

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.