1、第一章主要內(nèi)容第一章主要內(nèi)容q命題與真值或真假值。命題與真值或真假值。q簡單命題與復合命題。簡單命題與復合命題。q結(jié)合詞：結(jié)合詞：，。q命題公式簡稱公式。命題公式簡稱公式。q命題公式的層次和公式的賦值。命題公式的層次和公式的賦值。 q真值表。真值表。 q公式的類型：重言式永真式，矛盾式永假式公式的類型：重言式永真式，矛盾式永假式 q 可滿足式。可滿足式。 第一章學習要求第一章學習要求q 在在5 5種結(jié)合詞中，要特別留意蘊涵結(jié)合的運用，要弄種結(jié)合詞中，要特別留意蘊涵結(jié)合的運用，要弄清三個問題：清三個問題： q pq pq 的邏輯關(guān)系的邏輯關(guān)系 q pq pq 的真值的真值 q pq pq 的靈敏

2、的表達方法的靈敏的表達方法q 寫真值表要特別仔細仔細，否那么會出錯誤。寫真值表要特別仔細仔細，否那么會出錯誤。 q 深化了解各結(jié)合詞的邏輯含義。深化了解各結(jié)合詞的邏輯含義。 q 熟練地將復合命題符號化。熟練地將復合命題符號化。 q 會用真值表求公式的成真賦值和成假賦值。會用真值表求公式的成真賦值和成假賦值。 本章典型習題本章典型習題q命題符號化命題符號化q求復合命題的真值與命題公式的賦值求復合命題的真值與命題公式的賦值q判別公式的類型判別公式的類型第二章主要內(nèi)容第二章主要內(nèi)容q等值式與等值演算。等值式與等值演算。q根本的等值式，其中含：雙重否認律、冪等律、根本的等值式，其中含：雙重否認律、冪等

3、律、交換律、結(jié)合律、分配律、德交換律、結(jié)合律、分配律、德摩根律、吸收律摩根律、吸收律、零律、同一概、排中律、矛盾律、蘊含等值式、零律、同一概、排中律、矛盾律、蘊含等值式、等價等值式、假言易位、等價否認等值式、歸、等價等值式、假言易位、等價否認等值式、歸謬論。謬論。q與主析取范式及主合取范式有關(guān)的概念：簡單合與主析取范式及主合取范式有關(guān)的概念：簡單合取式、簡單析取式、析取范式、合取范式、極小取式、簡單析取式、析取范式、合取范式、極小項、極大項、主析取范式、主合取范式。項、極大項、主析取范式、主合取范式。 本章學習要求本章學習要求 q 深化了解等值式的概念。深化了解等值式的概念。q 牢記牢記242

4、4個根本等值式，這是等值演算的根底；能熟練地運用個根本等值式，這是等值演算的根底；能熟練地運用它們進展等值演算。它們進展等值演算。 q 了解簡單析取式、簡單合取式、析取范式、合取范式的概念了解簡單析取式、簡單合取式、析取范式、合取范式的概念。 q 深化了解極小項及極大項的定義及它們的稱號，及稱號下角深化了解極小項及極大項的定義及它們的稱號，及稱號下角標與成真賦值的關(guān)系。標與成真賦值的關(guān)系。q 熟練掌握求公式的主析取范式的方法。熟練掌握求公式的主析取范式的方法。q 熟練掌握由公式的主析取范式求公式的主合取范式的方法。熟練掌握由公式的主析取范式求公式的主合取范式的方法。q 會用公式的主析取范式主合

5、取范式求公式的成真賦值、會用公式的主析取范式主合取范式求公式的成真賦值、成假賦值。成假賦值。本章典型習題本章典型習題q用等值演算法證明重言式和矛盾式用等值演算法證明重言式和矛盾式q用等值演算法證明等值式用等值演算法證明等值式q求公式的主析取范式和主合取范式求公式的主析取范式和主合取范式q用主范式判別兩個公式能否等值用主范式判別兩個公式能否等值q求解實踐問題求解實踐問題第三章主要內(nèi)容第三章主要內(nèi)容q 推理的方式構(gòu)造：推理的方式構(gòu)造：推理的前提推理的前提推理的結(jié)論推理的結(jié)論推理正確推理正確q 判別推理能否正確的方法：判別推理能否正確的方法：真值表法真值表法等值演算法等值演算法主析取范式法主析取范式

6、法 q 對于正確的推理，在自然推理系統(tǒng)對于正確的推理，在自然推理系統(tǒng)P P中構(gòu)造證明中構(gòu)造證明: : 自然推理系統(tǒng)自然推理系統(tǒng)P P的定義的定義1.1.字母；字母；2 2 合式公式；合式公式；3.123.12條推理條推理規(guī)那么規(guī)那么q 自然推理系統(tǒng)自然推理系統(tǒng)P P的推理規(guī)那么：的推理規(guī)那么：附加前提證明法附加前提證明法歸謬法歸謬法本章學習要求本章學習要求q 了解并記住推理的方式構(gòu)造的三種等價方式，即了解并記住推理的方式構(gòu)造的三種等價方式，即A1,A2,AkBA1A2AkB前提：前提：A1,A2,Ak結(jié)論：結(jié)論：Bq 在判別推理能否正確時，用；在在判別推理能否正確時，用；在P系統(tǒng)中構(gòu)造證明時用

