1、第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞 復合命題復合命題：包含其他命題的命題。：包含其他命題的命題。 1.所有金屬都是固體。所有金屬都是固體。 2.“所有金屬都是固體所有金屬都是固體”不合乎事實。不合乎事實。 復合命題復合命題命題變項命題變項“所有金屬都是固體所有金屬都是固體” 簡單命題（直言命題）簡單命題（直言命題）概念變項概念變項“金屬金屬”、“固體固體”第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞 支命題支命題：復合命題所包含的其他命題。：復合命題所包含的其他命題。 命題聯結詞命題聯結詞：將支命題連接成為復合命題的詞項。：將支命題連接成為復合命題的詞項。 復合命

2、題的支命題可以是簡單命題，也可以是復合命題。復合命題的支命題可以是簡單命題，也可以是復合命題。 3.如果合同有效，那么甲方和乙方就應遵守合同。如果合同有效，那么甲方和乙方就應遵守合同。 復合命題的基本形式不止一種。不同種類的復合命題邏輯特性復合命題的基本形式不止一種。不同種類的復合命題邏輯特性不同，由其組成的有效的推理形式也不一樣。不同，由其組成的有效的推理形式也不一樣。第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞 不同的命題聯結詞是區別不同種類復合命題的唯一根據。不同的命題聯結詞是區別不同種類復合命題的唯一根據。 命題聯結詞的作用命題聯結詞的作用 將支命題連接成為復合命題。將支命題

3、連接成為復合命題。 命題聯結詞反映了復合命題與其支命題之間的真假關系。不命題聯結詞反映了復合命題與其支命題之間的真假關系。不同的命題聯結詞的邏輯含義，反映了相應的復合命題的邏輯特性。同的命題聯結詞的邏輯含義，反映了相應的復合命題的邏輯特性。 五種基本的命題聯結詞：五種基本的命題聯結詞： （1）合取詞合取詞，相當于語言聯結詞：，相當于語言聯結詞： “并且并且”、“一方面一方面另一方面另一方面”、“雖雖然然但是但是”、“不但不但而且而且”等；等； （2）析取詞析取詞，相當于語言聯結詞：，相當于語言聯結詞： “或者或者或者或者”、“可能可能也可能也可能”、“也也許許也許也許”、“要么要么要么要么”等

4、；等；第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞 （3）蘊涵詞蘊涵詞，相當于語言聯結詞：，相當于語言聯結詞： “如果如果那么那么”、“只要只要就就”、 “倘若倘若就就”等；等； （4）等值詞等值詞，相當于語言聯結詞：，相當于語言聯結詞： “當且僅當當且僅當”、“如果且只有如果且只有才才”等；等； （5）否定詞否定詞，相當于語言聯結詞：，相當于語言聯結詞： “并非并非”、“是假的是假的”、“不合乎事實不合乎事實”等。等。第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞 從邏輯的角度看，語言聯結詞主要存在著兩個問題：從邏輯的角度看，語言聯結詞主要存在著兩個問題： 其一，不精確。其

5、一，不精確。 4.明天或者刮風或者下雨。明天或者刮風或者下雨。 5.德國隊或者小組出線，或者不能小組出線。德國隊或者小組出線，或者不能小組出線。要識別語言聯結詞要識別語言聯結詞“或者或者或者或者”聯結的兩種情況究竟是相容的聯結的兩種情況究竟是相容的還是不相容的，需要相關背景知識，這超出了邏輯學的范圍。還是不相容的，需要相關背景知識，這超出了邏輯學的范圍。第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞 其二，負載了許多非邏輯的內容。其二，負載了許多非邏輯的內容。 6.他參加了他參加了3屆奧運會并且獲得過屆奧運會并且獲得過5枚金牌。枚金牌。 7.他獲得過他獲得過5枚金牌并且參加了枚金牌并且

