登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』自然演绎逻辑导论（修订）

書城自編碼： 2120148
分類：簡體書→大陸圖書→教材→研究生/本科/专科教材
作者： 陈晓平
國際書號(ISBN)： 9787306026781
出版社： 中山大学出版社
出版日期： 2013-08-01
版次： 2 印次： 4
頁數/字數： 297/416000
書度/開本： 16开 釘裝： 平装

售價：HK$ 119.3

我要買 件

share:

** 我創建的書架 **
未登入.

新書推薦：
身体自愈力：解决内在病因的身体智慧指南
《 身体自愈力：解决内在病因的身体智慧指南 》
售價：HK$ 101.2
非言语沟通经典入门：影响人际交往的重要力量（第7版）
《 非言语沟通经典入门：影响人际交往的重要力量（第7版） 》
售價：HK$ 126.4
山西寺观艺术壁画精编卷
《 山西寺观艺术壁画精编卷 》
售價：HK$ 1725.0
中国摄影 中式摄影的独特魅力
《 中国摄影 中式摄影的独特魅力 》
售價：HK$ 1127.0
山西寺观艺术彩塑精编卷
《 山西寺观艺术彩塑精编卷 》
售價：HK$ 1725.0
积极心理学
《 积极心理学 》
售價：HK$ 57.3
自由，不是放纵
《 自由，不是放纵 》
售價：HK$ 56.4
甲骨文丛书·消逝的光明：欧洲国际史，1919—1933年（套装全2册）
《 甲骨文丛书·消逝的光明：欧洲国际史，1919—1933年（套装全2册） 》
售價：HK$ 277.8

 
建議一齊購買：

+

HK$ 148.5
《符号逻辑：语法、语义和证明》		 +

HK$ 48.0
《逻辑与形而上学教科书系列：作为哲学的数理逻辑》		 +

HK$ 93.6
《逻辑与形式而上学教科书系列：数理逻辑：证明及其限度》		 +

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

 

 

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