1、邏輯復(fù)習(xí)。,1,復(fù)習(xí),充分條件假言命題的定義、聯(lián)結(jié)詞、形式、邏輯特性。（前真后假為假；其余為真。引申：前真后必真，后假前必假。） 有效推理式和推理規(guī)則： 1.肯定前件式（肯前式） pq， p q 2.肯定否定式（肯否式） pq， q p 推理規(guī)則： 1.肯定前件就要肯定后件，肯定后件不能肯定或否定前件； 2.否定后件就要否定前件，否定前件不能肯定或否定后件。,邏輯復(fù)習(xí)。,2,真值表方法,完全真值表方法 簡化真值表方法（歸謬賦值法） 前提 結(jié)論 1 0 0,邏輯復(fù)習(xí)。,3,習(xí)題,一、填空 若p取值為假，q取值為真 ，則pq取值為 1 ， pq取值為 0 。 若“pq”取值為假，則p取值為 1 ，

2、q取值為 0 。 命題“如果氣溫降至0度，那么水就要結(jié)冰。”的命題形式是 如果p，那么q 。真值形式是 pq 。 命題“并非如果買股票，就會發(fā)大財。”的命題形式是 并非如果p，那么q ， 真值形式是 （ pq） 。 5.充分條件假言推理的有效式是 pq， p q 和 pq， q p 。,邏輯復(fù)習(xí)。,4,6.充分條件假言推理的規(guī)則是 1.肯定前件就要肯定后件，肯定后件不能肯定或否定前件；2.否定后件就要否定前件，否定前件不能肯定或否定后件。 7.蘊(yùn)涵定義律和否定蘊(yùn)涵律的表達(dá)式是 pq pq和 (pq) pq。 8與命題“如果人沒有自知之明，就要犯錯誤。”矛盾的合取命題是雖然人沒有自知之明，但不犯

3、錯誤。 與之等值的析取命題是或者人有自知之明，或者要犯錯誤。,邏輯復(fù)習(xí)。,5,二、檢驗下列推理是否有效,p(qr), q(pr) (pq)r pqr, r pq qp, rs, (sq)t, t (pr) rs, qp, ps (qr),邏輯復(fù)習(xí)。,6,二、必要條件假言命題及其推理,（一）必要條件假言命題的邏輯特性 1.定義 2.聯(lián)結(jié)詞和命題形式 3.邏輯特性： 前假后真為假， 其余為真 引申： 前假后必假； 后真前必真。,邏輯復(fù)習(xí)。,7,逆蘊(yùn)涵定義律和否定逆蘊(yùn)涵律,逆蘊(yùn)涵定義律： pq pq 否定逆蘊(yùn)涵律： (pq) pq 蘊(yùn)涵逆蘊(yùn)涵交換律： pq qp pq,邏輯復(fù)習(xí)。,8,（二）必要條件

4、假言推理,1.否定前件式（否前式） pq， p q 2.肯定后件式（肯后式） pq， q p 推理規(guī)則： 1.否定前件就要否定后件，肯定前件不能肯定或否定后件； 2.肯定后件就要肯定前件，肯定前件不能肯定或否定后件。,邏輯復(fù)習(xí)。,9,蘊(yùn)涵與逆蘊(yùn)涵推理的轉(zhuǎn)換,1.否定前件式（否前式） pq， p q qp， p q 2.肯定后件式（肯后式） pq， q p qp， q p,邏輯復(fù)習(xí)。,10,三、充分必要條件假言命題及其推理,（一）充分必要條件假言命題的邏輯特性 1.定義 2.聯(lián)結(jié)詞和命題形式 3.邏輯特性： 前后件同真同假為真， 其余為假。 引申： 前真后真，前假后假； 后真前真，后假前假。,邏

5、輯復(fù)習(xí)。,11,等值定義律和否定等值律,等值定義律： pq (p q) (p q) pq (p q) (p q) pq (p q) 否定等值律 (pq) (p q) (p q) （pq） p q,邏輯復(fù)習(xí)。,12,（二）充分必要條件假言推理,1.肯定前件式（肯前式） pq， p q 2.否定后件式（否后式） pq， q p 3.否定前件式（否前式） pq， p q 4.肯定后件式（肯后式） pq， q p 推理規(guī)則： 肯前就要肯后，否前就要否后； 肯后就要肯前，否后就要否前。,邏輯復(fù)習(xí)。,13,等值命題與矛盾命題,(pq) (pq) (pq) (pq) (pq)(pq) (pq) (pq) (

6、pq) (pq) (pq)(pq),邏輯復(fù)習(xí)。,14,真值表的解題作用,已知下列三命題中： A：如果甲隊是冠軍，那么乙隊是亞軍。 B：如果乙隊是亞軍，那么甲隊是冠軍。 C：甲隊不是冠軍。 請問： 1.上述三命題中，只有一真，那一個為真？甲隊是不是冠軍？乙隊是不是亞軍？ 2.上述三命題中，只有一假，那一個為假？甲隊是不是冠軍？乙隊是不是亞軍？ 3.上述三命題中全真，甲隊是不是冠軍？乙隊是不是亞軍？,邏輯復(fù)習(xí)。,15,真值表的解題作用,邏輯復(fù)習(xí)。,16,請用真值表方法解題：當(dāng)A、B、C同時為真時，甲、乙是否為南方人？,A：甲乙二人中至少有一人不是南方人。 B：甲是南方人而乙不是南方人。 C：要么甲

