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