Online Catalog > Book
Check-outs :

符號邏輯

  • Hit:236
  • Rating:0
  • Review:0
  • Trackback:0
  • Forward:0



  • Bookmark:
轉寄 列印
第1級人氣樹(0)
人氣指樹
  • keepsite
  • Introduction
  • About Author
  • Collection(0)
  • Review(0)
  • Rating(0)

  符號邏輯是一門形式科學,探討並分析演繹推論的結構。經一百年來哲學家與邏輯學家的努力,當代符號邏輯已經發展得相當成熟。本書旨在介紹這門領域的發展成果。在第一單元介紹邏輯的基本概念﹔第二單元和第三單元從自然演繹法的角度分別介紹語句邏輯與述詞邏輯﹔第四單元介紹這兩邏輯的形式演繹系統﹔最後,第五單元則基於這兩邏輯來引介有興趣的讀者探索進階的各種邏輯。

Must Login
Must Login
Must Login
Must Login