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