Professional Documents
Culture Documents
Bai Tap Logic
Bai Tap Logic
P HCM
Bi tp Logic hc
1 Tnh ng sai ca mt phn on
1.1. Chn phn on ng:
a) S 23 l s nguyn t.
c) S 25 l s nguyn t.
b) S 24 l s nguyn t.
d) S 26 l s nguyn t.
2 l s v t.
Trang 1
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
b) C phi bn ang thi mn Logic?
c) Nu Nguyn Tri vit i Co Bnh Ng th Nguyn Du vit Truyn Kiu.
d) Phi tp trung trong lc lm bi!
1.11. Trong cc cu sau cu no l mt phn on ng?
a) V ng Trn Cn vit Chinh Ph Ngm bng ch Hn nn on Th im chuyn sang ch
Nm.
b) Bn c thch hc mn Logic khng?
c) on Th im vit Chinh Ph Ngm bng ch Hn cn ng Trn Cn chuyn tc phm
sang ch Nm.
d) Hy xem li cc cu khc !
1.12. Trong cc cu sau cu no khng phi l mt phn on?
a) V ng Trn Cn vit Chinh Ph Ngm bng ch Hn nn on Th im chuyn sang ch Nm.
b) Ngi Vit Nam no chng l nh th?
c) on Th im vit Chinh Ph Ngm bng ch Hn cn ng Trn Cn chuyn tc phm sang ch
Nm.
d) By gi k ngc ngi xui, bit bao gi li ni li nc non? (Truyn Kiu Nguyn Du).
Q.
b)
Q :
Q.
c) P
Q.
d)
Q.
Trang 2
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
b) Anh y khng i H ni m i Thi bnh.
c) Anh y khng i H ni hoc khng i Thi bnh.
d) Anh y khng i H ni hoc i Thi bnh.
2.9. Phn on Bn khng gii Logic m li gii Ton l iu khng th c th vit dng tng
ng:
a) Bn gii Ton v gii Logic.
b) Bn gii Ton l gii Logic.
c) Bn khng gii Ton nhng gii Logic.
d) Bn khng gii Ton v khng gii Logic.
2.10. Cho bit x 2
a) x
5x
5.
b) x
3.
R/
b) y
3.
x
R/x
b) 3
3.
5.
3 . Vy nu x 2
3.
c) x
3 , v phn t y
c) y
0 th:
d) x
3.
3.
A . Vy y c tnh cht:
5 , v phn t y
c) 3
5x
d) y
3.
3.
A . Vy y c tnh cht:
5.
d) 3
5.
2.13. Xt cc phn on P = C sch; Q = C tri thc. Phn an Khng c sch th khng c tri
thc (Lnin) c th vit di dng cng thc (c th dng tng ng):
a) P Q .
b) P
c) P
d) Q
Q.
Q.
P.
2.14. Cho cc phn on P = N hc n, Q = N hc bi. Phn on N khng hc n m cng
khng hc bi c th vit di dng cng thc:
a) P Q .
b) P
c) P
d) P
Q.
Q.
Q.
2.15. Cho cc phn on P = N hc n, Q = N hc bi. Phn on Khng phi n va hc
n, va hc bi c th vit di dng cng thc:
a) P Q .
b) P
c) P
d) P
Q.
Q.
Q.
2.16. Cho cc phn on P = N hc n, Q = N hc bi. Phn on N hc t nht mt trong
hai mn (n, bi) c th vit di dng cng thc:
a) P Q .
b) P
c) P
d) P
Q.
Q.
Q.
2.17. Cho cc phn on P = N hc n, Q = N hc bi. Phn on N khng hc t nht mt
trong hai mn (n, bi) c th vit di dng cng thc:
Q.
Q.
Q.
a) P Q .
b) P
c) P
d) P
2.18. Cho cc phn on P = N hc n, Q = N hc bi. Phn on N hc mt mn v ch mt
mn m thi c th vit di dng cng thc:
a) P Q .
b) P Q .
c) P
d) P
Q.
Q.
2.19. Cho cc phn on P = N hc n, Q = N hc bi. Phn on N hc nhiu nht l mt
mn c th vit di dng cng thc:
P Q .
Q.
a) P Q .
b) P Q .
c) P
d)
2.20. Cho cc phn on P = N hc n, Q = N hc bi. Phn on Nu n hc mt mn th
buc phi hc mn cn li c th vit di dng cng thc:
a) P
b) P Q .
c) P
d)
P Q .
Q.
Q.
2.21. Xt cc phn an P = C sch; Q = C tri thc. Phn an C tri thc l c sch (Lnin)
c th vit di dng cng thc hoc cng thc tng ng:
Q.
Q.
P.
a) ~ P ~ Q .
b) P
c) P
d) ~ Q
2.22. t P = ng gi nghe r ting mi cho quy nc; Q = ng gi trng thy cc vt; R = Trng
ln xung pha sau dy i.
Trang 3
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
on vn Lo gi nghe r ting mi cho quy nc nhng khng trng thy g v trng
ln xung pha sau dy i (Hemingway ng gi v bin c), c th biu din bi cng thc:
a) P Q R . b) R
c) R
d) R ~ P Q .
P Q.
P ~Q .
2.23. Cho cc phn on P=C mp nh hi theo c con c kim, Q = C mp in cung,
R= C mp i, S= C mp lc hng. on vn: Chng (c mp) nh hi theo c du
con c (kim), nhng qu in cung v i nn chng c lun lun b lc hng (Hemingway ng
gi v bin c), c th biu din bi cng thc:
a) P (Q
b) P (R Q)
R)
S.
S.
c) P
(Q
P)
2.24. Tm ph nh ca phn on P
a) (P
Q) ~ R . b) (P
d) P
(R
Q)
S.
c) R
P ~Q .
d) (P
R .
Q) R .
Q) R .
Trang 4
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
2.
b) Gn mc th en, gn n th rng.
c) Trong gang tc li gp mi quan san (Nguyn Du).
d) Gn mc th en.
3.5. Theo logic lng tr phn on (hay cu) no sau y b chi phi bi quy lut ng nht (cm mu
thun, bi trung, c l do y )?
a) Chng ti xin lnh con v,
Ch v ui l nn chi cam nh (Truyn Quan m Th Knh).
b)
Ly ngn tay m th d rng ngn tay khng phi l ngn tay, sao bng ly ci khng phi l
ngn tay m th d.
Ly con nga m th d rng con nga khng phi l con nga, sao bng ly ci khng phi
l con nga m th d.
(Da theo Trang T, Nam Hoa Kinh. Bn dch ca Nguyn Duy Cn)
c) Hoa tn m li thm ti,
Trng tn m li hn mi rm xa. (Nguyn Du).
d) C yu, th yu cho chc,
Bng nh trc trc, th trc trc cho lun. (Ca dao)
3.6. nh tro khi nim l:
a) Hiu khng thng nht mt khi nim ban u.
b) nh la ngi c.
c) nh tro ngi c.
d) Hiu khng ng mt khi nim.
3.7. C mt ngi tn l Evat xin n hc php ngy bin Protago. Thy v tr quy nh rng tr
s tr hc ph lm hai ln, v ln th hai s tr sau khi Evat ra ta ln u tin v c kin. Hc xong,
Evat khng ra ta ln no c. V vy Protago quyt nh khi kin Evat. ng ni vi Evat rng:
D ta n c quy nh anh khng phi tr tin cho ti hay phi tr tin cho ti, th anh vn
phi tr cho ti. Ny nh, nu anh c kin th theo quy nh gia chng ta, anh s phi tr tin cho
ti; cn nh anh thua kin, th theo quy nh ca ta anh phi tr tin cho ti.
Evat, ngi hc tr hc c php ngy bin, p:
Tha thy, trong c hai trng hp ti u khng phi tr tin cho thy. V rng nu ta bt
tr, ngha l ti thua kin ln u, th theo quy nh vi thy, ti khng phi tr; cn nh ti c
kin, th theo quy nh ca ta tt nhin ti khng phi tr.
y anh hc tr Evat nh tro khi nim. Bn hy cho bit Evat nh tro khi nim
nh th no.
a) Theo quy nh vi Protago: Evat thng kin th theo quy nh gia thy tr Evat phi tr tin,
cn Evat thua kin th Evat phi tr tin l theo quy nh ca Ta n. Evat nh tro
Trang 5
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
thnh: Evat thng kin th theo quy nh ca Ta n Evat khng phi tr tin, cn Evat thua
kin th Evat khng phi tr tin l theo quy nh gia thy tr.
b) Theo quy nh vi Protago: Evat thng kin th theo quy nh gia thy tr Evat phi tr tin,
cn Evat thua kin th Evat phi tr tin l theo quy nh ca Ta n. Evat nh tro
thnh: Evat thng kin th theo quy nh ca thy tr Evat khng phi tr tin, cn Evat thua
kin th Evat phi tr tin l theo quy nh ca Ta n.
c) Theo quy nh vi Protago: Evat thng kin th theo quy nh gia thy tr Evat phi tr tin,
cn Evat thua kin th Evat phi tr tin l theo quy nh ca Ta n. Evat nh tro
thnh: Evat thng kin th theo quy nh ca thy tr Evat phi tr tin, cn Evat thua kin th
Evat phi tr tin l theo quy nh ca Ta n.
d) Theo quy nh vi Protago: Evat thng kin th theo quy nh gia thy tr Evat phi tr tin,
cn Evat thua kin th Evat phi tr tin l theo quy nh ca Ta n. Evat nh tro
thnh: Evat thua kin th theo quy nh ca thy tr Evat phi tr tin, cn Evat thng kin th
Evat phi tr tin l theo quy nh ca Ta n.
3.8 An Bnh bi ton: Gii phng trnh x 2 2x 2 0 . Bnh ni: phng trnh v nghim
v bit thc
0 . An ci li: Bnh sai, phng trnh c hai nghim x 1 i .
Bn hy cho bit An nh tro khi nim nh th no:
a) Phng trnh x 2 2x 2
thnh gii trn tp s phc.
d) Php ko theo.
Trang 6
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
Anh ta l ngi gc Ty Ban Nha hay(1) B o Nha th c y khng r nhng chc chn Ba
hoc M ca anh ta th bit r.
a) (1) php hi, (2) php hi.
b) (1) php tuyn cht, (2) php tuyn.
c) (1) tuyn cht, (2) tuyn cht.
d) (1) php hi, (2) php tuyn.
(2)
Trang 7
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
4.4 Gii ngoi hng Anh ma bng 2012-2013 c 4 i bng mnh l Arsenal, Chelsea, Manchester
Unitet, Manchester City. u ma bng ba bn An, Bnh, Ha a ra d on nh sau:
An: Manchester Unitet hng nh, Chelsea hng ba.
Bnh: Manchester City hng nh, Chelsea hng t.
Ha: Manchester Unitet hng nht, Arsenal hng nh.
Kt qu mi bn d on ng mt i v sai mt i. Bn hy cho bit th hng ca mi i
ma bng 2012-2013.
a) Manchester Unitet hng nht, Manchester City hng nh, Chelsea hng ba, Arsenal hng t.
b) Manchester City hng nht, Manchester Unitet hng nh, Chelsea hng ba, Arsenal hng t.
c) Manchester Unitet hng nht, Manchester City hng nh, Arsenal hng ba, Chelsea hng t.
d) Manchester City hng nht, Manchester Unitet hng nh, Arsenal hng ba, Chelsea hng t.
4.5 C nm bn An, Bi, Can, Dn, Yn qu nm a phng khc nhau. Vi cu hi: Qu cc bn
u?, ta nhn c cc cu tr li:
Bn An: Qu ti H Ni, cn qu Dn Ngh An.
Bn Bi: Qu ti H Ni, cn qu Can Sng B.
Bn Can: Qu ti H Ni, cn qu Dn Qung Nam.
Bn Dn: Qu ti Ngh An, cn qu Yn Ph Th.
Bn Yn: Qu ti Ph Th, qu An Qung Nam.
Bit cc cu trn c t nht mt thnh phn ng. Hy xc nh qu ca tng bn.
a) An H Ni, Dn Qung Nam, Yn Ph Th, Can Sng B, Bi Ngh An.
b) Bi H Ni, Dn Ngh An, Yn Ph Th, Can Sng B, An Qung Nam.
c) Bi H Ni, Yn Ngh An, Dn Ph Th, Can Sng B, An Qung Nam.
d) An H Ni, Dn Ngh An, Can Ph Th, Yn Sng B, Bi Qung Nam.
4.6 Mt trong nm anh em nh v knh ca s.
Ch c th hoc l Bo, hoc l Tun. An ni.
Ti khng nh v. Bo ci li, v c Khi cng th.
C hai u ni khng ng. Tun ni.
Khng! Tun , mt ngi ni ng, mt ngi ni sai. c tip li.
c ni khng ng. Khi can thip.
Ba (B) ca cc em (hin nhin ta c th tin tng c) tin chc rng ba em trong s nm em
ni ng. Hi ai nh v knh ca s?
a) Khi nh v knh ca s.
b) Bo nh v knh ca s.
c) Tun nh v knh ca s.
d) Tun v Khi nh v knh ca s.
4.7 Thi Chin Quc, mt vin quan nc L i s sang nc T. V hai nc T v L khng t
c mt s tha thun nn vua T mun x t vin quan ny. Trc khi cht vua T cho vin quan
ny mt n hu: ng c quyn ni mt cu, nu ni ng s b chm u, nu ni sai s b treo
c. Nh n hu ny vin quan thot cht. Theo bn vin quan nc L ni cu g?
a) Nh vua s tha cho ti.
b) Nh vua s chm u ti.
c) Nh vua s treo c ti.
d) Nh vua s chng bao gi tha cho ti.
4.8 Ba con mo n ba con chut trong nm pht (mi con mo n mt con chut). Hi cng vi tc
nh vy 300 con mo n 300 con chut mt thi gian bao lu? (mi con mo n mt con chut).
a) 300 x 3 = 900 pht. Suy lun theo quy tc nhn.
b) 300 pht. Suy lun theo quy tc nhn.
c) 300 x 5 = 1500 pht. Suy lun theo quy tc nhn.
d) 5 pht. Suy lun theo lut ng nht.
4.9 T Ton ca mt trng trung hc c 5 ngi: thy Hng, thy Qun, c Vn, c Hnh, c Cc.
K ngh h ch c hai sut i tham quan nn cc thy c u nhng nhau. Thy hiu trng yu cu
mi ngi cho mt kin. Kt qu nh sau:
- Thy Hng: Ti v thy Qun i tham quan.
- Thy Qun: Thy Hng v c Vn i tham quan.
- C Vn: Thy Qun v c Hnh i tham quan.
- C Hnh: Ti v c Cc i tham quan.
- C Cc: Thy Hng v c Hnh i tham quan.
Trang 8
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
Cui cng thy hiu trng chn kin ca c Cc, v theo kin ny cc kin cn li ng
mt phn sai mt phn.
Bn hy cho bit nhng ai i tham quan trong k ngh h.
a) Thy Hng v c Hnh i tham quan.
b) Thy Qun v c Hnh i tham quan.
c) C vn v c Hnh i tham quan.
d) Thy Hng v c Cc i tham quan.
4.10 C nm bn An, Bi, Can, Dn, Yn qu nm a phng khc nhau. Vi cu hi: Qu cc
bn u?, ta nhn c cc cu tr li:
Bn An: Qu ti H Ni, cn qu Dn Ngh An.
Bn Bi: Qu ti H Ni, cn qu Can Sng B.
Bn Can: Qu Yn Ph Th, cn qu Dn Qung Nam.
Bn Dn: Qu ti Qung Nam, cn qu An Ph Th.
Bit cc cu trn l ng mt phn, sai mt phn v Yn khng Ph Th. Hy xc nh qu
ca tng bn.
a) An H Ni, Dn Qung Nam, Bi Ph Th, Can Sng B, Yn Ngh An.
b) Bi H Ni, Dn Ngh An, Yn Ph Th, Can Sng B, An Qung Nam.
c) Bi H Ni, Yn Ngh An, Dn Ph Th, Can Sng B, An Qung Nam.
d) An H Ni, Dn Ngh An, Can Ph Th, Yn Sng B, Bi Qung Nam.
4.11 Trong mt cuc chy thi ngy hi khe Ph ng, bn bn An, Bnh, Cng, Dng ot bn gii
nht, nh, ba, t. Khi c hi Bn ot gii my? th bn bn tr li nh sau:
An: Ti gii nh, cn Bnh gii nht.
Bnh: Ti gii nh, cn Dng gii ba.
Cng: Ti gii nh, cn Dng gii t.
Dng: Ba bn u thch ni a nhng trong mi cu tr li u c mt phn ng mt phn
sai.
Hi nu Dng l ngi ni tht th mi bn t gii my?
a) Bnh gii nht, Cng gii nh, Dng gii ba, An gii t.
b) Bnh gii nht, Dng gii nh, Cng gii ba, An gii t.
c) An gii nht, Cng gii nh, Dng gii ba, Bnh gii t.
d) Bnh gii nht, An gii nh, Dng gii ba, Cng gii t.
4.12 Trong mt ngi cha n c ba v tu s A, B, C. Bn ngoi h u mang o tu s nhng bn trong
c th khng tu hnh chn chnh nn kh nhn bit ngay. Ngi tu hnh chn chnh bao gi cng ni
tht, cn k tu hnh khng chn chnh bao gi cng ni di. Khng hn m gp ba v tu s u quy tin
mt ngy (cht cng mt ngy). Khi sp nhp vo cnh nh Tri h phi qua mt ta Phn Xt. V
quan nh Tri ta Phn Xt ny hi ngi A: ng tu hnh chn chnh hay khng chn chnh?.
Tht khng may cho quan nh Tri, l v tu s A sau nhiu nm tu hnh t sng to ra mt ngn
ng v dng ngn ng mi ny tr li, nn quan nh Tri khng hiu c. Nhng quan nh Tri l
ngi nhy bn, ng quay sang hi hai v tu s B, C (c nhin B, C hiu c ngn ng ca A ang
ni) cng mt cu hi: ng y ni g vy?. V tu s B tr li: S huynh ti tr li: ng l ngi tu
hnh chn chnh, cn v tu s C th tr li: ng y ni: ng tu hnh khng chn chnh. Nghe xong
v quan nh Tri bit c thc t vic tu hnh ca B v C. Theo bn v quan nh Tri bit c ai
(trong hai ngi B, C) tu hnh chn chnh.
a) B tu hnh khng chn chnh, C tu hnh chn chnh.
b) B tu hnh chn chnh, C tu hnh khng chn chnh.
c) C hai u tu hnh chn chnh.
d) C hai u tu hnh khng chn chnh.
4.13 C mt nh din thuyt rt hay. Trong mt ln din thuyt trc nhiu thnh gi, khi mi ngi
tp trung lng nghe th anh dng li v ni ln: Tt c nhng cu ni ca ti hm nay u l gi di.
C th l mt cu ni l li, nhng theo bn ngi din thuyt ny ni tht hay ni di.
a) Khng th kt lun c.
b) Ngi din thuyt ni tht.
c) Ngi din thuyt ni di. d) Ngi din thuyt ni tht m cng ni di.
4.14 Ba sinh vin A, B, C b nghi l gian ln trong bi thi. Khi b thy hi th h khai nh sau:
A: "B chp bi v C v ti"
B: "Nu A c ti th C cng c ti"
C: "Ti v ti".
Trang 9
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
Nu A ni tht v B ni di th ai v ti v ai chp bi?
a) A v B chp bi, C v ti.
b) B chp bi, A v C v ti.
c) A v B khng chp bi, C c ti.
d) B khng chp bo, A v C chp bi.
4.15 Ba sinh vin A, B, C b nghi l gian ln trong bi thi. Khi b thy hi th h khai nh sau:
A: "B chp bi v C v ti"
B: "Nu A c ti th C cng c ti"
C: "Ti v ti".
Nu A ni di v B, C ni tht th ai c ti?
a) Khng ai c ti.
b) A v B c ti.
c) A c ti.
d) B c ti.
4.16 Mt trong nm bn Hoa, Mai, Lan, Cc, Trc lau bng cho thy gio. Khi c hi ai lau,
thy nhn c cc cu tr li:
Hoa: Ch c th hoc l Mai, hoc l Lan.
Mai: Khng phi ti, v c Cc cng vy.
Lan: C hai bn Hoa v Mai u ni khng ng.
Cc: Khng! Lan , t nht mt ngi ni ng.
Trc: C 3 trong 4 bn Hoa, Mai, Lan, Cc ni ng.
Thy gio nhn thy Trc ni hon ton ng. Hi ai lau bng cho thy?
a) Trc lau bng cho thy.
b) Cc lau bng cho thy.
c) Lan lau bng cho thy.
d) Mai lau bng cho thy.
5 Logic v t mt bin
5.1. Chn phn on ng:
a) x R, x 2 2x 1 0 .
c) x
R, x 2
2x
0.
x2
b) x
R,
d) x
R, x 2
2x
2x
1
3
0.
0.
5.6 Cho hm phn on p(x) = x thch m, x thuc tp hp S nhng con mo. Phn on vit dng
k hiu x, p(x ) c th vit bng cu sau:
a) C nhng con mo thch m.
c) Hu ht cc con mo u thch m.
5.7 Cho hm phn on p(x) = x thch m, x thuc tp hp S nhng con mo. Phn on vit dng
k hiu x, p(x ) c th vit bng cu sau:
a) C nhng con mo thch m.
c) Hu ht cc con mo u khng thch m.
Trang 10
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
5.8 Cho hm phn on p(x) = x l ngi trong Hi ngh tn thnh kin y, x thuc tp hp S
nhng ngi trong Hi ngh. Phn on Trong Hi ngh khng phi khng c ngi khng tn thnh
kin y c th di dng cng thc:
a) x, p(x ) .
b) x, p(x ) .
c) x, p(x ) .
d) x, p(x ) .
5.9 Cho hm phn on p(x) = x l ngi trong Hi ngh tn thnh kin y, x thuc tp hp S
nhng ngi trong Hi ngh. Phn on Trong Hi ngh khng phi khng c ngi tn thnh kin
y c th di dng cng thc: a) x, p(x ) .
b) x, p(x ) .
c) x, p(x ) . d) x, p(x ) .
5.10. Cho hm phn on p(x) = x l ngi trong Hi ngh tn thnh kin y, x thuc tp hp S
nhng ngi trong Hi ngh. Phn on Trong Hi ngh ai m chng tn thnh kin y c th di
dng cng thc: a) x, p(x ) . b) x, p(x ) .
c) x, p(x ) .
d) x, p(x ) .
5.11 Cho hm phn on p(x) = x l ngi trong hi ngh tn thnh kin y, x thuc tp hp S
nhng ngi trong hi ngh. Phn on Trong Hi ngh ai cng tn thnh kin y c th vit
di dng cng thc: a) x, p(x ) .
b) x, p(x ) .
c) x, p(x ) .
d) x, p(x ) .
5.12 Cho hm phn on p(x) = x l ngi trong hi ngh tn thnh kin y, x thuc tp hp S
nhng ngi trong hi ngh. Phn on Trong Hi ngh ai tn thnh kin y c th vit
di dng cng thc: a) x, p(x ) .
b) x, p(x ) .
c) x, p(x ) .
d) x, p(x ) .
5.13. Cho hm phn on p(x) = x l ngi trong hi ngh tn thnh kin y, x thuc tp hp S
nhng ngi trong hi ngh. Phn on Trong hi ngh ai li tn thnh kin y c th vit di
dng cng thc:
a) x, p(x ) .
b) x, p(x ) .
c) x, p(x ) .
d) x, p(x ) .
5.14 Cho phn an x
R, x 2
2x
0 . Phn an ph nh l:
111
a) x
R, x 2
2x
111
0.
b) x
R, x 2
2x
111
0.
c) x
R, x 2
2x
111
0.
d) x
R, x 2
2x
111
0.
N,
c) n
N,
N,
n2
n2
13n 1
2n 1
Z.
n2
13n 1
2n 1
Z.
13n 1
2n 1
Z . Phn an ph nh l:
b) n
d) n
N,
n2
N,
13n 1
2n 1
n2
13n 1
2n 1
Z.
Z.
A, y
B,
P(x, y) .
d) x
A, y
B, P(x, y) .
A, y
B, P(x, y) .
d) x
A, y
B, P(x, y) .
A, y
B,
P(x, y) .
Trang 11
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
c)
A,
d)
A, y
B,
P(x, y )
B,
B,
P(x , z )
y .
P(x, y) .
A, y
d) x
B, P(x, y) .
A, y
B, P(x, y) .
A, y
d) y
B, P(x, y) .
B, x
A, P(x, y) .
c) y
, x
, x
3x
:y
:y
b) x
, y
d) x
, y
:y
3x
:y
c) x, y, P(x,y)
d)x, y, ~P(x,y).
X, y
Y,y
f (x ) .
c) y
Y, x
X, y
f (x ) .
b) y
d) y
Y, x
Y, x
X, y
X, y
f (x ) .
f (x ) .
X, y
c) x
X, y
X : f (x )
f (y )
X : f (x )
f (y )
x
x
y .
y .
b) x
X, y
X : f (x )
f (y )
y .
d) x
X, y
X : f (x )
f (y )
y .
X, y
c) x
X, y
X: x
X : f (x )
f (x )
f (y )
f (y ) .
b) x
X, y
X : f (x )
y .
d) x
X, y
X: x
a nu:
Trang 12
f (y )
y
f (x )
y .
f (y ) .
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
0, x, 0
0,
x0
f (x )
lim f (x )
x x0
a nu
0,
0, x 0
x0
f (x )
b)
lim f (x )
x x0
a nu
0,
0, x 0
x0
f (x )
c)
lim f (x )
x x0
a nu
0,
0, x, 0
x0
f (x )
d)
lim f (x )
x x0
a nu
0,
0, x, 0
x0
f (x )
7 Cc phn on dng A, I, E, O
7.1 Phn on m m ra ng b ao (Ca dao) l phn on:
a) Khng nh chung (hay A).
b) Khng nh ring (hay I).
c) Ph nh chung (hay E).
d) Ph nh ring (hay O).
7.2 Phn on Chiu chiu chim vt ku chiu (Ca dao) l phn on:
a) Khng nh chung (hay A).
b) Khng nh ring (hay I).
c) Ph nh chung (hay E).
d) Ph nh ring (hay O).
7.3 Cho bit mi quan h gia phn on khng nh chung A v phn on ph nh chung E. Chn
khng nh ng: a) L thuc.
b) i chi di.
c) i chi trn.
d) Mu thun.
7.4 Cho bit mi quan h gia phn on khng nh chung A v phn on ph nh ring O. Chn
khng nh ng: a) L thuc.
b) i chi di.
c) i chi trn.
d) Mu thun.
7.5 Cho bit mi quan h gia phn on khng nh ring I v phn on ph nh chung E. Chn
khng nh ng: a) L thuc.
b) i chi di.
c) i chi trn.
d) Mu thun.
7.6 Cho bit mi quan h gia phn on khng nh ring I v phn on ph nh ring O. Chn
khng nh ng: a) L thuc.
b) i chi di.
c) i chi trn.
d) Mu thun.
7.7 Cho bit mi quan h gia phn on khng nh chung A v phn on khng nh ring I . Chn
khng nh ng: a) L thuc.
b) i chi di.
c) i chi trn.
d) Mu thun.
7.8 Cho bit mi quan h gia phn on ph nh ring O v phn on ph nh chung E. Chn
khng nh ng: a) L thuc.
b) i chi di.
c) i chi trn.
d) Mu thun.
7.9 Pht biu cu sau bng cch khc nhng vn gi nguyn ngha ca n.
Khng phi tt c nhng ngi hay ci l nhng ngi hnh phc.
a) C nhng ngi hay ci l nhng ngi hnh phc.
b) C nhng ngi hay ci l nhng ngi khng hnh phc.
c) Khng phi c nhng ngi hay ci l nhng ngi hnh phc.
d) Khng phi c nhng ngi hay ci l nhng ngi khng hnh phc.
7.10 Tm phn on ph nh ca phn on sau:
Tt c nhng ngi hay ci l nhng ngi hnh phc.
a) C nhng ngi hay ci l nhng ngi hnh phc.
b) C nhng ngi hay ci l nhng ngi khng hnh phc.
c) Khng phi c nhng ngi hay ci l nhng ngi hnh phc.
d) Khng phi c nhng ngi hay ci l nhng ngi khng hnh phc.
7.11 Pht biu cu bng cch khc nhng vn gi nguyn ngha ca n.
Khng phi lc no cng cn ni ng s tht.
a) Lc no cng ni ng s tht l khng tt.
b) Khng phi c lc khng cn ni ng s tht.
c) C lc khng cn ni ng s tht.
d) Khng phi c lc cn ni ng s tht.
7.12 Tm phn on ph nh ca phn on sau:Lc no cng cn ni ng s tht.
a) Lc no cng ni ng s tht l khng tt.
b) Khng phi c lc khng cn ni ng s tht.
c) Khng phi c lc cn ni ng s tht.
d) C lc khng cn ni ng s tht.
Trang 13
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
7.13 Phn on Mi con s t u l con vt hung d l phn on:
a) Ph nh ring (hay O).
b) Khng nh ring (hay I).
c) Ph nh chung (hay E).
d) Khng nh chung (hay A).
7.14 Phn on t no l t chng cay l phn on:
a) Ph nh ring (hay O).
b) Khng nh ring (hay I).
c) Ph nh chung (hay E).
d) Khng nh chung (hay A).
7.15 Phn on C nhng con s t bn chn l phn on:
a) Ph nh ring (hay O).
b) Khng nh ring (hay I).
c) Ph nh chung (hay E).
d) Khng nh chung (hay A).
7.16 Ph nh ca phn on C nhng con s t hai chn l phn on:
a) Mi con s t u khng c hai chn.
b) Nhiu con s t c hai chn
c) Nhiu con s t u khng c hai chn
d) Mt s con s t khng c hai chn
7.17 Ph nh ca phn on t no l t chng cay l phn on:
a) Mi tri t u khng cay.
b) Mt s tri t khng cay.
c) C tri t lt khng cay.
d) C tri t v khng cay.
7.18 Ph nh ca phn on Ngi no m chng mun giu c l phn on:
a) C nhng ngi khng mun giu c.
b) C nhng ngi thch giu c.
c) Mi ngi u khng mun giu c.
d) Mi ngi u mun giu c.
7.19 Chn phn on ng:
a) C nhng ngi Vit Nam l nh th.
c) Khng ngi Vit Nam no l nh th.
Q v
Q ta rt ra kt lun: a) P .
b) Q
c)
Q.
P . d)
8.2 Cho bit phn on b lc i trong suy lun sau. Nu hc gii th c thng. M Bnh
khng c thng
a) Bnh hc gii th Bnh c thng.
b) Bnh khng hc gii.
c) Bnh phi hc gii nu khng s khng c thng.
d) Bnh hc gii v c thng.
8.3 Rt ra kt lun trong lp lun sau: Nu hc hi th l ngi c tri thc, nu ngi c tri thc th
phi trung thc. M anh ta khng trung thc.
a) Vy anh ta khng hc hi.
b) Vy anh ta khng tht th.
c) Vy anh ta c tri thc.
d) Khng th rt ra kt lun c.
8.4 Xt xem lp lun sau c hp logic khng. Nu l con ngi m khi ta nm tay hn, hn s thn
thng th hn l gi. Lc ny, khi nm tay hn nhy qua b sui, mt hn thn thng e ngi. Vy hn
ch thc l gi gi trai i tu ri.
a) Lp lun khng hp logic v dng s la chn.
b) Lp lun khng hp logic v dng s bc cu ca php ko theo.
c) Lp lun hp logic v dng s modus ponens.
d) Lp lun hp logic v dng s modus tollens.
8.5 Xt xem lp lun sau c hp logic khng. Nu dy s hi t th b chn. M dy s un
chn bi 1 nn hi t
a) Lp lun khng hp logic v dng s :
P
Q
P
Q
c) Lp lun hp logic v dng s :
P
d) Lp lun hp logic v dng s :
Trang 14
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
P
P
un
u1
u2
...
un
... hi t
n 1
2n 1
2n 1
c s hng th n l un
hi t
1
n 1
n 1 n
n 2 khc 0. Vy chui s ny khng hi t (hay phn k)
a) Lp lun khng hp logic v dng s :
b) Lp lun khng hp logic v dng s :
P
Q
P
Q
P
Q
th s hng th n l un hi t v 0. M chui s
Q
c) Lp lun hp logic v dng s :
P
Q
Q
P
d) Lp lun hp logic v dng s :
P
Q
Q
Q
R
R
Q
R
d)
R
Q
8.9 Tm li phn on b lc i trong lp lun sau v xt xem lp lun c hp logic hay khng:
Ti suy ngh, vy ti tn ti (Rene Descarter).
a) Nu ti suy ngh th ti tn ti. Lp lun hp logic v dng s modus ponens.
b) Ti suy ngh. Lp lun hp logic v dng s modus tollens.
c) Ti tn ti. Lp lun khng hp logic.
d) Nu ti suy ngh th ti tn ti. Lp lun hp logic v dng s modus tollens.
8.10 Chn hng ng trong cc cng thc sau:
a) P Q
P Q .
c)
b) P
d) P
P
Q
Q
P
Q
d) Lp lun hp logic v dng s :
Trang 15
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
P
P
P
P
Q
Q
Q
, y
, xy
yx nn 2.3=3.2.
P(a, b)
c) Lp lun khng hp logic v dng s :
x , y, ~ P (x , y )
P (a, b)
d) Lp lun khng hp logic v dng s :
x , y, P (x , y )
.
P (a, b)
P(a, b)
, y
,x
1 .
x , y, P (x , y )
x , y, P (x , y )
P(a, b)
x , P (x , y )
a)
y, P (x , y )
b)
0, P(n )
P(n
1)
x , y, P (x , y )
c)
n, P(n )
P (a, b)
x , y, P (x , y )
d)
P (a, b)
8.18 Cc on th sau y c trch t Truyn Kiu ca i thi ho Nguyn Du. Bn hy cho bit
on th no b chi phi bi quy tc modus ponens trong lp lun.
Trang 16
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
a) Ri y bo hp, my tan;
Bit u ht ni, my ngn l u.
S rng: Cng chng my lu;
Trong nm nm li gp nhau m.
Nh ngy hnh cc phng xa;
Gp s Tam Hp, vn l tin tri.
Bo cho hi ng chi k;
Nm nay l mt, na th nm nm.
Mi hay tin nh chng lm;
tin iu trc, t nhm vic sau.
d) Xt v cm bn dy;
Chng trm nm, cng mt ngy duyn ta.
Liu bi m ca cho ra;
y l tnh nng, y l n su.
8.19 Bn hy cho bit on th no sau y b chi phi bi quy tc bc cu ca php ko theo trong
lp lun.
a) Bo rng cch tr ngang;
Khng sang th cng ng sang nh.
Nhng y cch mt u nh;
C xa xi my, m tnh xa xi.
(L bc sang ngang Nguyn Bnh)
8.20 Bn hy cho bit on th no sau y s dng php suy trong lp lun (suy l khng hp
logic).
a) Nu con thit c chuyn ny,
Lng trn ra sch, t ny xin cha,
Nu khng m phi ting ng,
Cng nn gng gng lm ng ko bun.
(Truyn Quan m Th Knh)
c) Bao gi cho ma tr bng;
Cho ch c chng, em gm gi heo.
Gi heo ch trn treo;
Ch a gi mo cng lm ch i!
(Ca dao)
8.21 Bn hy cho bit on vn no sau y b chi phi bi quy tc modus tollens (la chn, bc cu)
trong lp lun.
a) Con ngi c bn c tnh l cn, kim, lim, chnh. Thiu mt c khng phi l ngi
(Ch Tch H Ch Minh)
b) Hng ha tng gi l do cung khng cu hoc do lm pht. Nhng va qua, hng ha
tng gi khng phi do cung khng cu. Vy, hng ha va qua tng gi l do lm pht .
c) Nu bn khng tham d kha hc iu khin xe hi th bn khng c cp gip php li xe
hi. Nu bn khng c cp giy php li xe hi th bn khng c iu khin xe hi. Vy,
nu bn khng tham d kha hc iu khin xe hi th bn khng c iu khin xe hi.
Trang 17
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
d) Nu bn vt n th bn phm lut giao thng. M bn vt n . Vy, bn phm lut
giao thng.
8.22 Xt cc on lp lun sau y:
(1) Nhng ny anh Tt t, xin li anh, ti trng anh khng ging mt kht s cht no. Anh ang
mc o qun ca mt ngi giu c, v mi tc y hng ca anh khng phi l tc ca mt kht s
hay Sa mn. (Hermann Hesse Cu chuyn dng sng) .
(2) V v tnh ct ru cm (ca chng),
Cho nn gy t sng ngm ni ln.
Ch v giy pht k trn,
V chng tnh ngha tan lin ng u.
(Truyn Quan m Th Knh)
(3) Gi s ngay khi trc, Liu Dng cch tr, duyn chng Kim ng d vic ma chay, quan li
cng bng, n vin ngoi t ngay tnh oan ung, th u n ni son phn my nm lu lc, em thn
cho thin h mua ci, m chc bin thy mt ci nghnh ngang, ai xui c anh hng ci gip
(Bi ta cho mt quyn Truyn Kiu - Chu Mnh Trinh. Dn theo Nguyn Hin L, Luyn vn,
NXB Vn ha thng tin, 1993, tr. 182)
Chn phn on ng:
a) Lp lun trong (1) dng quy tc la chn v trong (2) dng quy tc modus ponens cn trong
(3) dng quy tc modus tollens.
b) Lp lun trong (1) dng quy tc modus ponens v trong (2) dng quy tc modus tollens cn
trong (3) lp lun khng hp logic.
c) Lp lun trong (1) khng hp logic v trong (2) dng quy tc modus tollens cn trong (3) lp
lun khng hp logic.
d) Lp lun trong (1) dng quy tc modus tollens v trong (2) dng quy tc modus ponens cn
trong (3) lp lun khng hp logic.
8.23 Xt cc on lp lun sau y:
(1) Nu Tri ma th ng t. M ng khng t. Vy, Tri khng ma..
(2) Nu bn vt n th bn phm lut giao thng. M bn vt n . Vy, bn phm lut giao
thng.
(3) Nu sen tn th cc n hoa. M sen cha tn. Vy, cc cha n hoa.
Chn phn on ng:
a) Lp lun trong (1) dng quy tc la chn v trong (2) dng quy tc modus ponens cn trong (3)
dng quy tc modus tollens.
b) Lp lun trong (1) dng quy tc modus tollens v trong (2) dng quy tc modus ponens cn trong
(3) dng quy tc modus tollens.
c) Lp lun trong (1) dng quy tc modus tollens v trong (2) dng quy tc modus ponens cn trong
(3) lp lun khng hp logic.
d) Lp lun trong (1) dng quy tc modus tollens v trong (2) dng quy tc modus ponens cn trong
(3) dng quy tc bc cu.
8.24 Xt cc on lp lun sau y:
(1) Bo rng cch tr ngang;
(2) Tiu th vi tht: Con Hoa!
Khng sang th cng ng sang nh.
Khuyn chng chng cn, th ta c n!
Nhng y cch mt u nh;
Sinh cng nt rut, tan hn,
C xa xi my, m tnh xa xi
Chn mi phi ngm b hn, ro ngay!
(L bc sang ngang Nguyn Bnh)
(Truyn Kiu Nguyn Du)
(3) Bao gi cho ma tr bng;
Cho ch c chng, em gm gi heo.
Gi heo ch trn treo;
Ch a gi mo cng lm ch i!
(Ca dao)
Chn phn on ng:
a) Lp lun trong (1) khng hp logic, trong (2) cng khng hp logic, trong (3) dng quy tc
bc cu ca php ko theo.
Trang 18
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
P
b) Lp lun trong (1) khng hp logic, trong (2) dng quy tc:
Q
P
Q
Q
R
P
Q R
c) Lp lun khng hp logic v dng s suy lun:
P
Q
P
R
P
Q R
d) Lp lun khng hp logic v dng s suy lun:
Trang 19
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
P
P
P
Q
R
Q
Trang 20
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
khch thp phng gh li l bi ngi thnh ng. Tht kh cho An c th ln chnh in cu
nguyn vo nhng lc nh vy..
Bn hy cho bit on vn trn y s dng quy tc logic no trong lp lun.
p q
p
q
p
q
p
q
q
q
p
p
a)
.
b)
c)
d)
.
p
p
q
q
8.33 Xt on vn: Sau khi m mnh trong nhng giy pht bnh yn tp trung cho vic cu nguyn
l An li ro bc dc theo con ng t chnh in ra mt cnh ng ln, hng mt ln bu tri
tm nhng ngi sao sm lc loi xut hin. Hm nay nhiu ngi sao sng c n trn bu tri hng
v cnh ng trng bao ph trong bng m tm An, nhng v vng. , ch c ting cn trng tha
h th nhng m thanh c tch vo khong vng m trng. Vy l An ri xa ngi thnh ng
b li sau lng nhng k nim kh phai..
Bn hy cho bit on vn trn y s dng quy tc logic no trong lp lun.
p
q
p
q
p
q
p q
q
p
p
q
a)
.
b)
c)
d)
.
p
q
q
p
8.34 on i thoi sau y l t mt bi ht trong phim Ty Du K.
- Ty Lng N Quc: Nu c kip sau, thip mng chi vng quyn ph qu, ch mong lm
c thn n bnh thng ngy ngy dt la quay t
- ng Tng: Nu khng c kip sau ta cn g gi thanh quy gii lut, ch mun c lm
th sinh o vi.
(Ni dung ca on i thoi c phng theo ni dung trong tp 16 (Ty Lng N Quc)
ca n o din Dng Khit. So vi ni dung trong nguyn bn Ty Du K ca Ng Tha n ni
dung on i thoi ny khng c.)
Bn hy cho bit cc li ni (phn on) ca cc nhn vt b lc i v quy tc logic c
s dng trong i thoi.
a) Ty Lng N Quc. Tin : Thip l vua c vng quyn ph qu, kt lun: khng c kip
sau. Lp lun theo quy tc modus tollens.
ng Tng. Tin : ti l thy tu (khng phi th sinh) ang gi thanh quy gii lut, kt lun: c
kip sau. Lp lun theo quy tc modus tollens.
b) Ty Lng N Quc. Tin : Thip l vua c vng quyn ph qu, kt lun: khng c kip
sau. Lp lun theo quy tc modus ponens.
ng Tng. Tin : ti l thy tu (khng phi th sinh) ang gi thanh quy gii lut, kt lun: c
kip sau. Lp lun theo quy tc modus tollens.
c) Ty Lng N Quc. Tin : Thip l vua c vng quyn ph qu, kt lun: khng c kip
sau. Lp lun theo quy tc modus tollens.
ng Tng. Tin : ti l thy tu (khng phi th sinh) ang gi thanh quy gii lut, kt lun: c
kip sau. Lp lun theo quy tc modus ponens.
d) Ty Lng N Quc. Tin : Thip l vua c vng quyn ph qu, kt lun: khng c kip
sau. Lp lun theo quy tc modus ponens.
ng Tng. Tin : ti l thy tu (khng phi th sinh) ang gi thanh quy gii lut, kt lun: c
kip sau. Lp lun theo quy tc modus ponens.
9 Tam on lun
9.1 T hai phn on lm tin l: Mi hnh ch nht u l hnh bnh hnh v Mi hnh vung
u l hnh ch nht, kt lun c rt ra l: (Suy lun bng cch dng Tam on lun)
a) Mi hnh vung u l hnh bnh hnh.
b) Mt s hnh vung l hnh bnh hnh.
c) Mt s hnh vung khng l hnh bnh hnh.
d) Mi hnh vung khng l hnh bnh hnh.
9.2 T hai phn on lm tin l: Mi cy hoa lan u khng c gai v Mi cy hoa trong vn
ny l hoa lan, kt lun c rt ra l: (Suy lun bng cch dng Tam on lun)
Trang 21
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
a) Mi cy hoa trong vn ny khng c gai.
c) Mt s cy hoa trong vn ny khng c gai.
Trang 22
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
a)
b)
c)
d)
Trang 23
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
9.21 T hai phn on lm tin l: Mi s t nhin u khng m v Mi s m u l s thc,
kt lun c rt ra l: (Suy lun bng cch dng Tam on lun)
a) C nhng s thc l s t nhin.
b) Mi s thc khng l s t nhin.
c) Mi s thc l s t nhin.
d) C nhng s thc khng l s t nhin.
10 Chng minh
10.1 Cu trc ca mt chng minh bao gm:
a) Lun (vn nu ra cn lm sng t), lun c (nhng tin ng c dng trong chng
minh), lun chng (cc quy tc suy lun).
b) Lun (vn nu ra cn lm sng t), lun c (cc quy tc suy lun hp logic), lun chng
(nhng chng c chnh xc v y ).
c) Lun (vn nu ra cn lm sng t), lun c (cc quy tc suy lun hp logic), lun chng
(nhng chng c chnh xc, y v r rng).
d) Lun (vn nu ra cn lm sng t), lun c (nhng tin ng c dng trong chng
minh), lun chng (cc quy tc suy lun hp logic).
10.2 Xt on vn:
Nu ngh s Vn Ba khng trnh din hay s v bn ra t hn 50 v th m din s b hy b
v ng Bu rt bun. Nu m din b hy b th phi tr tin v li cho ngi xem. Nhng tin v
khng c tr li cho ngi xem.
Vy, ngh s Vn Ba trnh din.
Chn phn on ng:
a) Trong on vn lun l: Ngh s Vn Ba trnh din v lun chng l s suy lun
hp logic sau:
~p q
r s
r
t
~t
.
p
b) Trong on vn lun l: Ngh s Vn Ba trnh din v lun chng l s suy lun
khng hp logic sau:
~p q
r s
r
t
~t
.
p
c) Trong on vn lun l: Ngh s Vn Ba trnh din v lun chng l quy tc modus
tollens.
d) Trong on vn lun l: Ngh s Vn Ba trnh din v lun chng l quy tc modus
ponens.
10.3 Xt on vn: Nu An c ln chc v lm vic nhiu th An c tng lng. Nu c tng
lng An s mua xe mi. M An khng mua xe mi.
Vy, An khng c ln chc hay An khng lm vic nhiu.
Chn phn on ng:
a) Trong on vn lun l: An khng c ln chc hay An khng lm vic nhiu v lun
chng l s suy lun hp logic sau:
p q
r
r
s
~s
.
~ p ~q
b) Trong on vn lun l: An khng c ln chc v An khng lm vic nhiu v lun
chng l s suy lun hp logic sau:
Trang 24
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
p
r
~s
.
~ p ~q
c) Trong on vn lun l: An khng c ln chc hay An khng lm vic nhiu v lun
chng l s suy lun hp logic sau:
p q
r
r
~s
.
~ p ~q
d) Trong on vn lun l: An khng c ln chc v An khng lm vic nhiu v lun
chng l s suy lun hp logic sau:
p q
r
r
~s
~ p ~q
Trang 25
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
p
q
r
s
q s
t
~t
~p ~r
10.5 Xt on vn:
Nu ngh s Vn Ba khng trnh din hay s v bn ra t hn 50 v th m din s b hy b
v ng Bu rt bun. Nu m din b hy b th phi tr tin v li cho ngi xem. Nhng tin v
khng c tr li cho ngi xem.
Vy, ngh s Vn Ba trnh din.
Chn phn on ng:
a) Trong on vn lun c l: Nu ngh s Vn Ba khng trnh din hay s v bn ra t hn 50
v th m din s b hy b v ng Bu rt bun. Nu m din b hy b th phi tr tin v
li cho ngi xem. Tin v khng c tr li cho ngi xem v lun chng l s suy
lun khng hp logic sau:
~p q
r s
r
t
~t
.
p
b) Trong on vn lun c l: Nu ngh s Vn Ba khng trnh din hay s v bn ra t hn 50
v th m din s b hy b v ng Bu rt bun. Nu m din b hy b th phi tr tin v
li cho ngi xem. Tin v khng c tr li cho ngi xem v lun chng l s suy
lun hp logic sau:
~p q
r s
r
t
~t
.
p
c) Trong on vn lun c l: Nu ngh s Vn Ba khng trnh din hay s v bn ra t hn 50
v th m din s b hy b v ng Bu rt bun. Nu m din b hy b th phi tr tin v
li cho ngi xem. Tin v khng c tr li cho ngi xem v lun chng l quy tc
modus tollens.
d) Trong on vn lun c l: Nu ngh s Vn Ba khng trnh din hay s v bn ra t hn 50
v th m din s b hy b v ng Bu rt bun. Nu m din b hy b th phi tr tin v
li cho ngi xem. Tin v khng c tr li cho ngi xem v lun chng l quy tc
modus ponens.
10.6 Xt on vn: Nu An c ln chc v lm vic nhiu th An c tng lng. Nu c tng
lng An s mua xe mi. M An khng mua xe mi.
Vy, An khng c ln chc hay An khng lm vic nhiu.
Chn phn on ng:
a) Trong on vn lun c l: Nu An c ln chc v lm vic nhiu th An c tng lng.
Nu c tng lng An s mua xe mi. An khng mua xe mi. v lun chng l s suy
lun hp logic sau:
p q
r
r
s
~s
.
~ p ~q
b) Trong on vn lun c l: Nu An c ln chc v lm vic nhiu th An c tng lng.
Nu c tng lng An s mua xe mi. An khng mua xe mi. v lun chng l s suy
lun khng hp logic sau:
Trang 26
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
p
r
~s
.
~ p ~q
c) Trong on vn lun c l: Nu An c ln chc v lm vic nhiu th An c tng lng.
Nu c tng lng An s mua xe mi. An khng mua xe mi. v lun chng l s suy
lun hp logic sau:
p q
r
r
~s
.
~ p ~q
d) Trong on vn lun c l: Nu An c ln chc v lm vic nhiu th An c tng lng.
Nu c tng lng An s mua xe mi. An khng mua xe mi. v lun chng l s suy
lun khng hp logic sau:
p q
r
r
~s
~ p ~q
Trang 27
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
10.8 Xt bi ton cng vi li gii ca n (ta xem y l mt on vn): Cho ac
rng phng trnh bc hai ax
b
4ac
bx
4ac
0 . Chng minh
0 nn a
ax
bx c 0 lun c hai nghim phn bit.
Chn phn on ng:
bx
c
2
bx
4ac
4ac
c
0 v a
c
2
bx
0 th c hai
0 v a
0 th c hai
bx
0 v a
0 th c hai
0 . Chng minh
4ac
0 . T y suy
b
0 . Vy, phng trnh bc hai ax 2
4
Chn phn on ng:
ra ac
bx
bx
c
b
b
phn bit, lun c l: ac 0 , phng trnh bc hai c
hai nghim phn bit, lun chng l phng php phn chng.
bx
4ac
c
bx
0 th c
0 v a
0 th c
0 v a
bx
0 v a
0 th c
4ac
0 v a
0 th c
10.10 Xt bi ton cng vi li gii ca n (ta xem y l mt on vn): Chng minh rng 267
l hp s (khng phi l s nguyn t).
Gii: Ta c: 267
147573952589676412927
193707721 761838257287
67
Vy, 2
1 l hp s.
(y l bi ton do Cole a ra v gii vo nm 1903. ng phi b ra tt c nhng ngy Ch nht ca khong 3
nm lin tip thc hin phn tch trn. C th ni y l li gii ngn nht cho mt bi ton v n khng phi dng mt li
no c.)
Trang 28
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
x , p(x )
p(a )
1 l hp s, lun c l:
x , p(x )
p(a )
1 l hp s, lun c l:
x , p(x )
p(a )
1 l hp s, lun c l:
x , p(x )
p(a )
Trang 29
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
khng c trong quy nh ca cng ty nn kt lun anh An khng th xp l lao ng tin tin.
Kt lun ca ng Gim c l ng, kt lun ca c Th k l sai.
c) ng Gim c xut pht t nhng lun c ng v bng lun chng quy tc modus ponens
kt lun anh An c cng nhn danh hiu lao ng tin tin. C th k xut pht t lun c
li sng khng c k lut ca anh y (iu ny l ng vi An) nn kt lun anh An khng th
xp l lao ng tin tin. Kt lun ca ng Gim c l ng, kt lun ca c Th k cng c
th chp nhn c.
d) ng gim c xut pht t nhng lun c ng v bng lun chng quy tc modus ponens
kt lun anh An c cng nhn danh hiu lao ng tin tin. C th k xut pht t lun c
li sng khng c k lut ca anh y (iu ny l ng vi An) nn kt lun anh An khng th
xp l lao ng tin tin. Kt lun ca ng Gim c l ng, kt lun ca c Th k cng c
th chp nhn c ty theo tng trng hp c th.
10.13 Xt bi ton cng vi li gii ca n (ta xem y l mt on vn): Cho a 0 . Chng minh
rng phng trnh bc nht ax b 0 c khng qu mt nghim.
Gii: Gi s phng trnh cho c hai nghim phn bit u, v , (u v) . Khi au b 0 v
av b 0 . T y suy ra av b au b hay a(u v) 0 . V a 0 nn u v 0 , hay u v .
Vy, phng trnh bc nht ax b 0 c khng qu mt nghim.
Chn phn on ng:
a) Trong on vn, lun l: phng trnh bc nht ax b 0 c khng qu mt nghim,
lun c l: u v v u v v lun chng l quy tc Q
R
R.
b) Trong on vn, lun l: phng trnh bc nht ax b 0 c ng mt nghim, lun
c l: u v v u v v lun chng l quy tc Q
R
R.
c) Trong on vn, lun l: phng trnh bc nht ax b 0 c khng qu mt nghim,
lun c l: u v v u v v lun chng l quy tc modus tollens.
d) Trong on vn, lun l: phng trnh bc nht ax b 0 c ng mt nghim, lun
c l: u v v u v v lun chng l quy tc modus tollens.
10.14 Xt bi ton cng vi li gii ca n (ta xem y l mt on vn): Cho n l s nguyn. Chng
minh rng n(n+1) lun chia ht cho 2.
Gii:
Nu n l s chn th n(n+1) chia ht cho 2 v tch c mt tha s chn.
Nu n l s l th n+1 l s chn v t n(n+1) chia ht cho 2 v tch c mt tha s chn.
Vy, n(n+1) lun chia ht cho 2.
Chn phn on ng:
a) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P
R
Q
R
.
P Q
R
b) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P
R
Q
R
.
P Q
R
c) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P
R
Q
R
.
(P
Q) R
Trang 30
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
d) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P
R
Q
R
.
P
(Q
R)
10.15 Xt bi ton cng vi li gii ca n (ta xem y l mt on vn): Cho n l s nguyn. Chng
minh rng P(n)=n(n+1) lun chia ht cho 2.
Gii:
Ta c P(1)=1.2=2 chia ht cho 2. Vy, P(1) ng.
Gi s P(k)=k(k+1) ng, (k 1) . Ngha l P(k)=k(k+1) chia ht cho 2, (k 1) .
P(k+1)=(k+1)(k+2)=k(k+1)+2(k+1). Theo gi thit quy np k(k+1) chia ht cho 2 v 2(k+1)
chia ht cho 2 nn P(k+1) chia ht cho 2.
Vy, n(n+1) lun chia ht cho 2.
Chn phn on ng:
a) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P (1)
1, P (k )
P (k
1)
n, P(n )
b) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P (1)
1, P (k )
n, P(n )
P (k
1)
c) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P(1) P(k ) P (k 1)
.
n, P(n )
d) Trong on vn, lun l: n(n+1) lun chia ht cho 2, lun c l: mt s chia ht cho 2
nu s c th phn tch thnh nhng tha s m c t nht mt tha s chn v lun
chng l quy tc:
P
R
Q
R
.
P Q
R
10.16 Xt bi ton cng vi li gii ca n (ta xem y l mt on vn): Chng minh rng s on
n(n 1)
thng c thnh lp t n im phn bit trong mt phng l
.
2
Gii:
2(2 1)
Vi n=2, s on thng c thnh lp t 2 im l 1 on v 1
. Vy, mnh
2
ng vi n=2.
Gi s mnh ng vi n k 2 , ngha l s on thng c thnh lp t k im phn
bit l
k (k
1)
2
Trang 31
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
Xt k+1 im phn bit. Theo gi thit quy np t k im c
k (k
1)
on thng. Vi im
2
cn li cng vi k im lc u ta lp c thm k on thng na. T s on thng c thnh
k(k 1)
k(k 1) 2k
(k 1)k
lp t k+1 im l
.
k
2
2
2
n(n 1)
Vy, s on thng c thnh lp t n im phn bit trong mt phng l
.
2
Chn phn on ng:
a) Trong on vn, lun c l: mnh ng vi n=2, v t gi thit mnh ng vi n=k dn
n mnh ng vi n=k+1, lun chng l quy tc:
P (2)
2, P(k )
P(k
1)
n, P(n )
2, P(k )
P(k
n, P(n )
1)
n(n 1)
, lun
2
Trang 32
b 2 th a=b. Li c (3)2
( 3)2 . V
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
a) Trong on lp lun trn, lun l 3=-3, lun c l a 2 b 2 th a=b v (3)2 ( 3)2 ,
lun chng l quy tc modus ponens. Lun c sai, v vy kt lun ca lun sai.
b) Trong on lp lun trn, lun l 3=-3, lun c l a 2 b 2 th a=b v (3)2 ( 3)2 ,
lun chng l quy tc modus ponens. Lun c sai, lun chng khng hp logic, v vy kt lun
ca lun sai.
c) Trong on lp lun trn, lun l 3=-3, lun c l a 2 b 2 th a=b v (3)2 ( 3)2 ,
lun chng l quy tc modus tollens. Lun c sai, v vy kt lun ca lun sai.
d) Trong on lp lun trn, lun l 3=-3, lun c l a 2 b 2 th a=b v (3)2 ( 3)2 ,
lun chng l quy tc modus tollens. Lun c sai, lun chng khng hp logic, v vy kt lun
ca lun sai.
10.19 Xt on lp lun sau:
Tt c cc con nga u cng mt mu.
Tht vy, gi P(n) l mnh tt c cc con nga trong mt tp c n con nga l cng mt
mu.
Mnh ng vi n=1, v mt con nga hin nhin c mt mu.
Gi s mnh ng vi n k 1 , ngha l trong tp c k con nga bt k lun c cng
mt mu.
Xt tp c k+1 con nga. Ta chia tp ny ra lm hai tp con mi tp c k con nga. Theo gi
thit quy np cc con nga hai tp ny u c cng mu, v v hai tp ny c phn chung (giao
khc rng) nn t suy ra k+1 con nga c cng mu.
Vy, Tt c cc con nga u cng mt mu.
Bn hy chn p n ng.
a) Trong on lp lun trn, lun c l P(1) sai, P(k ) P(k 1) sai vi k=1, lun chng l
quy tc hp logic:
P (1)
1, P (k )
P (k
1)
n, P(n )
1, P (k )
P(k
P (k
1)
n, P(n )
1, P (k )
P(k
P (k
1)
n, P(n )
1, P (k )
P (k
n, P(n )
P(k
1)
Trang 33
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
a) Trong on vn trn, lun l n l s l, lun
chn, lun chng l quy tc: modus tollens.
b) Trong on vn trn, lun l n l s l, lun
chn, lun chng l quy tc: modus ponens.
c) Trong on vn trn, lun l n l s l, lun
chn, lun chng l quy tc: Q
R
R.
d) Trong on vn trn, lun l n l s l, lun
chn, lun chng l quy tc: la chn.
c l: 5n+2 l s l v s dng 2m l s
c l: 5n+2 l s l v s dng 2m l s
c l: 5n+2 l s l v s dng 2m l s
c l: 5n+2 l s l v s dng 2m l s
10.21 Hy ch r lun , nhng lun c v nhng lun chng trong lp lun sau:
Gi s a 0 , khi a.b 0.b 0 . Vy, a.b 0
a 0
a) Lun a
b) Lun a
0 , lun c a.b
0 , lun c a.b
c) Lun a
d) Lun a
0 , lun c a.b
0 , lun c a.b
Ngha l P
R
R
R hng ng.
(Lu : P
R)
b2
4ac
bx
bit.
Lp lun 2:
Nu a 0 v
nghim phn bit.
b2
4ac
bx
0 lun c hai
1, P(k )
n, P(n )
Trang 34
P(k
1)
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
b) p dng: Chng minh rng tng cc gc trong ca a gic n cnh l (n
2)1800, n
3 . Sau
ch r lun , nhng lun c v nhng lun chng trong lp lun ca chng minh.
c) p dng: Chng minh rng s tp hp con ca tp hp c n phn t l 2n . Sau ch r lun ,
nhng lun c v nhng lun chng trong lp lun ca chng minh.
10.25 Dng mnh ca phng php quy np Ton hc l s suy lun sau:
P(n0 )
n, n 0
k
n
n, P (k )
P (n
1)
n0 , P (n )
12 u c th vit di dng n
4x
5y trong
10.26 Hy ch r lun , nhng lun c v nhng lun chng trong lp lun sau:
Gi s t im A ngoi ng thng a ta k c hai ng thng phn bit b, c cng vung gc vi
ng thng a. ng thng b vung gc vi a ti B, ng thng c vung gc vi a ti C. Khi
tam gic ABC c A
900
900
1800
Trang 35
Bi tp Logic hc, Khoa Khoa hc c bn, Trng i hc Cng Nghip T.P HCM
T hai bn tng trnh trn iu tra vin A kt lun Ngy 30/4 lc 9 gi ti, X khng c mt
nh.
Trang 36