n tp Logic Hc 1, Bi tp chng 1: i tng v ngha ca logic hc

Bi 1. Hy vit cng thc logic ca nhng t tng sau: a/ C y thng minh v nhanh nhn. b/ Tt nghip i hc, ti s hc tip cao hc hoc i lm. c/ Nu khng c gng, anh s khng th thc hin tt nhim v ny. d/ Khng th no c chuyn l cng dn m li khng tun th php lut. e/ Nu l chim, ti s l loi b cu trng; nu l hoa, ti s l mt a hng dng; nu l my, ti s l mt vng my m; nu l ngi, ti s cht cho qu hng. f/ D trm ln khng dn cng chu, Kh vn ln dn liu cng xong. Bi lm a/ C y thng minh v nhanh nhn. C th vit li cu nh sau: C y thng minh v c y nhanh nhn. Ta t c y thng minh l mnh a, t c y nhanh nhn l mnh b. => Ta c cng thc logic ca t tng l: a b b/ Tt nghip i hc, ti s hc tip cao hc hoc i lm. C th vit li cu nh sau: Nu tt nghip i hc th ti s hc tip cao hc hoc ti s i lm. Ta t: Tt nghip i hc l mnh a, t ti s hc tip cao hc l mnh b; t ti s i lm l mnh c => Ta c cng thc logic ca t tng l: a (b c) c/ Nu khng c gng, anh s khng th thc hin tt nhim v ny. C th vit li cu nh sau: Nu anh khng c gng th anh s khng th thc hin tt nhim v ny.

Ta t anh c gng l mnh a, ta t anh s thc hin tt nhim v ny l mnh b => anh khng c gng l a ; anh s khng thc hin tt nhim v ny l b => Ta c cng thc logic ca t tng l: a b d/ Khng th no c chuyn l cng dn m li khng tun th php lut. Ta t cng dn tun th php lut l mnh a cng dn khng tun th php lut l a => Ta c cng thc logic ca t tng l a e/ Nu l chim, ti s l loi b cu trng; nu l hoa, ti s l mt a hng dng; nu l my, ti s l mt vng my m; nu l ngi, ti s cht cho qu hng. C th vit li cu nh sau: Nu ti l chim th ti s l loi b cu trng; nu ti l hoa th ti s l mt a hng dng; nu ti l my th ti s l mt vng my m; nu ti l ngi th ti s cht cho qu hng. Ta t: ti l chim l mnh a, ti s l loi b cu trng l mnh a1; ti l hoa l mnh b, ti s l mt a hng dng l mnh b1; ti l my l mnh c, ti s l mt vng my m l mnh c1; ti l ngi l mnh d, ti s cht cho qu hng l mnh d1 => Ta c cng thc logic ca t tng l: (a a1) (b b1) (c c1) (d d1) *f/ D trm ln khng dn cng chu, Kh vn ln dn liu cng xong. C th vit li nh sau: Vic d trm ln nhng dn khng lm th cng chu, vic kh vn ln nhng dn liu th cng xong Ta t vic d trm ln l mnh a, khng dn l mnh b, cng chu l mnh c Nh vy th vic kh vn ln c th coi nh mnh a dn liu c th coi nh mnh b V cng xong c th coi nh mnh c => Ta c cng thc logic ca t tng l:

(a b) c (a b) c

2, Bi tp chng 3: Phn on
Bi 1. Tm 3 phn on tng ng vi phn on sau: a/ n qu nh k trng cy b/ Chm sc tr em l ngha v ca c gia nh v x hi c/ Hoc bn thng xuyn hc tp hoc bn s b lc hu so vi cuc sng Bi lm a/ n qu nh k trng cy C th vit li cu trn nh sau: Nu n qu th phi nh ti k trng cy Ta t: n qu l mnh a; nh k trng cy l mnh b Cng thc logic ca t tng l a b Cc cng thc logic tng ng: a b = a b = a b = b a => a b : Khng th no c chuyn l n qu m li khng nh k trng cy. => a b : Hoc l khng n qu, hoc l phi nh ti k trng cy => b a : Nu khng nh ti k trng cy th ng n qu b/ Chm sc tr em l ngha v ca c gia nh v x hi Ta t chm sc tr em l ngha v ca gia nh l mnh a; chm sc tr em l ngha v ca x hi l mnh b; Cng thc logic ca t tng l a b Cc cng thc logic tng ng: a b = a b = b a = a b => a b : Khng th no c chuyn chm sc tr em l ngha v ca gia nh th khng phi l ngha v ca x hi. => b a : Khng th no c chuyn chm sc tr em l ngha v ca x hi th khng phi l ngha v ca gia nh.