6、參加了3屆奧運會。屆奧運會。不同的語言聯結詞所表達的內容、意義上會造成一些微妙的差別，并不同的語言聯結詞所表達的內容、意義上會造成一些微妙的差別，并在接受者的心理上產生不同的影響或效果，它們屬于與修辭學、言語在接受者的心理上產生不同的影響或效果，它們屬于與修辭學、言語交際、信息傳播等相關的領域，至少首先不屬于邏輯學的范圍。交際、信息傳播等相關的領域，至少首先不屬于邏輯學的范圍。 第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞n既既又又n一方面一方面，另一方面，另一方面n不但不但，而且，而且n雖然雖然，但是，但是n并且并且合取詞合取詞

7、 舍棄語言聯結詞的非邏輯舍棄語言聯結詞的非邏輯性質，僅僅關注復合命題性質，僅僅關注復合命題與支命題之間的真假關系與支命題之間的真假關系第一節第一節 復合命題和命題聯結詞復合命題和命題聯結詞命題聯結詞是語言聯結詞的邏輯抽象。命題聯結詞是語言聯結詞的邏輯抽象。真值聯結詞真值聯結詞。在真假二值邏輯中，命題聯結詞只反映復合命在真假二值邏輯中，命題聯結詞只反映復合命題與其支命題之間的真假關系，舍棄了語言聯結詞所具有其他非題與其支命題之間的真假關系，舍棄了語言聯結詞所具有其他非邏輯的含義。邏輯的含義。現代邏輯通常借助人工符號來代表相應的命題聯結詞。現代邏輯通常借助人工符號來代表相應的命題聯結詞。 第二節第

8、二節 聯言命題及其有效推理聯言命題及其有效推理 聯言命題聯言命題：斷定事物的若干種情況同時存在的命題。：斷定事物的若干種情況同時存在的命題。 10.我們我們不但不但善于破壞舊世界，善于破壞舊世界，而且而且善于建立新世界。善于建立新世界。 11.生生也也有涯，而知有涯，而知也也無涯。無涯。 12.小李小李和和小張都是足球迷。小張都是足球迷。 13.華東師范大學華東師范大學一方面一方面是教育部直屬大學，是教育部直屬大學，另一方面另一方面又接受教育又接受教育部和上海市的共建共管。部和上海市的共建共管。 聯言支聯言支：聯言命題的支命題。聯言支至少兩個，也可以多于兩個。：聯言命題的支命題。聯言支至少兩個

9、，也可以多于兩個。 第二節第二節 聯言命題及其有效推理聯言命題及其有效推理 合取詞合取詞：從真值方面對：從真值方面對“并且并且”、“和和”、“不不但但而且而且”、“雖然雖然但是但是”、“一方面一方面另一方面另一方面”等語言聯結詞的抽象。等語言聯結詞的抽象。 （讀作讀作“合取合取”）如果用如果用p、q表示聯言支，具有兩個支命題的聯言命題的邏輯形式記為：表示聯言支，具有兩個支命題的聯言命題的邏輯形式記為： pq（讀作讀作“p合取合取q”）第二節第二節 聯言命題及其有效推理聯言命題及其有效推理在自然語言中，如果一個聯言命題的兩個（或兩個以上的）支在自然語言中，如果一個聯言命題的兩個（或兩個以上的）支

10、命題具有相同的主項或謂項，為了表達的簡潔，可以適當地省略其命題具有相同的主項或謂項，為了表達的簡潔，可以適當地省略其相同的部分。相同的部分。14.農業銀行、工商銀行和建設銀行都是專業銀行。農業銀行、工商銀行和建設銀行都是專業銀行。15.農業銀行是專業銀行，工商銀行是專業銀行，而且建設銀行農業銀行是專業銀行，工商銀行是專業銀行，而且建設銀行也是專業銀行。也是專業銀行。 第二節第二節 聯言命題及其有效推理聯言命題及其有效推理 聯言命題的邏輯性質聯言命題的邏輯性質： 當所有支命題為真時，聯言命題才是真的；只要有一個支命當所有支命題為真時，聯言命題才是真的；只要有一個支命題為假，整個聯言命題就是假的。

