本書是一部為高等院校實驗邏輯學教學而編寫的通用教材，是在該書版的基礎上修訂而成。全書共分為兩編十六章：編“LPL(語言、證明和邏輯)軟件介紹”分三章，主要介紹了本書所用到的軟件--“塔斯基世界”，?第二編“實驗邏輯學”包括四至十六章，分別介紹了運用該軟件實現(xiàn)邏輯運算的原子語句及其邏輯、布爾聯(lián)結詞及其邏輯與證明方法、形式證明和布爾邏輯、蘊涵及其邏輯、量詞及其邏輯、多重量詞、量詞的證明方法、形式證明和量詞等。