=> a b => Khng th no c chuyn hoc chm sc tr em khng phi l ngha v ca gia nh hoc chm sc tr em khng phi l ngha v ca x hi. c/ Hoc bn thng xuyn hc tp hoc bn s b lc hu so vi cuc sng Ta t bn thng xuyn hc tp l mnh a; Bn s b lc hu so vi cuc sng l mnh b Ta c cng thc logic ca t tng l: a b; Cc cng thc logic tng ng: a b = a b = b a = a b => a b : Nu bn khng thng xuyn hc tp th bn s b lc hu so vi cuc sng y. => b a : Nu bn mun khng b lc hu so vi cuc sng th bn phi thng xuyn hc tp. => a b : Khng th no c chuyn bn khng thng xuyn hc tp m li khng b lc hu so vi cuc sng.

3, Bi tp chng 4: Cc quy lut c bn ca logic

Bi 1. Cu ni in m sau c hp logic khng: Mt ngi nghin ru ni vi bn ca mnh: Mi ln say ru ti li chi bi nh p v con, ti xu h lm, t nay ti s khng bao gi ung ru na. Nhng c vi hm, tnh c ngi bn nghn thy ngi nghin ru ang ung ru trong qun bn chy li ni: Sao anh li th ny, anh ha l s khng bao gi ung ru na kia m? Ngi nghin ru mi di by tm s: hic hic, bn i, c mi ln ngh n mnh tng chi bi nh p v con ti thy xu h lm. Ti phi ung ru qun i ni xu h v ung ru, bn Bi lm Chng ta phi xt gi tr logic ca cu: ung ru qun i ni xu h v ung ru Ta t: ung ru l mnh a; xu h l mnh b; Nh vy ung ru qun i ni xu h c cng thc logic l:

a b (*) V xu h v ung ru ung ru th xu h c cng thc logic l: a b (**) T (*) v (**) => cng thc chung ca t tng l: (a b ) ( a b) (a b) = c Gi s (a b ) ( a b) = c (a b) = c Kt qu trn khng hp logic v vi phm quy lut khng mu thun: Khng th ng thi khng nh 2 iu m trn thc t chng loi tr nhau Vy (a b ) ( a b) = g

4, Bi tp chng 5: Suy lun

Bi 1. Hy tm 3 phn on tng ng: a/ Mi cng dn u phi tun th php lut b/ c n trng l quyn ca mi tr em c/ Mi ngi sinh ra u c quyn bnh ng d/ Tri thc tr ngy nay cn phi gii c l thuyt v thc hnh Bi lm a/ Mi cng dn u phi tun th php lut Ta t cng dn l mnh S; u phi tun th php lut l mnh P Cng thc logic ca t tng l: S l P Cch 1: S l P S khng l P => Mi cng dn u khng c vi phm php lut Cch 2: S l P S khng th khng l P => Mi cng dn u khng th khng tun th php lut Cch 3: o ngc phn on => Tun th php lut l ngha v ca mi cng dn b/ c n trng l quyn ca mi tr em Ta t c n trng l mnh S; quyn ca mi tr em l mnh P Cng thc logic ca t tng l: S l P

