《邏輯學實驗教程》是2012年南開大學出版社出版的圖書，作者是李娜。
基本介紹
- 書名：邏輯學實驗教程
- 作者：李娜
- ISBN：9787310040452
- 頁數：389
- 定價：29.00元
- 出版社：南開大學出版社
- 出版時間：2012-10
- 副標題：邏輯學實驗教程
內容簡介,目錄,
內容簡介
本書包括兩部分內容。第一部分是一些線上的亞里士多德三段論邏輯、數理邏輯和模態邏輯等的邏輯學習軟體簡介。第二部分是LPL軟體的操作與套用。作者在《數理邏輯實驗教程》中，已經較詳細地介紹了LPL軟體的（操作）命令。本教材主要講解LPL中三個軟體Fitch、Boole和Tarski’sWorld的操作和套用。本請棄教材在編欠享譽寫過程中，主要參考了Jon Barwise和John Etchemendy兩人合著的《語言證明邏輯》（Language Proof Logie）一書，特別是“You try it”以及我編著的《數理邏輯實驗教程》。
目錄
第一篇 線上邏輯學習軟體簡介
第一章 亞里士多德邏輯學習軟體簡介
第一節 Computational Aristotelian Term Logtic簡介
第二節 Philosophy Lander簡介
第二章 數理邏輯學習軟體簡介
第一節 Llsing Truth Fables簡介
第二節 Plato簡介
第三章 模態邏習章茅輯和動態邏輯學習軟體簡介
第一節 modal logic簡介
第二節 dynamic logic簡介
第二篇 LPL軟體的操作與套用
第四章 操作與套用（一）
第一節 原子語句的操作與套用
第二節 原子語句邏輯的操作與套用
第五章 操作與套用（二）
第一節 布爾聯結詞的操作與套用
第二節 布爾聯結詞邏輯的操作與套用
第六章 操作與套用（三）
第一節 布爾邏輯證明方法的操作與套用
第二節 形式證明和布爾邏輯的操作與套用
第七章 操作與套用（四）
第一節 條件句的操作與套用
第二節 條件句邏輯的操作與套用
第八章 操作與套用（五）
第一節 量詞的操作與套用
第二節 量詞邏輯的操作簽員元與套用
第九章 操作與套用（六）
第一節 多重量奔定墓詞的操蒸詢充灶作與套用
第二節 量詞證明方法的操作與套用
第三節 形式證煮射旋享明與量詞的操作與套用