11、題為假，整個聯言命題就是假的。 pq是真的，當且僅當是真的，當且僅當p是真的，并且是真的，并且q是真的。是真的。 第二節第二節 聯言命題及其有效推理聯言命題及其有效推理 在現代邏輯中，通常用真值表在現代邏輯中，通常用真值表來定義命題聯結詞的邏輯含義。來定義命題聯結詞的邏輯含義。 真值表真值表：用來顯示復合命題在：用來顯示復合命題在其變項的各種真假組合下的真假情其變項的各種真假組合下的真假情況的圖表。其中，用況的圖表。其中，用“T（true）”代表真，代表真，“F（false）”代表假；也代表假；也可以用可以用“1”代表真，代表真，“0”代表假。代表假。在真值表中，有在真值表中，有n個不同的命題

12、變項，個不同的命題變項，就會有就會有2n組真假搭配的組合，故要組真假搭配的組合，故要列出列出2n行真假組合。行真假組合。pqpqTTTTFFFTFFFF聯言推理聯言推理：僅僅以聯言命題為前提或結論，并根據聯言命題：僅僅以聯言命題為前提或結論，并根據聯言命題的邏輯性質進行推演的推理。的邏輯性質進行推演的推理。第二節第二節 聯言命題及其有效推理聯言命題及其有效推理分解式分解式 pq pq 或或 p q 18.既然跨世紀的干部應該德才兼備，既然跨世紀的干部應該德才兼備， 所以，跨世紀的干部當然應該有才能。所以，跨世紀的干部當然應該有才能。第二節第二節 聯言命題及其有效推理聯言命題及其有效推理組合式組

13、合式 p q pq第二節第二節 聯言命題及其有效推理聯言命題及其有效推理第二節第二節 聯言命題及其有效推理聯言命題及其有效推理 19.鑒于中國政治經濟發展不平衡，鑒于中國政治經濟發展不平衡， 中國是個半殖民地國家，中國是個半殖民地國家， 中國是個大國，中國是個大國， 中國是經過一次大革命的，中國是經過一次大革命的， 因此，中國是一個經過了一次大革命的、政治經濟發展因此，中國是一個經過了一次大革命的、政治經濟發展不平衡的、半殖民地的大國。不平衡的、半殖民地的大國。第三節第三節 選言命題及其有效推理選言命題及其有效推理 選言命題選言命題：斷定事物若干種可能情況的命題。：斷定事物若干種可能情況的命題

14、。 20.小強發燒或者是由于痢疾，或者是由于肺炎。小強發燒或者是由于痢疾，或者是由于肺炎。 21.物質的聚集態，要么是固態，要么是液態，要么是氣態，要么物質的聚集態，要么是固態，要么是液態，要么是氣態，要么是等離子態。是等離子態。 選言支選言支：選言命題的支命題。選言支至少兩個，也可多于兩個。：選言命題的支命題。選言支至少兩個，也可多于兩個。第三節第三節 選言命題及其有效推理選言命題及其有效推理 選言命題可分為相容選言命題和不相容選言命題兩種。選言命題可分為相容選言命題和不相容選言命題兩種。 （一）相容選言命題的邏輯形式、邏輯性質與真值表（一）相容選言命題的邏輯形式、邏輯性質與真值表 相容選言

15、命題相容選言命題：斷定事物的幾種可能情況可以同時并存的選：斷定事物的幾種可能情況可以同時并存的選言命題。言命題。 22.液體沸騰，或者由于溫度升高，或者由于壓力下降。液體沸騰，或者由于溫度升高，或者由于壓力下降。第三節第三節 選言命題及其有效推理選言命題及其有效推理 常見的語言聯結詞常見的語言聯結詞： “或者或者或者或者”、“可能可能也可能也可能”、“也許也許也許也許”、“要么要么要么要么”，等等。，等等。 析取詞析取詞： （讀作（讀作“析取析取”）如果用如果用p、q表示選言支，具有兩個支命題的相容選言命題的邏輯形表示選言支，具有兩個支命題的相容選言命題的邏輯形式記為：式記為： pq（讀作（讀