Cch 1: S l P S khng th khng l P => c n trng khng th khng l quyn ca mi tr em Cch 2: o ngc phn on => Mi tr em u c quyn c n trng Cch 3: => Mi tr em khng th b tht hc Cch 4: => Mi tr em khng th khng c quyn c n trng c/ Mi ngi sinh ra u c quyn bnh ng Ta t ngi l mnh S; t c quyn bnh ng l mnh P Cng thc logic ca t tng l: S l P Cch 1: S l P S khng l P => Mi ngi sinh ra vn khng mt quyn bnh ng Cch 2: S l P S khng th khng l P => Mi ngi sinh ra khng th khng c quyn bnh ng Cch 3: o ngc phn on => Bnh ng l quyn ca mi ngi ngay t khi mi c sinh ra. Cch 4: i lp v t: P khng l S => Bt bnh ng khng phi l ci nh sn cho con ngi khi mi sinh ra d/ Tri thc tr ngy nay cn phi gii c l thuyt v thc hnh Ta t tri thc tr ngy nay l mnh S; cn phi gii c l thuyt v thc hnh l mnh P Cng thc logic ca t tng l: S l P Cch 1: S l P S khng l P => Tri thc tr ngy nay khng th km v l thuyt hoc thc hnh c Cch 2: S l P S khng l khng P => Tri thc tr ngy nay khng th khng gii c v l thuyt v thc hnh Cch 3: o ngc => Gii c v l thuyt v thc hnh l iu thit yu ca tri thc tr ngy nay Cch 4: i lp v t S l P P khng l S

=> Km l thuyt hoc thc hnh l iu khng th chp nhn c i vi tri thc tr ngy nay. Bi 2.Hy ch ra phng php suy lun v cho bit nhng suy lun sau y c hp logic khng, v sao: a/ Nhm khng phi l ng vt c v v n trng (Ch , trn thc t nhm l ng vt c v) b/ Anh y rt lch lm nn anh y l nh phin dch gii (Gi a nn c tm b?) c/ Thanh nin by gi thng rt t do, m n th l thanh nin. d/ Rng ti trc phn n b Ghen tung th cng ngi ta thng tnh Khi lm bi ny ch : _Ch t trong phn on b phn bao gi cng khng chu din _V t trong phn on ph nh bao gi cng chu din _Ch t trong phn on ton b bao gi cng chu din Bi lm a/ Nhm khng phi l ng vt c v v n trng (Ch , trn thc t nhm l ng vt c v) Nhm Cu trn l dng tam on lun rt gn ng vt ng vt C th vit li tam on lun trn nh sau: Nhm trng c v trng ng vt c v hu ht l khng trng => Nhm khng phi l ng vt c v ng vt c v hu ht l khng trng C 1 s ng vt c v l trng => ng vt c v l khng chu din <Ch t trong phn on b phn bao gi cng khng chu din> M Nhm khng phi l ng vt c v => ng vt c v l chu din <V t trong phn on ph nh bao gi cng chu din>

=> Tam on lun khng hp logic v vi phm quy tc 3 Thut ng khng chu din trong tin khng c tr thnh chu din trong kt lun b/ Anh y rt lch lm nn anh y l nh phin dch gii (Gi a nn c tm b?) Cu trn l dng tam on lun rt gn Ngi lch C th vit li tam on lun trn nh sau: Ngi phin Anh y rt lch lm lm dch gii Tt c cc nh phin dch gii u rt lch lm => Anh y l nh phin dch gii Da vo hnh bn ta thy tam on lun bi cho khng hp logic, anh y l ngi lch Anh y lm nhng khng th kt lun anh y l ngi phin dch gii c <do vi phm quy tc 2, thut ng gia lch lm khng chu din ln no> c/ Thanh nin by gi thng rt t do, m n th l thanh nin. Cu trn c dng l tam on lun rt gn T do C th vit li tam on lun trn nh sau: Thanh nin by gi thng rt t do M n th l thanh nin Thanh nin => N rt t do

N Da vo hnh trn ta thy tam on lun bi cho khng hp logic, n l thanh nin nhng khng th kt lun l n rt t do c <do vi phm quy tc 2, thut ng thanh nin khng chu din ln no> d/ Rng ti trc phn n b Ghen tung th cng ngi ta thng tnh Cu trn c dng l tam on lun rt gn C th vit li tam on lun trn nh sau: Ti l phn n b

n b th thng ghen => Ti ghen th cng thng tnh Thut ng n b trong Ti l phn n b khng chu din Thut ng n b trong n b th thng ghen khng chu din Thut ng gia n b khng chu din ln no => tam on lun khng hp logic <do vi phm quy tc 2, thut ng trong tin phi chu din t nht 1 ln> Ghen

n b

