命題邏輯中的語法與語義，可靠性與完備性

命題邏輯中的語法與語義，可靠性與完備性 1導言 初學數理邏輯的時候，一個非常重要的點就是對可靠性與完備性概念的理解，這兩個概念極爲重要，卻又經常讓人覺得 難以理解。 說它重要是因爲它涉及邏輯系統的基本框架，初學數理邏輯，最重要的倒不在於你有多高超的技巧去推導那些 公式，而在於對一些基本概念的理解和把握，這是思想層面的，如同學習概率論和數理統計不在於記住那幾個公式和定理， 而在於獲得一些基本的概率和

>>阅读原文<<