本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂見的邏輯謎題，以一種獨特的方式來普及數(shù)理邏輯。從**章到第十六章有大量的趣味謎題供讀者思考，包括說謊和講真話的邏輯、沉默的騎士和無賴等，循著本書生動活潑的語言，讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語義學(xué)、無窮和保有效性以及形式系統(tǒng)的性質(zhì)等邏輯學(xué)基礎(chǔ)知識。同時，本書還提供了豐富的練習(xí)及答案，這些練習(xí)并不拘泥于符號的正確運用，而是重在讓讀者理解證明的構(gòu)造過程。本書既可以作為普通讀者走入邏輯學(xué)大門的科普書，也可以作為大學(xué)本科和研究生的補(bǔ)充教材。
本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂見的邏輯謎題，以一種獨特的方式來普及數(shù)理邏從**章到第十六章有大量的趣味謎題供讀者思考，包括說謊和講真話的邏輯、沉默的騎士和無賴等，循著本書生動活潑的語言，讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語義學(xué)、無窮和保有效性以及形式系統(tǒng)的性質(zhì)等邏輯學(xué)基礎(chǔ)知識。同時，本書還提供了豐富的練習(xí)及答案，這些練習(xí)并不拘泥于符號的正確運用，而是重在讓讀者理解證明的構(gòu)造過程。本書既可以作為普通讀者走入邏輯學(xué)大門的科普書，也可以作為大學(xué)本科和研究生的補(bǔ)充教材。
|