Ti Bi 3.Hy ch ra phng php suy lun v cho bit nhng suy lun sau y c hp logic khng, v sao: a/ Th l ch nht va ri c y khng v nh. Nu v nh th no c y cng ra b ao. Nu ra b ao th th no c y cng n ci gc cy . Nu n gc cy th c y nhn thy ci lc v mang i. Th m gi y ci lc vn cn . b/ Ti phi i hc thm ngoi ng. Nu sau khi tt nghip ti khng c thm chng ch ngoi ng ti s kh xin c vic lm. Nu khng xin c vic lm th ti s khng n nh cuc sng ring. Nu khng n nh cuc sng ring th nng s khng ly ti. Bi lm a/ y l suy lun c iu kin thun ty c y ra b ao C y v nh ab c y n gc cy C y ra b ao bc c y nhn thy ci lc C y n gc cy cd C y nhn thy ci lc c y mang lc i de Vy m ci lc vn cn e

=> Ch nht va ri c y khng v nh => Suy lun ca anh chng l hp logic b/ y l suy lun c iu kin thun ty Ti khng c chng ch ngoi ng Ti s kh xin vic Khng xin c vic lm Ti s ko n nh c c/s Ko n nh c c/s ring Nng s khng ly ti M ti th mun ly nng lm v => Ti phi i hc thm ngoi ng c chng ch NN

=> a

ab bc cd d => a

Bi 4.Hy ch ra phng php suy lun: mt vng quc n c mt c cng cha v cng xinh p. Nm y cng cha cng n tui cp k, vua cha bn m hi thi kn ph m cho c con gi yu qu. Th l anh ti khp t phng v kinh thnh d thi. Sau nhiu cuc so ti gay cn n nght th, cui cng hi thi cng chn ra c 3 chng trai xut sc nht, thng minh nht, pro nht n t 3 nc khc nhau: Vit Nam, Anh, M. vng chung kt, vua cha mi a ra mt bi ton hc ba v ra iu kin nu chng trai no gii p ng v nhanh nht th s c chn lm ph m. Bi ton nh sau: Vua cha a ra 5 ci m: 3 m v 2 m vng. Sau bt mt 3 chng trai li, cho mi anh i 1 m v giu 2 chic m cn li i. Sau b bt mt v cho 3 anh nhn nhau, hi xem ngi no on c m mnh i chnh xc v nhanh nht th s c ci cng cha lm v (Ch , 3 chng trai khng th nhn thy mu m mnh ang i, ch c th nhn thy mu m ca 2 ngi cn li) Sau mt pht khng thy 2 ngi kia tr li, ngi Vit Nam bt ng h ln: Ti i m mu . V kt qu cng tht bt ng, chng trai tr li chun khng cn chnh v ln ngi ph m. Hy cho bit anh ta lm th no m suy lun chnh xc nh vy? Bi lm Trong bi ny c th xy ra 3 trng hp Trng hp a: 3 anh cng i m mu Trng hp b: 2 anh i m , 1 anh i m vng Trng hp c: 1 anh i m , 2 anh i m vng

_Ta thy khng th no c trng hp c, v nu xy ra trng hp c th ngi i m s tr li c ngay (v ch c nhiu nht 2 m vng, 2 m vng xut hin th chc chn ngi cn li i m ), cuc thi khng cng bng Nh vy ta loi c trng hp c _Sau khi loi c trng hp c ta thy cng khng th xy ra trng hp b. V cc chng trai bit chc chn khng bao gi c chuyn c 2 ngi i m vng, nu nhn thy c 1 ngi i m vng th s tr li c ngay mnh ang i m mu Nh vy ta loi c trng hp b _Sau khi loi c trng hp b v c => Vy l ch cn li trng hp a: 3 anh u i m , rt hp vi gi thit, c 3 anh mc d rt thng minh nhng 1 pht tri qua mi c ngi tr li.

5, Bi tp chng 6: Chng minh v bc b