7、是南方人，要么乙是南方人。 答：當(dāng)A、B、C同時為真時，甲是南方人，乙不是南方人,邏輯復(fù)習(xí)。,17,對甲、乙棋手的下棋步驟，有如下的猜測：,A：如果甲跳馬，那么乙出車。 B：要么甲不跳馬，要么乙不出車。 C：只有乙出車，甲才不跳馬。 D：甲不跳馬，但乙出車。 事實證實上述四種猜測只有二種正確，且這二種之間具有蘊(yùn)涵關(guān)系。請據(jù)表回答： 與的猜測正確。 二種正確的猜測中。蘊(yùn)涵。 甲是否跳馬？ 乙是否出車？,邏輯復(fù)習(xí)。,18,答案,B與C的猜測正確。 二種正確的猜測中，B蘊(yùn)涵C。 甲跳馬。 乙不出車。,邏輯復(fù)習(xí)。,19,列出下列A、B、C、D四命題的真值表： A：“甲、乙兩人中至少有一人不是運動員”

8、這說法不對。 B：要么甲不是運動員，要么乙是運動員。 C：如果甲是運動員，則乙不是運動員。 D：只有乙不是運動員，甲才是運動員。 A與B具有 關(guān)系。 C與D具有 關(guān)系。 A與C具有 關(guān)系。 A與D具有 關(guān)系。,邏輯復(fù)習(xí)。,20,答案,A與B具有蘊(yùn)涵關(guān)系。 C與D具有等值關(guān)系。 A與C具有矛盾關(guān)系。 A與D具有矛盾關(guān)系。,邏輯復(fù)習(xí)。,21,用真值表方法回答： 在什么情況下，丁的話能成立？ 甲：小陳是木工并且小李不是電工。 乙：小陳不是木工或者小李不是電工。 丙：如果小陳是木工，那么小李不是電工。 丁：你們?nèi)苏f的都不對。 答：在小陳是木工并且小李是電工的情況下，丁的話能成立。,邏輯復(fù)習(xí)。,22,

9、真值表解題 P/283頁第七題 甲 乙 丙 丁,邏輯復(fù)習(xí)。,23,習(xí)題,1.填空： 必要條件假言命題的邏輯特性是 。 若p取值為假，q取值為真 ，則pq取值為 ， pq取值為 。 若“pq”取值為假，則p取值為 ，取q值為 。 .命題“除非年滿十八，且有相關(guān)證明，才能報名。”的命題形式是 。真值形式是 。 必要條件假言推理的有效式是 和 。 必要條件假言推理的規(guī)則是 。 蘊(yùn)涵逆蘊(yùn)涵交換律的表達(dá)式是 和 。 與命題“只有什么事也不干的人，才不會犯錯誤。”矛盾的合取命題是 。與之等值的析取命題是 。與之等值的蘊(yùn)涵命題是 。,邏輯復(fù)習(xí)。,24,充要條件假言命題的邏輯特性是 。 若p取值為假，q取值為

10、真 ，則pq取值為 ， pq取值為 。 當(dāng)“pq”取值為真時，若p取值為真，則q取值為 。若p取值為假，則q取值為 。 充要條件假言推理的有效式是 、 、 和 。 充要條件假言推理的規(guī)則是 。 等值定義律的表達(dá)式是 和 。 否定等值律的表達(dá)式是 。 與命題“當(dāng)且僅當(dāng)二人以上共同故意犯罪，則構(gòu)成共同犯罪。”矛盾的嚴(yán)格析取命題是 。與之矛盾的析取命題是 。與之等值的析取命題是 。與之等值的合取命題是 。,邏輯復(fù)習(xí)。,25,2.單項選擇,與“只有具有社會危害性的行為，才是犯罪行為。”矛盾的命題是（ ） 或者具有社會危害性的行為，或者不是犯罪行為。 雖然不具有社會危害性的行為，也是犯罪行為。 如果具有社會危害性的行為，就是犯罪行為。 要么具有社會危害性的行為，要么是犯罪行為。 2.與“除非努力學(xué)習(xí)，才能取得好成績。”等值的命題是（ ） 雖然努力學(xué)習(xí)，但不能取得好成績。 或者不努力學(xué)習(xí)，或者取得好成績。 或者努力學(xué)習(xí)，或者不取得好成績。 如果努力學(xué)習(xí)，就能取得好成績。,邏輯復(fù)習(xí)。,26,3.若“p q”為假，則（ ）為真。 p q p q p q (p q）(p q） 4.若“p q ”為