16、作“p析取析取q”） 相容選言命題的邏輯性質：相容選言命題的邏輯性質： 只要有一個選言支為真，相容選言命題就是真的；只有當全只要有一個選言支為真，相容選言命題就是真的；只有當全部的選言肢為假時，相容選言命題才為假。部的選言肢為假時，相容選言命題才為假。 pq是真的，當且僅當是真的，當且僅當p和和q至少有一真。至少有一真。第三節第三節 選言命題及其有效推理選言命題及其有效推理第三節第三節 選言命題及其有效推理選言命題及其有效推理pqpqTTTTFTFTTFFF第三節第三節 選言命題及其有效推理選言命題及其有效推理 （二）相容選言推理的有效式（二）相容選言推理的有效式 相容選言推理相容選言推理，前

17、提之一為相容選言命題并根據其邏輯性質推，前提之一為相容選言命題并根據其邏輯性質推演的推理。演的推理。 相容選言推理的有效式相容選言推理的有效式： pq pq p 或或 q q p其中，其中，“ ”表示對支命題的否定。上式被稱作表示對支命題的否定。上式被稱作“否定肯定式否定肯定式”。22.一個錯誤的推理，或者是由于前提不真實，或者是因為推一個錯誤的推理，或者是由于前提不真實，或者是因為推理形式無效；理形式無效；經檢查，這個錯誤的推理的前提是真實的；經檢查，這個錯誤的推理的前提是真實的；因此，這個推理的錯誤是由無效的推理形式造成的。因此，這個推理的錯誤是由無效的推理形式造成的。第三節第三節 選言命

18、題及其有效推理選言命題及其有效推理第三節第三節 選言命題及其有效推理選言命題及其有效推理 相容選言推理的規則相容選言推理的規則： 否定部分選言肢，就要肯定其余選言肢（就二支的選言前否定部分選言肢，就要肯定其余選言肢（就二支的選言前提而言）或其余選言支的析取（就三支或三支以上的選言前提而提而言）或其余選言支的析取（就三支或三支以上的選言前提而言）；言）； 肯定部分選言肢，不能對其余選言肢有所斷定。肯定部分選言肢，不能對其余選言肢有所斷定。第三節第三節 選言命題及其有效推理選言命題及其有效推理 相容選言命題及其推理與析取式及由其所進行的推理并不完全相容選言命題及其推理與析取式及由其所進行的推理并不

19、完全等同。在現代邏輯中，下列推理形式是有效的：等同。在現代邏輯中，下列推理形式是有效的： p pq這一公式被稱作這一公式被稱作“析取附加律析取附加律”，其含義是：如果，其含義是：如果p是真的，那么是真的，那么pq是真的，不管是真的，不管q代表的是什么命題，哪怕是代表的是什么命題，哪怕是 p也不所謂。也不所謂。 但在自然語言中，人們不會因為一個命題為真，就隨意地用一但在自然語言中，人們不會因為一個命題為真，就隨意地用一個毫無意義關聯的命題與之以個毫無意義關聯的命題與之以“或者或者”相聯結。相聯結。第三節第三節 選言命題及其有效推理選言命題及其有效推理 例如，人們在日常生活中通常不會說：例如，人們

20、在日常生活中通常不會說： 因為天在下雨，所以天在下雨或者非典型肺炎還在流行。因為天在下雨，所以天在下雨或者非典型肺炎還在流行。也不會說：也不會說： 這棵樹是楊樹，所以這棵樹是楊樹或者這棵樹不是楊樹。這棵樹是楊樹，所以這棵樹是楊樹或者這棵樹不是楊樹。這就說明析取詞這就說明析取詞“”與自然語言中連接詞與自然語言中連接詞“或者或者”并不完全一并不完全一致，前者僅僅是后者在真值方面的抽象。致，前者僅僅是后者在真值方面的抽象。第三節第三節 選言命題及其有效推理選言命題及其有效推理第三節第三節 選言命題及其有效推理選言命題及其有效推理第三節第三節 選言命題及其有效推理選言命題及其有效推理第三節第三節 選言

