人民幣定價：99 元
定價
：NT$ 594 元優惠價
：87 折 517 元
絕版無法訂購
相關商品
商品簡介
目次
商品簡介
《符號邏輯:語法、語義和證明》內容涵蓋認知的本質與發生機制、意識的本質與形成機制、語言形成與認知能力發展、知識獲得與智慧發展、認知模型、認知理論、認知表徵、具身認知、無身認知、延展認知、人工智慧哲學、心理學哲學、人機交互等等。
目次
叢書序
致謝
導言
0.1什麼是符號邏輯學？
0.2為什麼學習邏輯學？
0.3如何學習邏輯學？
0.4本書結構如何編排？
第1章命題、論證和邏輯屬性
1.1命題
1.2論證
1.3演繹有效論證
1.4總結
第2章語言、句法和語義學
2.1真值函數
2.2PL符號和真值函數運算元
2.3PL句法
2.4析取、蘊涵、等值蘊涵
2.5高級轉換
第3章真值表
3.1賦值（真值賦值）
3.2命題的真值表
3.3命題真值表分析
3.4命題集的真值表分析
3.5蘊涵條件解釋
3.6論證真值表分析
3.7無效短真值表測試
第4章真值樹
4.1真值樹的建構和解構
4.2真值樹解構規則
4.3剩餘解構規則
4.4基本策略
4.5真值樹走查
4.6真值樹的邏輯性質
第5章命題邏輯推導
5.1證明的建構
5.2前提和目標命題
5.3Intelim推導規則
5.4證明的策略
5，5附加推導規則（PD+）
5.6額外推導策略
第6章謂詞語言、句法和語義學
6.1謂詞邏輯的表達能力
6.2RL語言
6.3RL句法
6.4謂詞語義學
6.5從句子到謂詞邏輯的翻譯
6.6混合和重複量詞
第7章謂詞邏輯樹
7.1四個新的解構規則
7.2解構樹的策略
7.3邏輯性質
7.4不可判定性和謂詞樹方法的局限性
第8章謂詞邏輯推導
8.1四個量詞規則
8.2量詞否定（QN）
8.3樣例說明
附錄
命題邏輯
謂詞邏輯
補充書目
邏輯哲學和哲學邏輯
模態邏輯
非經典邏輯、推演邏輯和自由邏輯
非推演邏輯
高階邏輯
邏輯學的歷史
邏輯學與替代符號
人名與名詞（英漢對照）
作者簡介
致謝
導言
0.1什麼是符號邏輯學？
0.2為什麼學習邏輯學？
0.3如何學習邏輯學？
0.4本書結構如何編排？
第1章命題、論證和邏輯屬性
1.1命題
1.2論證
1.3演繹有效論證
1.4總結
第2章語言、句法和語義學
2.1真值函數
2.2PL符號和真值函數運算元
2.3PL句法
2.4析取、蘊涵、等值蘊涵
2.5高級轉換
第3章真值表
3.1賦值（真值賦值）
3.2命題的真值表
3.3命題真值表分析
3.4命題集的真值表分析
3.5蘊涵條件解釋
3.6論證真值表分析
3.7無效短真值表測試
第4章真值樹
4.1真值樹的建構和解構
4.2真值樹解構規則
4.3剩餘解構規則
4.4基本策略
4.5真值樹走查
4.6真值樹的邏輯性質
第5章命題邏輯推導
5.1證明的建構
5.2前提和目標命題
5.3Intelim推導規則
5.4證明的策略
5，5附加推導規則（PD+）
5.6額外推導策略
第6章謂詞語言、句法和語義學
6.1謂詞邏輯的表達能力
6.2RL語言
6.3RL句法
6.4謂詞語義學
6.5從句子到謂詞邏輯的翻譯
6.6混合和重複量詞
第7章謂詞邏輯樹
7.1四個新的解構規則
7.2解構樹的策略
7.3邏輯性質
7.4不可判定性和謂詞樹方法的局限性
第8章謂詞邏輯推導
8.1四個量詞規則
8.2量詞否定（QN）
8.3樣例說明
附錄
命題邏輯
謂詞邏輯
補充書目
邏輯哲學和哲學邏輯
模態邏輯
非經典邏輯、推演邏輯和自由邏輯
非推演邏輯
高階邏輯
邏輯學的歷史
邏輯學與替代符號
人名與名詞（英漢對照）
作者簡介
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。