本書主要內(nèi)容包括：Tarski's World 7。2簡介、Fitch 3。7簡介、Boole 4。2簡介、原子語句、原子語句的邏輯、布爾聯(lián)結(jié)詞、布爾聯(lián)結(jié)詞邏輯等。