Bi 1 mt vng quc n nh Vua ban sc lnh cho nhng ngi th co: Phi co v ch c co cho nhng ai khng t co. Hi theo sc lnh ny th nhng ngi th co c c t co ru tc cho mnh khng? Bi lm bi ny c 2 trng hp xy ra: Trng hp 1: Nu ngi th co t co ru tc cho mnh => ngi th co c th t co => ngi th co co ru tc cho ngi c th t co => vi phm sc lnh ch c co cho nhng ai khng t co Trng hp 2: Nu ngi th co khng co ru tc cho mnh => vi phm sc lnh phi co Ngi th co t co ru tc cho mnh cng khng c m khng co ru tc cho mnh cng khng c nn sc lnh ca nh Vua ban ra l mt nghch l Bi 2 Bi v lng ni tht, lng ni di Version 1.0 1 x X no c 2 lng A v B. Dn lng A chuyn ni tht, dn lng B chuyn ni di. 1 anh chng trai tr, thng minh n x X tm bn. Khi n

x X anh gp c gi ngi a phng, anh y hi c y 1 cu. C gi ny ang vi v cng rt kim li, tr li mi mt cu Khng v b i. Chng trai lin i sang lng bn cnh v tm c ngi bn ca mnh. Hi: Anh ta hi cu g? Bn ca anh ta l ngi lng g? Bi lm Ta thy, do anh chng ch hi 1 cu m c th bit c bn anh ta ang lng no => Cu hi ca anh ta phi lm th no khm ph ra c 2 ni dung: Anh ta ang ng trn lng no v bn ca anh ta l ngi lng ni di hay ni tht. Ta thy cu hi: C l ngi lng ny c phi khng tha mn c 2 iu kin trn. Bi Trng hp 1: Nu anh ta ang ng lng ni tht: _C gi l ngi ni tht th s tr li l: Phi _C gi l ngi ni di th s tr li l: Phi => trng hp ny c gi ch tr li Phi Trng hp 2: Nu anh ta ang ng lng ni di: _C gi l ngi ni tht th s tr li l: Khng _C gi l ngi ni di th s tr li l: Khng => trng hp ny c gi ch tr li Khng Mt khc theo u bi th c gi tr li 1 cu duy nht Khng => Xy ra trng hp 2: Anh ta ang ng lng ni di, anh ta i sang lng bn cnh th gp c ngi bn ca mnh => Bn ca anh ta l ngi lng ni tht Kt lun: Anh ta hi cu: C l ngi lng ny c phi khng? Bn ca anh ta l ngi lng ni tht.

Mt s bi tp cn ch m c gio a ra trong bui cui

Bi 1/ Tm 3 phn on tng ng a/ Mi tr em u phi c i hc b/ Ngi m khng hc th khng ng lm ngi (Khng T) Bi lm a/ Mi tr em u phi c i hc Ta t tr em l mnh S; u phi c i hc l mnh P Cng thc logic ca t tng l: S l P Cch 1: S l P S khng th khng l P => Mi tr em khng th khng c i hc Cch 2: S l P S khng l P => Mi tr em khng th b tht hc Cch 3: o ngc phn on => c i hc l quyn ca mi tr em b/ Ngi m khng hc th khng ng lm ngi (Khng T) Ta t Ngi m khng hc l mnh A; Khng ng lm ngi l mnh B Cng thc logic ca t tng l: A B Cc cng thc logic tng ng: A B = A B = A B = B A Cch 1: A B => Khng th no c chuyn ngi khng hc m xng ng lm ngi Cch 2: A B => Hoc l chu kh hc tp hoc l khng xng ng lm ngi Cch 3: B A => Nu thc s mun xng ng l ngi th phi chu kh hc tp Bi 2/ Cc bi tp v nh tro khi nim a/ T vi cu l bn, l bn th phi lun lun gi uy tn cho nhau, vy m hm y hp lp cu li ph bnh t. Bi lm Trong cu trn, khi nim gi uy tn cho nhau b nh tro Gi uy tn cho nhau khng c ngha l bao che, bo v li lm ca bn b

