相關商品
商品簡介
商品簡介
本書通過對傳統詞項邏輯的一般特徵的分析，抓住聯合演算的實質特點，劃分了聯合演算的兩個層次，在此基礎上提出結構分析的方法作為判明或建構永真式的一個依據，同時提出一個極近似於命題邏輯的範式判定方法，用於在有窮步驟內解決一聯合演算的判定問題。本書認為現行的聯合演算對傳統推論的刻畫，僅就變項而言，就沒有窮盡其全部特徵，因而初步嘗試構造了一個新的等價翻譯的模式。本書還運用聯合演算的理論構建了一個形式化的傳統推論系統，並通過三段論化歸進一步探討了這一系統的優美性。本書的全部努力旨在說明：傳統詞項邏輯在其自身所把握的範圍內，確如康德所說，是封閉的和完備的。
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。