本書共十六章，其中第一至三章主要介紹本書所用到的軟件——“塔斯基世界”，第四至十六章分別介紹運(yùn)用該軟件實(shí)現(xiàn)邏輯運(yùn)算，包括原子語(yǔ)句及其邏輯、布爾聯(lián)結(jié)詞及其邏輯與證明方法、形式證明和布爾邏輯、蘊(yùn)涵及其邏輯、量詞及其邏輯、多重量詞、量詞的證明方法、形式證明和量詞等。