邏輯學實驗教程

內容介紹

本書包括兩部分內容。第一部分是一些線上的亞里士多德三段論邏輯、數理邏輯和模態邏輯等的邏輯學習軟體簡介。第二部分是LPL軟體的操作與套用。本書主要講解LPL中三個軟體Fitch、Boole和Tarski's World的操作和套用。