1. TR NG I H C AN GIANG
D ĂN P.H.E
K N NG T DUY CĂ LOGIC
(TĂ i li!u ph%c v% chuyĂȘn +, rĂšn luy!n k0 n1ng s4ng
cho sinh viĂȘn thi!t thĂČi tr89ng HAG)
BiĂȘn so n: TS. VĂ” V n Th ng
ThĂĄng 01/ 2007
1
2. L I NĂI ;U
Trong quĂĄ trĂŹnh t n t i c a mĂŹnh, con ng$%i luĂŽn khĂĄt v*ng hi+u bi-t v. t/
nhiĂȘn vĂ xĂŁ h3i. Do v5y, nh5n th7c hi8n th/c khĂĄch quan lĂ m3t nhu c9u t:t y-u
c a con ng$%i. Nh$ng lĂ m th- nĂ o con ng$%i cĂł th+ nh5n th7c =Ășng = n hi8n
th/c khĂĄch quan, tĂŹm ra chĂąn lĂœ vĂ hĂ nh =3ng cĂł hi8u quA tBt?
Nh5n th7c =Ășng lĂ =i.u ki8n c9n giĂșp con ng$%i hĂ nh =3ng =Ășng, = t =$Ec
hi8u quA mong muBn. Ng$Ec l i, nh5n th7c sai, khĂŽng n m b t =$Ec bAn ch:t vĂ
quy lu5t c a hi8n th/c khĂĄch quan thĂŹ con ng$%i sF hĂ nh =3ng phiĂȘu l$u, m o
hi+m, dH =i =-n th:t b i.
Nh5n th7c =Ășng = n, t$ duy chĂnh xĂĄc, l5p lu5n chJt chF, m ch l c, cĂł s7c
thuy-t phKc...lĂ nhLng n3i dung quan tr*ng mĂ khoa h*c Logic h*c mang l i cho
con ng$%i.
VNi Ăœ nghOa =Ăł, chĂșng tĂŽi biĂȘn so n tĂ i li8u nĂ y vNi mong mPi giĂșp cĂĄc anh
chQ sinh viĂȘn cĂł =$Ec nhLng phRm ch:t c9n thi-t nh$ =ĂŁ nĂłi trĂȘn.
ChĂșc anh chQ sinh viĂȘn thĂ nh cĂŽng.
TĂĄc giA
TS. VĂ V N TH?NG
2
3. MAC LAC
Ch8Bng I: DI T ENG VĂ Ă NGHHA CIA LOGIC H C ................................................ 4
I. LOGIC HXC VĂ Z[I T]NG NĂ .................................................................................... 4
II. LOGIC VĂ NGĂN NGa .................................................................................................... 6
III. Ă NGHdA CfA VIgC HXC ThP, NGHIĂN CkU LOGIC HXC.................................... 8
Ch8Bng I: NHKNG QUY LUMT CN BPN CIA LOGIC H C HĂNH THRC................... 9
I. ZnC ZIoM CfA QUY LUhT LOGIC ............................................................................... 9
II. NHaNG QUI LUhT CfA LOGIC HĂNH THkC ........................................................... 10
Ch8Bng III: KHĂI NITM........................................................................................................ 16
I. KHĂI NIgM LĂ GĂ? .......................................................................................................... 16
II. KHĂI NIgM VĂ Tw......................................................................................................... 16
III. CxU TRĂC CfA KHĂI NIgM ...................................................................................... 17
IV. QUAN Hg GIaA CĂC KHĂI NIgM ............................................................................. 18
V. Z{NH NGHdA KHĂI NIgM ............................................................................................. 21
Ch8Bng IV: PHĂN OĂN ...................................................................................................... 27
I. ZnC TRNG CHUNG CfA PHĂN ZOĂN .................................................................... 28
II. PHĂN ZOĂN Z|N .......................................................................................................... 28
IV. PHĂN ZOĂN PHkC VĂ CĂC PHĂP LOGIC .............................................................. 37
Ch8Bng V: SUY LUMN............................................................................................................ 49
I. KHĂI NIgM CHUNG Vâą SUY LUhN............................................................................. 49
II. SUY LUhN H]P LOGIC: ................................................................................................ 50
III. SUY LUhN NGHE CĂ LĂ ............................................................................................. 66
TĂI LITU THAM KHPO ....................................................................................................... 68
3
8. + Nh$ng câąng cĂł nhLng suy diHn chĆ th:y trong ngĂŽn ngL, khĂŽng ĂĄp dKng
trong logic.
Sâ° dO ng$%i ta suy diHn =$Ec nh$ v5y lĂ do d/a vĂ o 02 tâŠ: "l i" vĂ "=Ăąm".
Ng$%i ta g*i =Ăąy lĂ ti.n giA =Qnh.
+ Trong ngĂŽn ngL, cĂł hĂŹnh th7c suy lu5n suy Ăœ. Suy Ăœ th$%ng =$Ec ĂĄp
dKng trong =%i sBng hĂ ng ngĂ y, do v5y, nĂł mang tĂnh phâą quĂĄt, phâą bi-n trong
m*i ngĂŽn ngL t/ nhiĂȘn. Tuy v5y, suy Ăœ lĂ m3t hĂŹnh th7c suy lu5n g9n =Ășng, phK
thu3c nhi.u vĂ o ngĂŽn cAnh, nĂł th$%ng khĂŽng chJt chF nh$ nhLng quy t c suy lĂœ
trong logic.
NgoĂ i =Jc =i+m chung c a m*i ngĂŽn ngL t/ nhiĂȘn, ti-ng Vi8t cĂČn cĂł logic
=Jc thĂč c a nĂł. Vi8c giAi thĂch, phĂąn tĂch cĂĄc hi8n t$Eng ngĂŽn ngL trong m3t sB
tr$%ng hEp lĂ r:t khĂł kh n, ph7c t p, th5m chĂ cĂł tr$%ng hEp khĂŽng th+ phĂąn
tĂch, giAi thĂch. Sau =Ăąy lĂ m3t vĂ i vĂ dK =i+n hĂŹnh.
Trong ngL phĂĄp, cĂł nhLng cĂąu mang hĂŹnh th7c nghi v:n nh$ng ch7a =/ng
n3i dung khĆœng =Qnh hoJc r:t nhi.u hi8n t$Eng khĂĄc nLa.
III. Ă NGHHA CIA VITC H C TMP, NGHIĂN CRU LOGIC H C.
Trong cu3c sBng hâčng ngĂ y, ng$%i ta cĂł th+ nĂłi =Ășng, vi-t =Ășng, l5p lu5n
chJt chF, thuy-t phKc mĂ ch$a h. h*c t5p, nghiĂȘn c7u ngL phĂĄp, logic h*c. Zi.u
=Ăł khĂŽng cĂł nghOa lĂ ng$%i ta khĂŽng c9n h*c ngL phĂĄp, logic h*c. Bâ°i vĂŹ, logic
h*c lĂ mĂŽn khoa h*c giĂșp con ng$%i v5n dKng m3t cĂĄch t/ giĂĄc nhLng hĂŹnh th7c
vĂ quy t c t$ duy =Ășng = n.
NĂłi cĂĄch khĂĄc, logic h*c giĂșp con ng$%i t$ duy m3t cĂĄch t/ giĂĄc, trĂĄnh
nhLng ki+u suy nghO t/ phĂĄt, khĂŽng chĂnh xĂĄc. VĂ nh$ v5y, nĂł giĂșp con ng$%i
phĂĄt hi8n =$Ec nhLng sai l9m trong quĂĄ trĂŹnh t$ duy c a bAn thĂąn mĂŹnh vĂ c a
ng$%i khĂĄc.
CĂł th+ nĂłi, l5p lu5n chJt chF, chĂnh xĂĄc, cĂł s7c thuy-t phKc, =Ăł lĂ phRm
ch:t, lĂ giĂĄ trQ lNn lao trong m*i kĆž lOnh v/c ho t =3ng khoa h*c vĂ ho t =3ng
th/c tiHn nĂ o.Sa u =Ăąy lĂ m3t vĂ i vĂ dK v. nhLng suy lu5n mĂ n-u khĂŽng n m
vLng quy t c suy lu5n thĂŹ chĂșng ta sF khĂŽng phĂĄt hi8n =$Ec sai l9m c a nĂł.
Logic h*c cĂČn giĂșp chĂșng ta sâ dKng chĂnh xĂĄc h8 thBng ngĂŽn ngL.
8
9. Zi.u nĂ y lĂ r:t c9n thi-t cho m*i =Bi t$Eng, =Jc bi8t lĂ nhLng ng$%i nghiĂȘn
c7u khoa h*c, nghiĂȘn c7u, so n thAo v n bAn phĂĄp lu5t... Hi8n nay, khĂŽng chĆ
trong =%i sBng hĂ ng ngĂ y mĂ cĂČn ngay cA trĂȘn bĂĄo chĂ, =Ă i phĂĄt thanh - truy.n
hĂŹnh, cĂŽng v n c a cĂĄc câș quan... cĂČn cĂł r:t nhi.u sai sĂłt, khĂŽng chĂnh xĂĄc khi sâ
dKng tâŠ. ChĆœng h n, chĂșng ta hay nĂłi: t:t cA m i ng i, =. c5p n, bĂĄch hoĂĄ
t ng h"p, sau câșn bĂŁo i qua, nhĂ tri-t gia, bi(n ZQa Trung HAi, chĂča Long Hoa
T/,...
Ch8Bng II
CĂC QUI LUMT CN BPN CIA LOGIC H C HĂNH THRC
I. iC IjM CIA QUY LUMT LOGIC
1. KhĂĄi ni!m v, quy lult logic hĂŹnh th`c
Trong hi8n th/c, quy lu5t lĂ mBi liĂȘn h8 bAn ch:t, t:t nhiĂȘn, phâą bi-n vĂ lJp
l i giLa cĂĄc s/ v5t, hi8n t$Eng, giLa cĂĄc y-u tB, cĂĄc thu3c tĂnh c a cĂĄc s/ v5t hay
c a cĂčng m3t s/ v5t.
CĂł nhi.u lo i quy lu5t. TuĆž theo ph m vi tĂĄc =3ng, ng$%i ta chia ra thĂ nh:
- Quy lu5t riĂȘng: chĆ tĂĄc =3ng trong lOnh v/c nĂ o =Ăł vĂ =$Ec m3t khoa h*c
chuyĂȘn ngĂ nh nghiĂȘn c7u.
- Quy lu5t chung: tĂĄc =3ng trong ph m vi r3ng lNn hâșn vĂ =$Ec m3t sB b3
mĂŽn khoa h*c chuyĂȘn ngĂ nh nghiĂȘn c7u;
- Quy lu5t phâą bi-n: tĂĄc =3ng trong cA t/ nhiĂȘn, xĂŁ h3i lân t$ duy con
ng$%i.
TuĆž theo tĂnh ch:t =âșn trQ hay =a trQ ng$%i ta chia quy lu5t thĂ nh:
- Quy lu5t =3ng l/c: lĂ quy lu5t mĂ 7ng vNi m3t nguyĂȘn nhĂąn chĆ cĂł m3t
k-t quA xĂĄc =Qnh;
- Quy lu5t thBng kĂȘ: 7ng vNi m3t nguyĂȘn nhĂąn, k-t quA cĂł th+ nh$ th- nĂ y
câąng nh$ th- khĂĄc.
NgoĂ i ra, chĂșng ta cĂČn chia thĂ nh:
- Quy lu5t c a t/ nhiĂȘn, c a xĂŁ h3i vĂ c a t$ duy;
- Quy lu5t ho t =3ng vĂ quy lu5t phĂĄt tri+n c a s/ v5t;
9
12. CĂĄi bĂ n lĂ ph m trĂč tri-t h*c (0)
Th` ba: KhĂŽng =$Ec =ĂĄnh trĂĄo ngĂŽn t⊠diHn = t t$ t$â°ng (=ĂĄnh trĂĄo khĂĄi
ni8m)
VĂ dK: CĂĄi mĂ anh m:t, t7c lĂ anh khĂŽng cĂł. Anh khĂŽng m:t sâŠng. Cho
nĂȘn, anh cĂł sâŠng.
Th` t8: Ă nghO, t$ t$â°ng tĂĄi t o phAi = ng nh:t v. Ăœ nghO, vNi t$ t$â°ng
ban =9u. CĂł nghOa lĂ , khi nh c l i Ăœ nghO c a mĂŹnh, hoJc ti-p thu, tĂĄi t o Ăœ nghO
c a ng$%i khĂĄc, =ĂČi hPi phAi =$Ec = ng nh:t vNi Ăœ nghO =Ăł, khĂŽng =$Ec thay =âąi
tuĆž ti8n.
Nh$ v5y, lu5t = ng nh:t lĂ s/ phAn Anh hi8n th/c khĂĄch quan trong tĂnh
t$âșng =Bi âąn =Qnh vĂ tĂnh xĂĄc =Qnh c a s/ v5t. Trong cu3c sBng vĂ trong h*c t5p,
cĂŽng tĂĄc, n-u khĂŽng tuĂąn th lu5t = ng nh:t chĂșng ta sF gJp l ng c ng.
2. Qui lult phi mĂąu thuâąn (Law of noncontradiction)
2.1. Nxi dung
âT8 t8zng ph{n ĂĄnh v, +4i t8|ng trong cĂčng +i,u ki!n xĂĄc +}nh
khĂŽng tho +tng th9i mang hai giĂĄ tr} logic trĂĄi ng8|c nhauâ.
NĂłi cĂĄch khĂĄc, hai phĂĄn =oĂĄn mĂąu thuân nhau khĂŽng th+ cĂčng chĂąn th/c.
CĂŽng th7c: a a
Z*c lĂ : âKhĂŽng th+ cĂł chuy8n, t$ t$â°ng a vâŠa chĂąn th/c l i vâŠa
giA dBiâ.
HoJc âKhĂŽng th+ cĂł chuy8n, a vâŠa lĂ a vâŠa khĂŽng lĂ aâ.
VĂ dK: Ta nĂłi, âT:t cA sinh viĂȘn lNp nĂ y =.u lĂ =oĂ n viĂȘnâ.
Sau =Ăł, ta l i nĂłi: âCĂł m3t sB sinh viĂȘn lNp nĂ y khĂŽng lĂ =oĂ n viĂȘnâ.
2.2. YĂȘu câŹu
Th` nhut: KhĂŽng =$Ec dung ch7a mĂąu thuân logic tr/c ti-p trong t$ duy
nh$ phAn ĂĄnh v. =Bi t$Eng â° =i.u ki8n xĂĄc =Qnh. T7c lĂ , =Bi vNi m3t =Bi t$Eng
nĂ o =Ăł khĂŽng th+ = ng th%i vâŠa khĆœng =Qnh =i.u gĂŹ =Ăł, vâŠa ph =Qnh ngay chĂnh
=i.u =Ăł.
VĂ dK: A lĂ th9y giĂĄo vĂ A khĂŽng lĂ th9y giĂĄo.
12
13. Th` hai: KhĂŽng =$Ec dung ch7a mĂąu thuân giĂĄn ti-p trong t$ duy.
Th+ hi8n â° hai d ng:
- M3t lĂ , khĂŽng =$Ec khĆœng =Qnh cho =Bi t$Eng m3t =i.u gĂŹ =Ăł r i l i ph
=Qnh chĂnh nhLng h8 quA t:t y-u =$Ec rĂșt ra t⊠=i.u vâŠa khĆœng =Qnh.
VĂ dK: M*i kim lo i =.u (khĆœng =Qnh) dân =i8n.
S t lĂ kim lo i.
S t khĂŽng dân =i8n
- Hai lĂ , khĂŽng =$Ec = ng th%i khĆœng =Qnh cho =Bi t$Eng hai =i.u trong
hi8n th/c lĂ lo i tr⊠lân nhau â° =i.u ki8n xĂĄc =Qnh.
VĂ dK: - A lĂ anh hĂčng.
- A lĂ kÂĄ hĂšn nhĂĄt.
Hai phĂĄn =oĂĄn trĂȘn lĂ hai phĂĄn =oĂĄn khĆœng =Qnh nh$ng lo i tr⊠lân nhau.
Trong th/c t-, cĂł r:t r:t nhi.u ng$%i vi ph m quy lu5t = ng nh:t. TuĂąn th
quy lu5t nĂ y chĂșng ta sF trĂĄnh =$Ec s/ khĂŽng nh:t quĂĄn, khĂŽng mĂąu thuân trong
t$ duy khi trĂŹnh bĂ y, tranh cĂŁi v:n =. nĂ o =Ăł.
3. Qui lult tri!t tam (Law of excluded middle)
3.1. Nxi dung:
âT8 t8zng ph{n ĂĄnh v, +4i t8|ng z +i,u ki!n xĂĄc +}nh ph{i mang giĂĄ
tr} logic xĂĄc +}nh, honc lĂ chĂąn thâĄc honc lĂ gi{ d4i, ch` khĂŽng cĂł kh{ n1ng
th` baâ.
VĂ dK: Con ng/a mĂ u tr ng hoJc khĂŽng phAi mĂ u tr ng ch7 khĂŽng th+ vâŠa
tr ng vâŠa khĂŽng tr ng.
CĂŽng th7c: a a
Z*c lĂ : HoJc t$ t$â°ng a chĂąn th/c, hoJc t$ t$â°ng a lĂ giA dBi.
3.2. YĂȘu câŹu:
Th` I: PhAi xĂĄc =Qnh t$ t$â°ng =Ășng trong hai t$ t$â°ng mĂąu thuân nhau.
13
14. Trong th/c t-, giLa hai phĂĄn =oĂĄn ph =Qnh nhau, n-u m3t phĂĄn =oĂĄn lĂ
=Ășng thĂŹ phĂĄn =oĂĄn kia phAi sai vĂ ng$Ec l i, khĂŽng cĂł tr$%ng hEp cA hai cĂčng
sai.
Th` II: PhAi =Qnh hÏnh n3i dung c a cåc danh t⊠logic ch7a trong cåc t$
t$â°ng mĂąu thuân :y.
4. Quy lult tĂșc lĂœ
4.1. Nxi dung:
âT t &ng ph(n ĂĄnh v !"i t #ng & !i u ki)n xĂĄc !*nh ch+ ! #c cĂŽng
nh n lĂ chĂąn th.c khi cĂł !0y ! c1n c xĂĄc minh ho3c ch ng minh cho tĂnh
chĂąn th.c yâ.
Quy lu5t nĂ y do nhĂ toĂĄn h*c Leibniz =$a ra.
4.2. YĂȘu câŹu:
- LĂœ do =$a ra =+ thâŠa nh5n hay khĂŽng thâŠa nh5n m3t v:n =. nĂ o =Ăł phAi
chĂąn th/c. NghOa lĂ , nĂł phAi =$Ec ki+m nghi8m, ch7ng minh trong th/c t-.
VĂ dK: Chuy8n k+ râčng, â° Nh5t BAn, cĂł m3t chĂ ng trai =i bĂĄn rĂča. Anh rao
bĂĄn:
âRĂča =Ăąy! RĂča =Ăąy! Ai mua rĂča? H c sBng ngĂ n n m, rĂča sBng v n n m.
RĂča sBng m3t v n n m, giĂĄ r:t rÂĄâ.
M3t ng$%i trung niĂȘn nghe nĂłi rĂča sBng =$Ec v n n m, li.n mua v. m3t
con, nh$ng chĆœng may, hĂŽm sau rĂča ch-t. Ăng li.n ch y ra chE tĂŹm l i ng$%i bĂĄn
rĂča vĂ b/c t7c nĂłiâ
âNĂ y, thâčng lâŠa =Ao! MĂ y bAo rĂča sBng =$Ec v n n m, sao tao mua v. mNi
qua =ĂȘm =ĂŁ ch-t?â
ChĂ ng trai bĂĄn rĂča c$%i ha hA, trA l%i:
âTh$a ĂŽng, nh$ v5y thĂŹ xem ra =Ășng vĂ o =ĂȘm qua rĂča vâŠa trĂČn m3t v n
n m tuâąiâ.
Ta th:y, lu5n c7 anh chĂ ng bĂĄn rĂča =$a ra lĂ hoĂ n toĂ n vĂŽ c n c7, khĂŽng
th+ ki+m ch7ng trong th/c t-.
- LĂœ do =$a ra khĂŽng chĆ chĂąn th/c mĂ cĂČn phAi =9y = . T:t cA lĂœ do =$a ra
=.u phAi tuĂąn th quy t c suy lu5n, ch7ng minh, nghOa lĂ chĂșng phAi cĂł liĂȘn h8
chJt chF, t:t y-u.
14
18. 2. Ngoâąi diĂȘn (Extension)
Ngo i diĂȘn c a khĂĄi ni)m lĂ t p h#p t t c( !"i t #ng cĂł cĂĄc d u hi)u
chung ! #c ph(n ĂĄnh trong khĂĄi ni)m.
â vĂ dK trĂȘn, ta =. c5p n3i hĂ m c a khĂĄi ni8m con ng$%i, con ngo i diĂȘn
c a khĂĄi ni8m nĂ y lĂ t5p hEp =Bi t$Eng nĂ o cĂł =9y = cĂĄc d:u hi8u: a, b, c, d, e;
=Bi t$Eng nĂ o khĂŽng cĂł = cĂĄc d:u hi8u =Ăł thĂŹ khĂŽng thu3c ngo i diĂȘn c a khĂĄi
ni8m con ng$%i.
Nh$ v5y, trong quĂĄ trĂŹnh nh5n th7c, con ng$%i hĂŹnh thĂ nh nhLng khĂĄi ni8m
cĂł ngo i diĂȘn r3ng, hšp khĂĄc nhau, th5m chĂ cĂł khĂĄi ni8m khĂŽng ch7a =Bi t$Eng
nĂ o. 3. Quan h! giĆœa nxi hĂ m vĂ ngoâąi diĂȘn cpa khĂĄi ni!m
N3i hĂ m vĂ ngo i diĂȘn c a khĂĄi ni8m thBng nh:t, quy =Qnh chJt chF lân
nhau. N3i hĂ m quy =Qnh nhLng =Bi t$Eng nĂ o cĂł =9y = nhLng d:u hi8u chung
mĂ nĂł phAn ĂĄnh thu3c ngo i diĂȘn c a khĂĄi ni8m =Ăł. Ng$Ec l i, ngo i diĂȘn c a
khĂĄi ni8m quy =Qnh nhLng =Bi t$Eng nĂ o cĂł =9y = d:u hi8u chung mNi thu3c
ngo i diĂȘn c a nĂł.
N3i hĂ m vĂ ngo i diĂȘn cĂł quan h8 trĂĄi ng$Ec nhau. N3i hĂ m cĂ ng chi ti-t
thĂŹ ngo i diĂȘn cĂ ng hšp; ng$Ec l i, n3i hĂ m cĂ ng Ăt chi ti-t thĂŹ ngo i diĂȘn cĂ ng
r3ng.
IV. QUAN HT GIKA CĂC KHĂI NITM
C n c7 vĂ o quan h8 v. ngo i diĂȘn c a cĂĄc khĂĄi ni8m, cĂł th+ chia quan h8
giLa cĂĄc khĂĄi ni8m thĂ nh 6 lo i quan h8: = ng nh:t, phK thu3c, giao nhau, tĂĄch
r%i, =Bi l5p, mĂąu thuân.
1. Quan h! +tng nhut
Quan h) !@ng nh t lĂ quan h) gi a cĂĄc khĂĄi ni)m cĂł ngo i diĂȘn hoĂ n
toĂ n trĂčng nhau.
Ta nĂłi, hai khĂĄi ni8m S vĂ P cĂł ngo i diĂȘn bâčng nhau, =Ăł lĂ hai khĂĄi ni8m
= ng nh:t.
Ta vi-t: S = P
Ta cĂł th+ bi+u diHn bâčng sâș = Euler â Venn:
S, P
18
32. Ta th:y, khĂĄi ni8m âcĂŽng nhĂąnâ chu diĂȘn trong phĂĄn =oĂĄn trĂȘn. Bâ°i vĂŹ, trĂȘn
sâș = , ngo i diĂȘn c a khĂĄi ni8m âcĂŽng nhĂąnâ hoĂ n toĂ n nâčm trong ngo i diĂȘn c a
khĂĄi ni8m âng$%i lao =3ngâ; khĂĄi ni8m "ng$%i lao =3ng" trong phĂĄn =oĂĄn trĂȘn lĂ
khĂŽng chu diĂȘn, bâ°i vĂŹ, ngo i diĂȘn c a nĂł cĂł m3t ph9n trĂčng vNi ngo i diĂȘn khĂĄi
ni8m âcĂŽng nhĂąnâ.
NĂłi cĂĄch khĂĄc, do khĂĄi ni8m "cĂŽng nhĂąn" =$Ec =. c5p vNi =9y = ngo i
diĂȘn nĂȘn nĂł chu diĂȘn, cĂČn khĂĄi ni8m "ng$%i lao =3ng" =$Ec =. c5p khĂŽng =9y =
ngo i diĂȘn nĂȘn nĂł khĂŽng chu diĂȘn.
3.3. Kh{o sĂĄt tĂnh chu diĂȘn cpa khĂĄi ni!m trong phĂĄn +oĂĄn +Bn
3.3.1. PhĂĄn +oĂĄn khĆĄng +}nh chung (SaP)
M*i S lĂ P
M*i ph9n tâ thu3c S =.u thu3c P.
CĂł hai khA n ng xAy ra:
- M3t lĂ , n-u ngo i diĂȘn c a ch t⊠S nhP hâșn ngo i diĂȘn c a vQ t⊠P thĂŹ S
chu diĂȘn vĂ P khĂŽng chu diĂȘn.
VĂ dK: M*i cĂŽng nhĂąn =.u lĂ ng$%i lao =3ng.
Ta cĂł sâș = Euler â Venn:
P
S+: CĂŽng nhĂąn
S
P-: Ng$%i lao =3ng
- Hai lĂ , n-u ngo i diĂȘn c a ch t⊠S bâčng ngo i diĂȘn c a vQ t⊠P thĂŹ S chu
diĂȘn vĂ P câąng chu diĂȘn.
VĂ dK: M*i tam giĂĄc =.u =.u lĂ tam giĂĄc cĂł ba c nh bâčng nhau.
S=P
S+: Tam giĂĄc =.u
32
33. P+: Tam giĂĄc cĂł ba c nh bâčng nhau
3.3.2. PhĂĄn +oĂĄn php +}nh chung (SeP)
M*i S khĂŽng lĂ P
M*i ph9n tâ thu3c S =.u khĂŽng thu3c P.
Tr$%ng hEp nĂ y chĆ cĂł m3t khA n ng xAy ra.
VĂ dK: M*i kÂĄ n bĂĄm =.u khĂŽng cĂł Ăch.
S+: KÂĄ n bĂĄm.
S P
P+: KhĂŽng cĂł Ăch
3.3.3. PhĂĄn +oĂĄn khĆĄng +}nh chung (SiP)
M3t sB S lĂ P
CĂł m3t sB ph9n tâ S thu3c P
CĂł hai khA n ng xAy ra:
- M3t lĂ , n-u ch t⊠S vĂ vQ t⊠P cĂł quan h8 giao nhau thĂŹ S khĂŽng chu diĂȘn
vĂ P câąng khĂŽng chu diĂȘn.
VĂ dK: M3t sB sinh viĂȘn mĂȘ bĂłng =ĂĄ.
S P
S-: Sinh viĂȘn
P+: MĂȘ bĂłng =ĂĄ
- Hai lĂ , n-u ch t⊠S vĂ vQ t⊠P cĂł quan h8 phK thu3c thĂŹ S khĂŽng chu diĂȘn
vĂ P chu diĂȘn.
â vĂ dK trĂȘn, n-u t:t cA nhLng âng$%i mĂȘ bĂłng =ĂĄâ =.u lĂ âsinh viĂȘnâ, ta cĂł
sâș = :
S-: Sinh viĂȘn
P
S P+: MĂȘ bĂłng =ĂĄ
33
52. 1.1.2.2. - Ti.n =.: M3t sB S lĂ P
- K-t lu5n: M3t sB S khĂŽng lĂ P
VĂ dI:
- Ti.n =.: M3t sB loĂ i n:m cĂł ch:t =3c
- K-t lu5n: M3t sB loĂ i n:m khĂŽng phAi khĂŽng cĂł ch:t =3c.
1.1.2.3. - Ti.n =.: M*i S khĂŽng lĂ P
- K-t lu5n: M*i S lĂ P
VĂ dI: T⊠âM*i cĂŽng nhĂąn khĂŽng lĂ kÂĄ bĂłc l3tâ ta suy ra âM*i cĂŽng nhĂąn
lĂ ng$%i khĂŽng bĂłc l3tâ
1.1.2.4. - Ti.n =.: M3t sB S khĂŽng lĂ P
- K-t lu5n: M3t sB S lĂ P
VĂ dK:
- Ti.n =.: M3t sB sinh viĂȘn khĂŽng lĂ =oĂ n viĂȘn
- K-t lu5n: M3t sB sinh viĂȘn khĂŽng phAi lĂ =oĂ n viĂȘn
1.1.3. Kct h|p +si chut và +si chŠ:
CĂł th+ th/c hi8n =âąi ch:t tr$Nc, =âąi chĆ sau hoJc ng$Ec l i.
- Ti.n =.: M*i S lĂ P
- Zâąi ch:t: M*i S khĂŽng lĂ P
- Zâąi chĆ: M*i P lĂ khĂŽng S
VĂ dK:
- Ti.n =.: M*i thanh niĂȘn =.u mĂȘ bĂłng =ĂĄ.
- Zâąi ch:t: M*i thanh niĂȘn khĂŽng phAi khĂŽng mĂȘ bĂłng =ĂĄ.
- Zâąi chĆ: M*i ng$%i khĂŽng mĂȘ bĂłng =ĂĄ khĂŽng lĂ thanh niĂȘn.
1.1.4. Suy luln dâĄa vĂ o quan h! v, giĂĄ tr} chĂąn lĂ giĆœa cĂĄc phĂĄn +oĂĄn
+Bn (HĂŹnh vuĂŽng logic).
1.1.4.1. DâĄa vĂ o quan h! mĂąu thuâąn
RĂșt ra kct luln b ng cĂĄch php +}nh phĂĄn +oĂĄn mĂąu thuâąn v~i ti,n +,.
Do v5y, ng$%i ta cĂČn g*i quan h8 nĂ y lĂ quan h8 ph =Qnh.
ZĂł lĂ quan h8 giLa A - O vĂ E â I.
Nh$ v5y, n-u ti.n =. lĂ A thĂŹ k-t lu5n rĂșt ra sF lĂ O .
VĂ dK:
52
53. A: M*i quy lu5t =.u mang tĂnh khĂĄch quan.
O : KhĂŽng phAi cĂł m3t sB quy lu5t khĂŽng mang tĂnh khĂĄch quan.
TĂłm t t:
Ti.n =. K-t lu5n
A O
E I
I E
O A
A O
E I
I E
O A
1.1.4.2. DâĄa vĂ o quan h! l! thuxc
Ncu ti,n +, lĂ phĂĄn +oĂĄn chung (khĆĄng +}nh honc php +}nh) +Ășng thĂŹ
kct luln rĂșt ra lĂ phĂĄn +oĂĄn bx phln (khĆĄng +}nh honc php +}nh) sš +Ășng.
Do v5y, ng$%i ta g*i quan h8 nĂ y lĂ quan h8 l8 thu3c.
VĂ dI:
A: M*i ng$%i =.u muBn sBng h nh phĂșc.
N-u phĂĄn =oĂĄn nĂ y =Ășng thĂŹ k-t lu5n sau =Ăąy sF =Ășng:
I: CĂł m3t sB ng$%i muBn sBng h nh phĂșc.
TĂłm t t:
53
54. Ti.n =. K-t lu5n
A I
E O
1.1.4.3. DâĄa vĂ o quan h! +4i châąi trĂȘn
RĂșt ra kct luln b ng cĂĄch php +}nh phĂĄn +oĂĄn cĂł quan h! +4i châąi.
VĂ dI:
âM*i ng$%i Vi8t Nam =.u yĂȘu n$Ncâ (A).
Ta rĂșt ra k-t lu5n =Ășng:
âKhĂŽng phAi m*i ng$%i Vi8t Nam =.u khĂŽng yĂȘu n$Ncâ ( E ).
Tâąng quĂĄt:
Ti.n =. K-t lu5n
A E
E A
1.1.4.4. Suy luln dâĄa vĂ o quan h! +4i châąi d8~i
N-u ti.n =. lĂ ph =Qnh phĂĄn =oĂĄn b3 ph5n khĆœng =Qnh hoJc ph =Qnh thĂŹ
k-t lu5n lĂ phĂĄn =oĂĄn b3 ph5n ph =Qnh hoJc khĆœng =Qnh.
VĂ dI:
âKhĂŽng phAi cĂł m3t sB sinh viĂȘn khĂŽng thĂch h*c logic h*câ ( O ).
Ta rĂșt ra k-t lu5n =Ășng:
âCĂł m3t sB sinh viĂȘn thĂch h*c logic h*câ (I).
Tâąng quĂĄt:
Ti.n =. K-t lu5n
I O
O I
Nh$ v5y, vNi m3t phĂĄn =oĂĄn b:t kĆž lĂ m ti.n =., ta cĂł th+ cĂł nhi.u k-t lu5n
=Ășng =$Ec rĂșt ra t⊠ti.n =. =Ăł.
1.2. Tam +oâąn luln (suy luln tË hai ti,n +, lĂ phĂĄn +oĂĄn +Bn â suy
luln giĂĄn ticp)
1.2.1. KhĂĄi ni!m v, tam +oâąn luln
54
56. Loâąi hĂŹnh I Loâąi hĂŹnh II Loâąi hĂŹnh III Loâąi hĂŹnh IV
MP PM MP PM
SM SM MS MS
SP SP SP SP
Z+ giĂșp chĂșng ta dH nhN 4 lo i hĂŹnh, ta hĂŹnh dung 4 s/ s p x-p c a thu5t
ngL giLa theo sâș = m3t âcâą ĂĄo sâș miâ (a shirt collar).
I IV
II III
Xem Hurley, Logic, Seventh Editon, Page 255
CĂĄc phĂĄn =oĂĄn trong cĂĄc lo i hĂŹnh trĂȘn cĂł th+ nh5n m3t trong 4 d ng: A, E,
I, O. MĂ mĆi lo i hĂŹnh cĂł 3 phĂĄn =oĂĄn, nh$ th-, mĆi lo i hĂŹnh sF cĂł 43 = 64 ki+u.
Do v5y, cA 4 lo i hĂŹnh sF cĂł 4 x 64 = 256 ki+u.
Nh$ng =Ăł lĂ lĂœ thuy-t. Th/c t-, mĆi lo i hĂŹnh chĆ cĂł 6 ki+u =Ășng. VĂ nh$
v5y, 4 lo i hĂŹnh sF cĂł 4 x 6 = 24 ki+u =Ășng.
Tuy v5y, do t⊠m3t ti.n =. lĂ phĂĄn =oĂĄn =âșn â toĂ n x$ng khĆœng =Qnh hoJc
ph =Qnh ta cĂł th+ suy ra tr/c ti-p nhLng phĂĄn =oĂĄn =Jc x$ng t$âșng 7ng =Ășng,
nĂȘn trong 24 ki+u nĂłi trĂȘn, cĂł 5 ki+u =$Ec suy tr/c ti-p t⊠cĂĄc ki+u khĂĄc. 1.2.3.
CĂĄc quy tâc cpa tam +oâąn luln
NhĂłm quy tâc liĂȘn quan +cn thult ngĆœ
- Quy tâc I: Trong tam !o n lu n ch+ cĂł 3 khĂĄi ni)m vĂ ch+ 3 khĂĄi ni)m
c u thĂ nh.
VĂ dI: - TZ1: V5t ch:t lĂ ph m trĂč tri-t h*c
- TZ2: CĂĄi bĂ n lĂ v5t ch:t
- KZ: CĂĄi bĂ n lĂ ph m trĂč tri-t h*c.
Trong suy lu5n nĂ y, khĂĄi ni8m âv5t ch:tâ trong hai ti.n =. khĂŽng cĂčng m3t
nghOa (khĂŽng = ng nh:t).
56