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

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

香港／國際用戶

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

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

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 希腊小史 》 售價：NT$ 510.0 《 中国古代的谣言与谶语 》 售價：NT$ 510.0 《 战役图文史：改变世界历史的50场战役 （彩印典藏版） 》 售價：NT$ 666.0 《 寻路：走向西南联大（西南联大文库） 》 售價：NT$ 302.0 《 短视频Vlog全流程：镜头脚本+运镜技巧+场景主题+后期剪辑 》 售價：NT$ 406.0 《 英国小史 》 售價：NT$ 426.0 《 影响力原则 》 售價：NT$ 354.0 《 德川家康（全十三册）（他用30年活了下来，建立起300年基业） 》 售價：NT$ 4155.0

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

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