21、命題及其有效推理選言命題及其有效推理第三節第三節 選言命題及其有效推理選言命題及其有效推理25.這件出土文物要么是唐朝的，要么是宋朝的；這件出土文物要么是唐朝的，要么是宋朝的； 考古學家最后認定它不是唐朝的；考古學家最后認定它不是唐朝的； 顯然，這件出土文物是宋朝的。顯然，這件出土文物是宋朝的。第三節第三節 選言命題及其有效推理選言命題及其有效推理第三節第三節 選言命題及其有效推理選言命題及其有效推理不相容選言推理的推理規則不相容選言推理的推理規則： 肯定一個選言支，就要否定其余的選言支；肯定一個選言支，就要否定其余的選言支； 否定部分選言支，就要肯定其余的選言支（就二支的選言否定部分選言支，

22、就要肯定其余的選言支（就二支的選言前提而言）或其余選言支的不相容析取（就三支或三支以上的選前提而言）或其余選言支的不相容析取（就三支或三支以上的選言前提而言）。言前提而言）。第四節第四節 假言命題及其有效推理假言命題及其有效推理 假言命題假言命題：斷定事物情況之間條件關系的命題，即斷定一事物：斷定事物情況之間條件關系的命題，即斷定一事物情況是另一事物情況的條件的命題。情況是另一事物情況的條件的命題。 32.如果物體相互摩擦，那么物體就會生熱。如果物體相互摩擦，那么物體就會生熱。 33.只有年滿只有年滿18周歲，才有選舉權。周歲，才有選舉權。 34.當且僅當一個三角形是等邊三角形時，這個三角形才

23、是等角當且僅當一個三角形是等邊三角形時，這個三角形才是等角三角形。三角形。 假言命題有且僅有兩個支命題假言命題有且僅有兩個支命題 前件前件：斷定條件的支命題；：斷定條件的支命題； 后件后件：斷定依賴條件而成立的事物情況的命題。：斷定依賴條件而成立的事物情況的命題。 假言命題的前件和后件本身也可能是復合命題。假言命題的前件和后件本身也可能是復合命題。 假言命題有三種，分別反映了事物情況之間的充分條件、假言命題有三種，分別反映了事物情況之間的充分條件、必要條件和充分必要條件關系。必要條件和充分必要條件關系。第四節第四節 假言命題及其有效推理假言命題及其有效推理第四節第四節 假言命題及其有效推理假言

24、命題及其有效推理 （一）充分條件假言命題的邏輯形式、邏輯性質和真值表（一）充分條件假言命題的邏輯形式、邏輯性質和真值表 充分條件假言命題充分條件假言命題：斷定前件陳述的事物情況是后件陳述的事：斷定前件陳述的事物情況是后件陳述的事物情況的充分條件的假言命題。物情況的充分條件的假言命題。 前件是后件的充分條件，指的是只要前件所斷定的事物情況存前件是后件的充分條件，指的是只要前件所斷定的事物情況存在，后件所斷定的事物情況就一定存在，即所謂在，后件所斷定的事物情況就一定存在，即所謂“有之必然有之必然”的條的條件關系。件關系。 35.如果兩個物體相互摩擦，那么就會產生熱。如果兩個物體相互摩擦，那么就會產

