5.1. Phự ệỡnh phịn ệoịn ệển bao giê còng cho kạt quờ lộ phịn ệoịn nỪm
trong quan hỷ mẹu thuÉn vắi nã
7A ↔ O 7E ↔ I
7I ↔ E 7O ↔ A
5.2. Phự ệỡnh phịn ệoịn phục
7(7a) ↔ a 7(a v b) ↔ 7a ∧∧∧∧ 7b
7(a ∧∧∧∧ b) ↔ 7a v 7b 7(a →→→→ b) ↔ a ∧∧∧∧ 7b
L−u ý: Còng gièng nh− trong phịn ệoịn phự ệỡnh, trong thao tịc phự ệỡnh phịn ệoịn, nạu ệem phự ệỡnh nã ệi thừ phịn ệoịn thu ệ−ĩc luền cã giị trỡ lềgÝc ng−ĩc vắi giị trỡ lềgÝc cựa phịn ệoịn ệở cho.
Cẹu hái thờo luẺn vộ ền tẺp
1) Trừnh bộy vÒ nguăn gèc, bờn chÊt vộ cịc ệẳc ệiÓm cựa phịn ệoịn. Mèi liến hỷ giọa phịn ệoịn vộ cẹu.
2) Hởy chử ra cịc cẽn cụ khịc nhau ệÓ phẹn loỰi phịn ệoịn. Cho vÝ dô ệèi vắi tõng loỰi phịn ệoịn ệ−ĩc nếu ra.
3) Trừnh bộy vÒ: cÊu tỰo, cịc ệẳc tr−ng vÒ chÊt vộ l−ĩng, cịc kiÓu phịn ệoịn ệển cể bờn. Cho vÝ dô.
4) Thạ nộo lộ tÝnh chu diến cựa thuẺt ngọ lềgÝc trong phịn ệoịn ệển? Trừnh bộy cịch xịc ệỡnh chu diến cựa cịc thuẺt ngọ lềgÝc trong cịc phịn ệoịn ệển cể bờn.
5) Trừnh bộy quan hỷ giọa cịc phịn ệoịn ệển vÒ mẳt giị trỡ lềgÝc dùa trến hừnh vuềng lềgÝc.
6) Phịt biÓu ệỡnh nghỵa vÒ cịc loỰi phịn ệoịn phục hĩp cể bờn. LẺp bờng giị trỡ lềgÝc cựa chóng.
7) Nếu cịch thục chung xịc ệỡnh giị trỡ lềgÝc cựa phịn ệoịn ệa phục hĩp. Cho mét vÝ dô vộ hởy tÝnh giị trỡ lềgÝc cựa phịn ệoịn trong vÝ dô Êy.
8) Thạ nộo lộ tÝnh ệỬng trỡ cựa phịn ệoịn phục hĩp cể bờn. Hởy tù từm mét phịn ệoịn vộ phịt biÓu tÊt cờ cịc phịn ệoịn ệỬng trỡ vắi nã.
Bội tẺp:
1) Hởy sỏ dông cịc khịi niỷm trong cỉng mét nhãm cã ệịnh dÊu sao* ẻ bội tẺp sè 4 (phẵn khịi niỷm) ệÓ xẹy dùng ẻ mẫi kiÓu mét phịn ệển chẹn thùc; xịc ệỡnh tÝnh chu diến cựa cịc thuẺt ngọ trong cịc phịn ệoịn ệã.
2) Cho cịc phịn ệoịn:
a) Mải Giịo s− lộ giờng viến; b) Mải sè chơn ệÒu chia hạt cho 2; c) Mải sè lĨ khềng lộ sè chơn; d) Mét sè sinh viến lộ ệờng viến; e) Mét sè ng−êi lao ệéng lộ trÝ thục; g) Mét sè ệoộn viến khềng lộ cềng nhẹn;
h) Mét sè nhộ khoa hảc khềng lộ nhộ kinh tạ hảc.
Hởy phịt biÓu tÊt cờ cịc phịn ệoịn nỪm trong cịc quan hỷ khịc nhau vắi tõng phịn ệoịn nếu trến dùa vộo hừnh vuềng lềgÝc vộ xịc ệỡnh giị trỡ lềgÝc cựa chóng.
3) TỰi mét ngềi ệÒn cã ba vỡ thẵn. Mét vỡ chuyến nãi thẺt gải lộ Ộthẵn nãi thẺtỢ, mét vỡ chuyến nãi dèi gải lộ Ộthẵn nãi dèiỢ, mét vỡ lóc thừ nãi thẺt, lóc thừ nãi dèi gải lộ Ộthẵn khền ngoanỢ. Biạt rỪng, cờ ba vỡ ệÒu cã diỷn mỰo, trang phôc gièng hỷt nhau (khềng thÓ phẹn biỷt hả nhê ngoỰi hừnh). Hả ngăi thộnh hộng ngang tr−ắc diỷn thê. Cã mét ng−êi ệở xịc ệỡnh cịc vỡ thẵn ệã Ộai lộ aiỢ bỪng cịch hái mẫi vỡ mét cẹu hái nh− sau:
Hái vỡ thẵn thụ nhÊt: ỘThẵn ngăi cỰnh ngội lộ ai?Ợ; Trờ lêi: ỘThẵn nãi dèiỢ;
Hái vỡ thẵn thụ hai: ỘNgội lộ ai?Ợ; Trờ lêi: ỘTa lộ thẵn khền ngoanỢ
Hái vỡ thẵn thụ ba: ỘThẵn ngăi cỰnh ngội lộ ai?Ợ; Trờ lêi: ỘThẵn nãi thẺtỢ.
Sau khi nghe cịc cẹu trờ lêi, ng−êi ệã ệở biạt ệ−ĩc Ộai lộ aiỢ. Hái ng−êi ệã ệở lẺp luẺn thạ nộo?
4) TỰi mét xở cã hai xãm. Dẹn ẻ mét xãm chuyến nãi thẺt, cưn dẹn xãm kia chuyến nãi ng−ĩc (thẺt thộnh giờ vộ ng−ĩc lỰi). Biạt rỪng, hả vÉn qua lỰi giao tiạp vắi nhau (cã thÓ gẳp ng−êi nãi thẺt ẻ xãm cựa ng−êi nãi ng−ĩc vộ ng−ĩc lỰi). Cã mét ng−êi cẵn ệi từm bỰn mừnh ẻ xãm nãi thẺt. Ng−êi ệã ệở vÒ ệạn xở ệã nh−ng khềng biạt mừnh ệang ẻ xãm nộo. Từnh cê gẳp mét ng−êi dẹn sẻ tỰi, ng−êi ệã hái mét cẹu, sau khi nghe trờ lêi, ng−êi ệã ệở xịc ệỡnh ệ−ĩc mừnh ệang ẻ xãm nộo. Hái: ng−êi ệã ệở ệẳt cẹu hái gừ vộ cẹu trờ lêi cựa ng−êi dẹn lộ gừ mộ lỰi biạt ệ−ĩc nh− vẺy.
5) ậẳt: a lộ trêi m−a, b lộ trêi rĐt, c lộ trêi hanh khề; hởy viạt cềng thục cựa cịc phịn ệoịn d−ắi ệẹy:
a) Trêi khềng nhọng m−a, mộ cưn rĐt; b) Trêi khềng m−a còng khềng rĐt; c) Trêi cã m−a ệẹu mộ rĐt; (adsbygoogle = window.adsbygoogle || []).push({});
d) Trêi m−a nh−ng ệẹu thÊy Èm (l−u ý: Èm lộ ng−ĩc vắi khề); e) Khềng thÓ cã chuyỷn trêi m−a mộ khềng rĐt;
g) Lộm gừ cã chuyỷn trêi Êm thạ mộ khềng m−a (Êm lộ ng−ĩc vắi rĐt); h) Nạu trêi m−a thừ sỳ Êm vộ Èm;
i) Trêi khềng m−a khi vộ chử khi khề vộ rĐt.
Cho giị trỡ lềgÝc cựa: a =1; b = 0; c =1; hởy tÝnh giị trỡ lềgÝc cựa cịc cềng thục trến. 6) Cho cịc cềng thục lềgÝc: a) [(a → c)∧(b → c)∧(a v b)] → c b) [(a → c)∧(b → d)∧(a v b)] → (c v d) c) [(a → b)∧(a → c)∧(7b v 7c)] → 7a d) [(a → c)∧(b → d)∧(7c v 7d)] → (7a v 7b)
Hởy tÝnh: Giị trỡ lềgÝc cựa cềng thục a vộ c vắi hai bé giị trỡ: [a =1; b = 0; c =1]; vộ [a = 0; b = 1; c =0];
Giị trỡ lềgÝc cựa cềng thục b vộ d vắi hai bé giị trỡ: [a =1; b = 0; c =1; d = 0]; vộ [a = 0; b = 1; c =0; d = 1];
Hởy lẺp bờng ệẵy ệự giị trỡ lềgÝc cựa chóng vộ gịn cho a, b, c, d lộ nhọng phịn ệoịn ệển tuú ý ệÓ sao cho khi ghĐp vộo cịc cềng thục ệở cho, ta ệ−ĩc mét cẹu t−ểng ệèi cã nghỵa.
7) Ng−êi ta nghi A vộ B lộ hai thự phỰm trong mét vô ịn mỰng. Cã bèn nhẹn chụng vộ hả lẵn l−ĩt khai nh− sau: ỘA khềng giạt ng−êiỢ; ỘB khềng giạt ng−êiỢ; ỘÝt nhÊt cã mét trong sè hai lêi khai trến lộ ệóngỢ; ỘLêi khai cựa nhọng thụ ba lộ saiỢ. Kạt quờ ệiÒu tra cho thÊy chử riếng ng−êi thụ t− khai ệóng. VẺy ai lộ kĨ sịt nhẹn.
8) Cã ba kĨ lộ B, C, D bỡ nghi ngê lộm tiÒn giờ. Bản hả khai nh− sau: B: D cã téi, cưn C khềng cã téi;
C: Tềi khềng cã téi, Ýt nhÊt mét trong sè hả cã téi; D: Nạu B cã téi, thừ C còng cã téi.
LẺp bờng giị trỡ lềgÝc cựa cịc lêi khai trến ệÓ trờ lêi cịc cẹu hái d−ắi ệẹy: a) Cã mét lêi khai ệ−ĩc suy ra tõ lêi khai khịc. ậã lộ nhọng lêi khai nộo? b) Giờ thiạt rỪng, cờ ba ệÒu về téi, vẺy ai khai ệóng, ai khai sai?
c) Giờ thiạt rỪng, cờ ba lêi khai ệÒu ệóng, vẺy ai cã téi, ai về téi?
d) Nạu ng−êi về téi khai ệóng, kĨ cã téi khai sai, vẺy ai cã téi, ai về téi? 9) Phịt biÓu tÊt cờ cịc phịn ệoịn ệỬng trỡ vắi tõng phịn ệoịn d−ắi ệẹy: a) Muèn xẹy dùng chự nghỵa xở héi, thừ phời cã nhọng con ng−êi XHCN; b) Phịt triÓn kinh tạ thỡ tr−êng, nh−ng phời giọ vọng ệỡnh h−ắng XHCN; c) Nhộ t− bờn bãc lét cềng nhẹn bỪng cịch tẽng giê lộm hoẳc giờm l−ểng; d) Khềng thÓ trẻ thộnh chuyến gia giái, nạu khềng cã tri thục triạt hảc; e) Tr−êng ậH KHXH&NV phời trẻ thộnh trung tẹm ệộo tỰo chÊt l−ĩng cao vộ nghiến cụu khoa hảc chuyến sẹu;
g) Phời thẺt g−ểng mÉu, hoẳc khềng thÓ trẻ thộnh ng−êi cịn bé ệoộn giái. 10) Cã ba sinh viến A, B, C ẻ cỉng mét phưng KTX. Quy luẺt ệi hảc cựa hả nh− sau:
- Nạu A nghử hảc, thừ B còng nghử hảc; - Nạu A ệi hảc, thừ cờ B vộ C còng ệi hảc; Hái: Nạu B ệi hảc, thừ C cã ệi hảc khềng?
11) Cã ba sinh viến A, B, C ẻ cỉng mét KTX, nh−ng khịc phưng. Hả thoờ thuẺn vắi nhau nh− sau: nạu ai ệã trong bản hả khềng ẻ phưng ngoội giê hảc, thừ Ýt nhÊt mét trong hai ng−êi cưn lỰi vèn ệang ẻ phưng mừnh phời biạt bỰn ệã ệang ẻ ệẹu. Hởy cho biạt, cịc bỰn ệã ệang ẻ ệẹu, nạu khềng ai biạt bỰn mừnh ệang ẻ ệẹu?
Bội 3. QUY LUẺT lềgÝc