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

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

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

『簡體書』符号逻辑：语法、语义和证明

書城自編碼： 2801171
分類：簡體書→大陸圖書→社會科學→語言文字
作者： [美]大卫·W.安格勒著；陈素艳，张秀蕊译
國際書號(ISBN)： 9787030480392
出版社： 科学出版社
出版日期： 2016-04-01
版次： 31 印次： 1
頁數/字數： /500
書度/開本： B5 釘裝： 平装

售價：HK$ 148.5

我要買 件

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


新書推薦：
整理国故：文化运动与考证学风
《 整理国故：文化运动与考证学风 》
售價：HK$ 118.8
霍布斯的政治科学及其起源
《 霍布斯的政治科学及其起源 》
售價：HK$ 85.8
百年星辰：寻找现代中国的大师
《 百年星辰：寻找现代中国的大师 》
售價：HK$ 107.8
情绪的真相：关于情绪的内在力量
《 情绪的真相：关于情绪的内在力量 》
售價：HK$ 74.8
偷偷啃月亮
《 偷偷啃月亮 》
售價：HK$ 50.4
《阳明先生年谱》明刻本合集对照
《 《阳明先生年谱》明刻本合集对照 》
售價：HK$ 140.8
女人30+，养气血、调脾胃、防衰老（北京卫视《养生堂》《我是大医生》特邀中医养生专家第七批名老中医沈
《 女人30+，养气血、调脾胃、防衰老（北京卫视《养生堂》《我是大医生》特邀中医养生专家第七批名老中医沈 》
售價：HK$ 61.6
征服新世界：西班牙全球帝国之路，1493—1898
《 征服新世界：西班牙全球帝国之路，1493—1898 》
售價：HK$ 96.8

建議一齊購買：

+

HK$ 36.3
《实用主义与美国思想文化译丛：经验主义与心灵哲学》		 +

HK$ 166.8
《女人、火与危险事物：范畴显示的心智（全二册）》		 +

HK$ 42.1
《做哲学：如何更清晰地思考、写作和争论》		 +

HK$ 78.0
《逻辑学十五讲（第二版）》		 +

HK$ 112.5
《总体与无限：论外在性》
內容簡介：
本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题，命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言并不能完全充分表达所有有效论证和语义关系，谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性，真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。

 

 

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