25、生熱。第四節第四節 假言命題及其有效推理假言命題及其有效推理 常見的語言聯結詞常見的語言聯結詞： “如果如果那么那么”、 “只要只要就就”、“若若必必”、“倘若倘若則則”，等。，等。 蘊涵詞蘊涵詞： （讀作（讀作“蘊涵蘊涵”）如果用命題變項如果用命題變項p和和q分別表示前件和后件，則充分條件假言命題的分別表示前件和后件，則充分條件假言命題的邏輯形式可表示為：邏輯形式可表示為： pq（讀作（讀作“p蘊涵蘊涵q”）第四節第四節 假言命題及其有效推理假言命題及其有效推理 充分條件假言命題的邏輯性質：充分條件假言命題的邏輯性質： 當前件真而后件假時，充分條件假言命題是假的。當前件真而后件假時，充分條件

26、假言命題是假的。 充分條件假言命題的前件只是被假定為真。只要充分條件假言命題的前件只是被假定為真。只要“前件為真前件為真”這一這一假定是保證假定是保證“后件為真后件為真”的充分條件，即使前件和后件不合乎事實，的充分條件，即使前件和后件不合乎事實，即前件和后件為假，其中的條件關系仍然成立，即充分條件假言命即前件和后件為假，其中的條件關系仍然成立，即充分條件假言命題仍然可以為真：題仍然可以為真： 36.如果我們在如果我們在2003年前就制造出了抗年前就制造出了抗SARS病毒的疫苗，那么病毒的疫苗，那么SARS在在2003年就不可能在大范圍內傳播。年就不可能在大范圍內傳播。第四節第四節 假言命題及其

27、有效推理假言命題及其有效推理 37.如果一位同學沒有來上課，那么他肯定患上了如果一位同學沒有來上課，那么他肯定患上了SARS。很容易找到一位沒有來上課的同學，但他沒有患很容易找到一位沒有來上課的同學，但他沒有患SARS。因此，。因此，“一位同學沒有來上課一位同學沒有來上課”并不構成并不構成“該同學患該同學患SARS”的的“有之必有之必然然”的條件，即充分條件。的條件，即充分條件。 pq是假的，當且僅當是假的，當且僅當p真且真且q假。假。第四節第四節 假言命題及其有效推理假言命題及其有效推理pqpqTTTTFFFTTFFT第四節第四節 假言命題及其有效推理假言命題及其有效推理 （二）充分條件假言

28、推理的有效式（二）充分條件假言推理的有效式 充分條件假言推理充分條件假言推理，前提之一為充分條件假言命題并根據其邏，前提之一為充分條件假言命題并根據其邏輯性質進行推演的推理。輯性質進行推演的推理。 充分條件假言推理的有效式充分條件假言推理的有效式： 肯定前件式肯定前件式： p q p q 38.如果天下大雨，那么地會濕；剛才下了大雨，所以地濕了。如果天下大雨，那么地會濕；剛才下了大雨，所以地濕了。第四節第四節 假言命題及其有效推理假言命題及其有效推理否定后件式否定后件式： p q q p 39.如果天下大雨，那么地會濕；如果天下大雨，那么地會濕； 現在地沒有濕，現在地沒有濕， 所以，現在沒有下

29、雨。所以，現在沒有下雨。第四節第四節 假言命題及其有效推理假言命題及其有效推理充分條件假言推理的有效式可以橫寫為：充分條件假言推理的有效式可以橫寫為：（p q）p q 或或 （p q） q p橫寫式中表示前提和結論之間關系的符號與蘊涵詞是相同的。橫寫式中表示前提和結論之間關系的符號與蘊涵詞是相同的。這是因為，一切演繹推理實際上都是前提蘊涵結論的推理，有效的這是因為，一切演繹推理實際上都是前提蘊涵結論的推理，有效的演繹推理的前提和結論的邏輯關系應當是演繹推理的前提和結論的邏輯關系應當是“前提真則結論必然真前提真則結論必然真”的蘊涵關系，因此演繹推理的有效式均可橫寫為蘊涵式。的蘊涵關系，因此演繹推