7、。系統(tǒng)中構(gòu)造證明時用。q 熟練掌握判別推理能否正確的三種方法真值表法，等值演算熟練掌握判別推理能否正確的三種方法真值表法，等值演算法，主析取范式法。法，主析取范式法。q 牢記牢記P系統(tǒng)中的各條推理規(guī)那么。系統(tǒng)中的各條推理規(guī)那么。q 對于給定的正確推理，要求在對于給定的正確推理，要求在P系統(tǒng)中給出嚴謹?shù)淖C明序列。系統(tǒng)中給出嚴謹?shù)淖C明序列。q 會用附加前提證明法和歸謬法。會用附加前提證明法和歸謬法。第四章主要內(nèi)容第四章主要內(nèi)容q 個體詞個體詞個體常項個體常項個體變項個體變項個體域個體域全總個體域全總個體域 q 謂詞謂詞謂詞常項謂詞常項謂詞變項謂詞變項n(n1)n(n1)元謂詞元謂詞特性謂詞特性謂詞

8、 q 量詞量詞全稱量詞全稱量詞存在量詞存在量詞 本章主要內(nèi)容本章主要內(nèi)容q 一階邏輯中命題符號化一階邏輯中命題符號化q 一階邏輯公式一階邏輯公式原子公式原子公式合式公式或公式合式公式或公式閉式閉式q 解釋解釋q 一階邏輯公式的分類一階邏輯公式的分類邏輯有效式或永真式邏輯有效式或永真式矛盾式或永假式矛盾式或永假式可滿足式可滿足式本章學習要求本章學習要求q 要求準確地將給出的命題符號化：要求準確地將給出的命題符號化：當給定個體域時，在給定個體域內(nèi)將命題符號化。當給定個體域時，在給定個體域內(nèi)將命題符號化。當沒給定個體域時，應(yīng)在全總個體域內(nèi)符號化。當沒給定個體域時，應(yīng)在全總個體域內(nèi)符號化。在符號化時，

9、當引入特性時，留意全稱量詞與蘊含結(jié)合詞的在符號化時，當引入特性時，留意全稱量詞與蘊含結(jié)合詞的搭配，存在量詞與合取結(jié)合詞的搭配。搭配，存在量詞與合取結(jié)合詞的搭配。q 深化了解邏輯有效式、矛盾式、可滿足式的概念。深化了解邏輯有效式、矛盾式、可滿足式的概念。q 記住閉式的性質(zhì)：在任何解釋下均為命題。記住閉式的性質(zhì)：在任何解釋下均為命題。q 對給定的解釋，會判別公式的真值或不能確定真值。對給定的解釋，會判別公式的真值或不能確定真值。第五章主要內(nèi)容第五章主要內(nèi)容q 等值式與根本的等值式等值式與根本的等值式q在有限個體域中消去量詞等值式在有限個體域中消去量詞等值式q量詞否認等值式量詞否認等值式q量詞轄域收

10、縮與擴張等值式量詞轄域收縮與擴張等值式q量詞分配等值式量詞分配等值式 q 根本規(guī)那么：置換規(guī)那么、換名規(guī)那么、替代規(guī)那么根本規(guī)那么：置換規(guī)那么、換名規(guī)那么、替代規(guī)那么q 前束范式前束范式q 推理實際：推理的方式構(gòu)造、推理正確、構(gòu)造證明推理實際：推理的方式構(gòu)造、推理正確、構(gòu)造證明q 新的推理規(guī)那么：新的推理規(guī)那么：UIUI、UGUG、EIEI、EGEG學習要求學習要求q 深化了解重要的等值式，并能熟練地運用它們。深化了解重要的等值式，并能熟練地運用它們。 q 熟練地運用置換規(guī)那么、換名規(guī)那么和替代規(guī)那么。熟練地運用置換規(guī)那么、換名規(guī)那么和替代規(guī)那么。 q 準確地求出給定公式的前束范式方式可以不獨一。準確地求出給定公式的前束范式方式可以不獨一。 q 正確地運用正確地運用UIUI、UGUG、EIEI、EGEG規(guī)那么，特別地要留意它們之間規(guī)那么，特別地要留意它們之間的關(guān)系。的關(guān)系。 q 一定對前束范式才干運用一定對前束范式才干運用UIUI、UGUG、EIEI、EGEG規(guī)那么，對不是前規(guī)那么，對不是前束范式的公式要運用它們，一定先求出公式的前束范式。束范式的公式要運用它們，一定先求出公式的前束范式。q 記住記住UIUI、UGUG、EIEI、EGEG規(guī)那么的各自運用條件。規(guī)那么的各自運用條件。q 在同一推理的證明中，假設(shè)既要運用在同一推理的證明中，假設(shè)既要