b/ Nu ly 1 ht thc t 1 ng thc rt to th ng thc vn cn rt to, ly i 1 ht thc na th ng thc vn rt to, ly i mi mi th vn cn 1 ng thc rt to. Bi lm Trong cu trn, 2 khi nim sau b nh tro cho nhau: _Ly i tng ht vi s ln khng qu ln th ng thc s cn rt to _Nhng ly i tng ht m li ly i mi mi th ng thc rt to ri s ht Bi 3/ Cc bi tp v nghch l a/ Trn gio ng, 1 cha c ging o: Cha ton nng, ngi c th sng to ra mi th 1 ngi bng nhin ng dy hi: Th cha ton nng ca cha c th to ra 1 tng m chnh ngi khng vc ni khng Bi lm bi ny xy ra 2 trng hp: Trng hp 1: Nu Cha c th to ra c tng Nhng Cha li khng th vc ni n C 1 vic m Cha khng lm c Khng th gi Cha l ton nng c Trng hp 2: Nu Cha khng th to ra c tng C 1 vic m Cha khng lm c Khng th gi Cha l ton nng c b/ n ht th nh cht bng n n cn th nh n cho cht Bi lm bi ny xy ra 2 trng hp: Trng hp 1: Nu ngi n ht Theo nh cu ni, s nh cht bng n s phi cht Trng hp 2: Nu ngi n khng ht (n cn) Theo nh cu ni, s nh n cho cht s phi cht C 2 trng hp, d n ht hay n cn ngi u b nh cht, ngi khng c s la chn cu bi ra l mt nghch l

Bi 4/ Bi v lng ni tht, lng ni di _Version 1.1

Ngy xa c 2 ngi lng nm gn nhau ti mt ng 3, 2 trong 3 ng chnh l v tr ca mi ngi lng. Bit rng ngi lng th nht tn l Lng ni tht, cn ngi lng th 2 tn l Lng ni di. Mt ngy n c 1 du khch n y v mun i vo ngi Lng ni tht. V khng bit phi i li no nn ng ta bn hi 2 ngi ng 2 u ng i vo 2 ngi lng. Vy du khch cn phi hi cu g ? ( ch dc hi ng 1 cu). Bit rng trong s h c 1 ngi ni tht v 1 ngi ni di. Bi lm Ta ch cn hi mt cu: Nu ti mun n lng ni tht, anh hy ni ti nghe ngi kia s ch ti i ng no? Trng hp 1: Nu gp ngi ni tht _Ngi ni tht s ch ng ng m ngi ni di s ch, m ngi ni di s ch vo ng n lng ni di Ta bit c lng ni di i ngc li hng ch s ra ng n lng ni tht Trng hp 2: Nu gp ngi ni di _Ngi ni di s ch ngc li so vi ngi ni tht, ngi ni tht s ch ng n lng ni tht, nhng ngi ni di s ch ngc li, tc l ch n lng ni di Ta bit c lng ni di i ngc li hng ch s ra ng n lng ni tht Nh vy vi cu hi trn, c 2 trng hp ta u bit c ng n lng ni di, i ngc li s ra c ng n lng ni tht, bi ton c gii quyt Ch : Anh em song sinh ca bi ton ny l bi Rng Cc Phng m c gio c vo bui cui, ch thay lng ni tht bng rng Cc Phng thi

Bi 5/ Bi v lng ni tht, lng ni di _ Version 1.2

C mt hn o ngoi khi xa, trn o c 2 b lc, 1 b lc chuyn ni tht, 1 b lc chuyn ni di. Mt hn o him thy, khng th b qua, 1 ngi ch v 1 ngi lm cng quyt nh i thuyn n hn o ny thm th xem th no. Khi thuyn cp bn th 2 ngi nhn thy 1 anh th dn ang chy nhong nhong trn ct bt cua Ngi ch bn sai anh lm cng i hi anh th dn 1 cu: Anh ngi b lc no

Sau mt lc, anh lm cng chy li ni vi ch ca mnh D bm, anh y bo anh y l ngi b lc ni di Ngi ch t nhin tc gin, cm gy phang cho anh lm cng mt pht ngt khng kp ngp v lm bm: Cho cht ci ti ni di Hi v sao ngi ch li ni v lm vy? Bi lm bi ny c 2 trng hp xy ra Trng hp 1: Nu ngi th dn l ngi lng ni di => c hi cu Anh ngi b lc no => anh ta s tr li Ti l ngi lng ni tht Trng hp 2: Nu ngi th dn l ngi lng ni tht => c hi cu Anh ngi b lc no => anh ta s tr li Ti l ngi lng ni tht C 2 trng hp, anh th dn s ch tr li 1 cu Ti l ngi lng ni tht => li ca ngi lm cng bo anh ta l ngi lng ni di l khng ng s tht => B phang l ng roi