一、考試要求

　　1、理解謂詞邏輯模型的定義與語句真值的定義;掌握謂詞邏輯的緊致性、可靠性、完備性以及推理規(guī)則獨(dú)立性的證明，熟悉歸結(jié)原理及其應(yīng)用;了解可判定性，了解謂詞邏輯在計(jì)算機(jī)科學(xué)的應(yīng)用。

　　2、理解直覺主義邏輯、模態(tài)邏輯語句真值的定義;掌握直覺主義邏輯、模態(tài)邏輯形式推演方法，并明確它們與謂詞邏輯推演方法的區(qū)別;掌握直覺主義邏輯、模態(tài)邏輯的可靠性的證明，了解它們完備性的證明及在計(jì)算機(jī)科學(xué)中的應(yīng)用。

　　二、考試內(nèi)容

　　(一)謂詞邏輯

　　1、量詞

　　2、一階語言

　　3、語義

　　4、邏輯推論

　　5、形式推演

　　6、前束范式

　　7、可滿足性和有效性

　　8、可靠性

　　9、極大協(xié)調(diào)性

　　10、完備性

　　11、獨(dú)立性

　　12、緊致性

　　13、Horn子句及 Skolem 范式

　　14、Herbrand定理

　　15、可判定性和不可判定性

　　(二)直覺主義邏輯

　　1、證明的構(gòu)造性

　　2、形式推演

　　3、框架與語義

　　4、可靠性

　　5、完備性

　　(三)模態(tài)邏輯

　　1、可能性與必然性

　　2、知識(shí)或信念

　　3、形式推演

　　4、框架與語義

　　5、可靠性

　　6、T,S4和S5的完備性