幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

經典邏輯導論(普通高等教育雙一流建設哲學類專業數字化精品教材)

  • 作者：(澳)格里格·萊斯托|責編:董雪//余曉亮|譯者:徐敏
  • 出版社：華中科技大學
  • ISBN：9787577204475
  • 出版日期：2024/03/01
  • 裝幀：平裝
  • 頁數：155
人民幣：RMB 58 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    這是一本經典邏輯教材。所謂「經典邏輯」，也可稱作「標準邏輯」，是當今所有大學的邏輯課堂都會教的邏輯（國內外都一樣），「經典」等於「標準」。
    作者沒有使用常見的公理化方法或自然演繹方法，而是使用了神奇的「樹方法」。為判定前提能否推出結論，畫出一棵樹即可，封閉則能推出，開放則推不出——人人都可以做到，「童叟無欺」。不止如此，這本教材裡面還有許多關於邏輯的極其有趣的哲學討論。
    邀請你快快打開這本教材，我們一起來開啟一趟難忘的邏輯之旅吧！
作者介紹
(澳)格里格·萊斯托|責編:董雪//余曉亮|譯者:徐敏
目錄
導言
  寫給學生
  寫給教師
第一部分  命題邏輯
  第1章  命題與論證
    命題
    論證
    論證形式
    小結
    進階讀物
    習題
  第2章  聯結詞與論證形式
    合取與析取
    條件句與雙向條件句
    否定
    一種形式的語言
    更多論證形式
    小結
    習題
  第3章  真值表
    真值表
    論證形式的真值表
    如何快速找到賦值
    小結
    習題
  第4章  命題邏輯的樹
    樹背後的理念
    樹的生成規則
    為何樹方法可行
    小結
    進階讀物
    習題
  第5章  含混性與二值原則
    含混性難題
    候選方案
    關於二值原則的其他難題
    進階讀物
    習題
  第6章  條件句
    實質蘊含悖論
    真與可斷定性
    可能性
    相干性
    進階讀物
    習題
  第7章  自然演繹
    合取、蘊含與析取
    否定
    進階讀物
    習題

第二部分  謂詞邏輯
  第8章  謂詞、名字和量詞
    名字與謂詞
    量詞
    翻譯
    小結
    習題
  第9章  謂詞邏輯的模型
    論域與外延
    量詞
    構造模型
    何時有窮論域夠用
    小結
    習題
  第10章  謂詞邏輯的樹
    量詞的樹規則
    開放的樹
    為何樹方法可行
    進階讀物
    習題
  第11章  等詞與函項
    等詞
    對常見量詞的翻譯
    函項
    小結
    習題
  第12章  確定描述語
    羅素的解決方案
    局限性
    進階讀物
    習題
  第13章  有的事物不存在
    存在隱含與謂詞
    存在隱含與名字
    模型
    樹規則
    局限性
    進階讀物
    習題
  第14章  謂詞是什麼
    一個論證
    晦暗語境
    進階讀物
    習題
  第15章  邏輯是什麼
    邏輯乃替換下無反例
    邏輯乃必然保真
    進階讀物
參考文獻
譯後記

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032