30、理的有效式均可橫寫為蘊涵式。第四節第四節 假言命題及其有效推理假言命題及其有效推理充分條件假言推理的推理規則充分條件假言推理的推理規則： 肯定前件就要肯定后件，否定后件就要否定前件；肯定前件就要肯定后件，否定后件就要否定前件； 否定前件不能斷定后件，肯定后件不能斷定前件。否定前件不能斷定后件，肯定后件不能斷定前件。第四節第四節 假言命題及其有效推理假言命題及其有效推理 （一）必要條件假言命題的邏輯形式、邏輯性質和真值表（一）必要條件假言命題的邏輯形式、邏輯性質和真值表 必要條件假言命題必要條件假言命題：斷定前件陳述的事物情況是后件陳述的事物：斷定前件陳述的事物情況是后件陳述的事物情況的必要條件

31、的假言命題。情況的必要條件的假言命題。 前件是后件的必要條件，指的是如果不存在前件所斷定的事物情前件是后件的必要條件，指的是如果不存在前件所斷定的事物情況，后件所斷定的事物情況就一定不存在，即所謂況，后件所斷定的事物情況就一定不存在，即所謂“無之必不然無之必不然”的的條件關系。條件關系。 40.只有張某具備作案時間，他才可能是作案者。只有張某具備作案時間，他才可能是作案者。第四節第四節 假言命題及其有效推理假言命題及其有效推理 常見的語言聯結詞常見的語言聯結詞： “只有只有才才”、 “必須必須才才”、“如果不如果不那么那么就不就不”、“除非除非否則否則”，等。，等。 逆蘊涵詞逆蘊涵詞： （讀作

32、（讀作“逆蘊涵逆蘊涵”）如果用命題變項如果用命題變項p和和q分別表示前件和后件，則必要條件假言命題的分別表示前件和后件，則必要條件假言命題的邏輯形式可表示為：邏輯形式可表示為： p q（讀作（讀作“p逆蘊涵逆蘊涵q”）第四節第四節 假言命題及其有效推理假言命題及其有效推理 必要條件假言命題的邏輯性質：必要條件假言命題的邏輯性質： 當前件為假而后件真時，必要條件假言命題是假的。當前件為假而后件真時，必要條件假言命題是假的。 p q是假的，當且僅當是假的，當且僅當p假而假而q真。真。第四節第四節 假言命題及其有效推理假言命題及其有效推理pqpqTTTTFTFTFFFT第四節第四節 假言命題及其有效

33、推理假言命題及其有效推理 （二）必要條件假言推理的有效式（二）必要條件假言推理的有效式 必要條件假言推理：必要條件假言推理：前提之一為必要條件假言命題并根據前提之一為必要條件假言命題并根據其邏輯性質進行推演的推理。其邏輯性質進行推演的推理。第四節第四節 假言命題及其有效推理假言命題及其有效推理 必要條件假言推理的有效式必要條件假言推理的有效式： 否定前件式否定前件式： p q p q 41.只有年滿只有年滿18周歲，才有選舉權；小王只有周歲，才有選舉權；小王只有13歲；故他歲；故他還沒有選舉權。還沒有選舉權。 可橫寫為：可橫寫為：（p q） p q 第四節第四節 假言命題及其有效推理假言命題及其有效推理肯定后件式肯定后件式： p q q p 42.只有年滿只有年滿18周歲，才有選舉權；小王已在去年周歲，才有選舉權；小王已在去年3月份月份行使過選舉權；因此，他肯定年滿行使過選舉權；因此，他肯定年滿18周歲。周歲。可橫寫為：可橫寫為：（p q）q p第四節第四節 假言命題及其有效推理假言命題及其有效推理必要條件假言推理的推理規則必要條件假言推理的推理規則：否定前件就要否定后件，肯定后件就要肯定前件；否定前件就要否定后件，肯定后件就要肯定前件；肯定前件不能斷定后件，否定后件不能斷定前件。肯定前件不能斷定后件，否定后件不能斷定前件。第四節第四節 假言命題及其有效推理假言命題及其有效推理