PHAM DINH NGHIEM ■ ■ o mon LOGIC HOC In h^ing M Minh B1/C10014 5h NHA XUAT BAN DAI HQC QUOC GIA TP. HO CHI MINH PHAM DINH NGHIEM NHAP MON LOGIC HOC ■ (Tai ban lan thfc tarn, cd sira chua, bd sung) NHA XUAT BAN DAI HQC QUOC GIA THANH PHO HO CHI MINH - 2015 NHAP MON LOGIC HQC | PHAM DINH NGHIfiM Ban tieng Vipt © NXB DHQG-HCM vA TAC GIA. Ban quyen tac phAm da dirge bao hp bdi Lu$t XuAt ban vA Lu£t Scr h&u tri tup clja Nghiem cAm mgi hlnh thurc xu&t ban, sao chyp, phdt tin npi dung khi chua c6 sy on tAc gia vANha xu&t ban. D& C6 SACH HAY, CAN CHUNG TAY BAO V$ TAC QUY&N! Leri NOI DAU Cuon sach nay dugc bien soan tren ca so cac bai giang ma tac gia da thuc hien nhieu nam nay cho sinh vien giai doan dao tao dai cuomg cua nhieu trudmg dai hoc a Thanh pho Ho Chi Minh.
Noi dung ca ban cua sach bam sat chuomg trinh hoc phan tcNhap mon logic hoc” do Bo Giao due va Dao tao ban hanh nam 1995. Ben canh d6, nham dap tmg yeu cau hien dai hoa chuang trinh giang day dai hoc, tiep can gan han vai chuomg trinh dao tao cua cac nude tien tien, chung toi da dua them vao sach mot so noi dung mdi. Cac noi dung moi nay dugc trinh bay chu yeu trong chuang 2 Phan tich ngon ngte tic nhien. Ngon ngic logic vi tic”, chuang 5 “Phan doan ’, chuang 8 “Tam doan luan nhat quyet don”, chuang 9 “Suy luan vai tien de phicc”.
De trinh bay cac noi dung khoa hoc vua chat che lai vua ngan ggn, tac gia da su dung rong rai cac ky hieu logic va ky hieu cua ly thuyet tap hgp (ma ban dgc da dugc hoc trong chuang trinh toan hoc a bac pho thong). Dieu nay co the tao nen cam giac e ngai doi vai mot so ngudi dgc. Tuy nhien, do chi la cam giac ban dau ma thoi. Ban doc se nhanh chong nhan ra 5 z > rang su dung ky hieu nhu vay se lam cho viec trinh bay van de tra nen ro rang va d§ hieu han nhiSu so vai dung lai le nhu each trinh bay thong thuomg.
D6 sach co thS phuc vu dugc nhu cau cua cac giai ban doc khac nhau, chung toi da c6 gSng trinh bay cac van de doc lap vai nhau den muc c6 th6. Tuy vay, vi day la sach v£ logic nen cac chuang muc vln gin kit vai nhau, vi thi, ban dgc chi co thi doc sach theo nhung trinh tu nhat dinh. Cu thi, each dgc tot nhdt la doc theo trinh tu trinh bay cua sach. Nhung nSu ban khdng quan tarn lam den nhung phan co tinh hinh thuc nhat cua sach ma chi quan tarn din nhung phin co tinh truyin thong thi co the dgc theo trinh tu sau: chuong 3 “Cac quy luat cua tu duy” -> chuomg 10 “Suy luan quy nap” —> chuong 11 “Suy luan tuomg tu” —> chuong 12 “Chung minh” chuang 13 “Bac bo” —> chuang 14 “Nguy bien”.
Mac du tac gia da co gang, nhung chac chan sach con nhieu thieu sot, chung toi rat mong nhan dugc y ki£n gop y cua ban doc de c6 the hoan thien cuon sach nay. Moi y kien nh§n xet, gop y xin gm v6 dia chi ^bigin1ogic@yahoo. Tac gid 3 MUC LUC ■ ■ Loi noi dau. DOI TVONG CUA LOGIC HOC.
KHOA HOC LOGIC. Cac dac diem cua tu duy trim tirong. Hinh thuc cua tu tirong va quy luat cua tu duy. SU* HINH THANH VA PHAT TRIEN CUA LOGIC HOC.
CONG DUNG CUA LOGIC HOC. PHAN TICH NGON NGU * TU * NHIEN NGON NGU * LOGIC VI TIT. PHAN TICH NGON NGUTU* NHIEN. Ngon ngu - mot he thong ky hieu.
Ngon ngu tu nhien va ngon ngu hinh thuc. Mot so tinh chat cua ngon ngu tu nhien. Mot so loai ky hieu va pham tru ngu nghTa cua ngon ngu tu nhien.26 IL NGON NGU* LOGIC VI TU*. Cac vl du.
Bieu thi tu tudng bang ngon ngu logic vi tu. CAC QUY LUAT CO BAN CUA TU* DUY. QUY LUAT DONG NHAT. QUY LUAT KHONG MAU THUAN.
QUY LUAT TRIET TAM. QUY LUAT LY DO DAY DU. 49 I- KHAI QUAT VE KHAI NIEM.49 1 • Khai niem -hinh thiic dac biet cua tu tudng. Cac loai khai niem 3.
Quan h? giua cac khai niem. DINH NGHIA KHAI NIEM 1. Dinh ngbia khai niem la gi?. Cac loai dinh nghia, cac hinh thuc dinh nghia.
Cac quy tac dinh nghia. CAC THAO TAC LOGIC DOI Vdl KHAI NIEM. Mo rong va thu hep khai niem 2. Phan chia khai niem.
Phan doan va cau 3. Cac loai phan doan 66 IL PHAN DOAN THUOC TINH DON 67 1. Dinh nghia va cdu true 67 2. Cac loai phan doan thuoc tfnh don 71 3.
Tinh chu dien cua han tir trong phan doan thuoc tinh don 75 4. Quan he giura cac phan doan thuoc tinh don. Hinh vuong, tarn giac logic 78 HI. PHAN DOAN PHU C.
* PHAN DOAN PHU DINH 81 1. Cac dang phan doan phuc 81 2. Quy luat va mau thudn logic. Cac phurong phap xac dinh quy luat va mau thuan logic 4.
Bien doi tirong duong. KHAI QUAT VE SUY LUAN 101 I. DINH NGHIA VA CAU TRUC 101 1. Dinh nghia , Jr 2.
SUY LUAN HQP LOGIC (DUNG LOGIC) VA .104 SUY LUAN DUNG. CAC LOAI SUY LUAN. Phan loai cSn cur vao so luorng tien de 2. Phan loai cSn cu vao vice sir dung thong tin chura trong cau true chu tir-thuQC tir cua cac phdn doan thuoc tinh don 3.
Phan loai theo dp tin c£y cua ket luan 6 Chuomg 7. SUY LUAN TRtfC TIEP (Suy luan m?t tiin dt). DINH NGHIA VA VI DU. 108 IL CAC LOAI SUY LUAN TRU*C TIEP.
Dao ngugc phan doan. Doi chat phan doan (con goi la bien doi phan doan). Dat doi lap vi tu. Suy luan dura vao hinh vuong logic.
TAM DOAN LUAN NHAT QUYET DON. DINH NGHIA VA CAU TRUC. 113 IL HINH VA KIEU CUA TAM DOAN LUAN DON. Hinh cua tam doan luan don.
Kieu cua tam doan luan don. CAC TIEN DE VA QUY TAC CHUNG CUA TAM DOAN LUAN DON. Cac quy tac chung cua tam doan luan don. Cac quy tic hinh.
TAM DOAN • LUAN• DON GIAN LUOC •. Phuc hoi ti6n d£ hoac ket luan trong tam doan luan don gian luge. Dinh nghia va cau true. Cac loai tam doan luan phuc hgp.
Tmh dung sai cua tam doan luan phuc hgp. SUY LUAN VCH TIEN DE LA PHAN DOAN PHLTC. DINH NGHIA VA TINH HOP LOGIC. Xac dinh tinh hgp logic (tinh dung) cua suy luan voi tiln d£ lei phan doan phuc.
SUY LUAN TU NHIEN V6l TIEN DE PHLfC. Mot s6 dang thuc suy luan voi tien dS phuc. Cac vi du ung dung. Mpt so chiSn luge suy luan.
He suy luan tu nhien. Quy trinh INDO. Cac quy tic hgp giai. Phuong phap hop giai.
Cay hop giai. Hop giai tuyin tinh. Gian luge tien de. SUY LUAN QUY NAP.DINH NGHIA VA CAU TRUC.
MQT SO PHUONG PHAP NANG CAO DO TIN CAY CLJA KET LUAN QUY NAP. Tang so lugng truong hgp rieng xet lam tiln dd. Can cu vao moi lien he giua tinh chat muon khai quat hoa vci cac tinh chat khac cua cac doi tugng. MQT SO PHUONG PHAP XAC DINH LIEN HE NHANQUA.
Phuong phap tuong ddng. Phuong phap di biet. Phuong phap ket hgp. Phuong phap phin du.
Phuong phap cung biin doi. SUY LUAN TUONG TV. DINH NGHIA VA CAU TRUC. TINH CHAT CUA SUY LUAN TUONG TV.
Ket luan chua thong tin mdi so v6i cdc tiin de. Ket luan khdng dam b&o chac chan dung khi cac tien de diudung. Tinh thuySt phuc cao. MQT SO BIEN PHAP NANG CAO DO TIN CAY CUA SUY LUAN TUONG TU.
Tang them so luong cac tinh chat gi6ng nhau dung lam co so cua ket luan. Dam bao moi lien he giua nhung sir gi6ng nhau dung lam co so cua suy luan voi tinh chat duoc noi den trong ket luan. VAI TRO CUA SUY LUAN TUONG TU*. DINH NGHIA VA CAU TRUC.
MQT SO VI DU. DAC DIEM CUA CHUNG MINH TRONG CAC KHOA HOC XA HOI VA NHAN VAN. CAC PHUONG PHAP CHUNG MINH. Chung minh true tiep.
Chung minh gian tiep. CAC YEU CAU DOI VOl PHEP CHUNG MINH. Cac yeu cau doi voi luan de. Cac yeu cau doi voi luan cu.
Cac yeu cau doi voi lap luan. MOT SO VI DU. CAC PHUONG PHAP BAC BO MQT MENH DE. Bac bo bang each chung minh rang menh de sai.
Bac bo bang each chi ra rang lap luan dua den (tuc la phep chung minh) menh de do thieu co so. MQT SO LOAl NGUY BIEN THUdNG GAP. Nguy bien dua vao uy tin ca nhan 2. Nguy bien dua vao dam dong, dua vao du luan 3.
Nguy bien dua vao sue manh ; 4. Nguy bien bing each danh vao tinh cam. Nguy bien danh trao luan de 201 6. Nguy bien ngiu nhien 202 7.
Nguy bien den - tring 202 8. Nguy bien bang each dua vao nhan qua sai 203 9. Dua vao su kem edi 203 10. Lap luan vong quanh 204 11.
Khai quat hoa voi va 204 12. Cau hoi phuc hop 204 13. Nguy bien bang each su dung nhung phuomg phap suy luan co tinh xac suat. Nguy bien bang each dien dat map ma 205 m.
PHUONG PHAP BAC BO NGUY BIEN 206 CAU HOI VA BAI TAP 207 A. PHAN CAU HOI '. PHAN BAI TAP 210 TAI LIEU THAM KHAO 224 10 Chiron g 1 DOI TlTONG CUA LOGIC HOC • o Logic hoc la khoa hpc xuat hipn rat sdm trong lich su. No xuat hien vao the ky thu IV trade cong nguyen, khi su phat trien cua khoa hoc n6i rieng va tu duy noi chung da doi hoi phai tra Ibi cau hoi: lam the nao de dam bao suy ra dupe ket luan dung dan, chan thuc tir cac tien de chan thuc? I.
KHOA HQC LOGIC Tu “logic” co ngubn goc tu Hy Lap “Logos”, c6 rat nhieu nghTa, trong do hai nghTa ngay nay dupe dung nhieu nhat nhu sau. Thu nhat, no dupe dung de chi tinh quy luat cua su ton tai va phat trien cua the giai khach quan. Thu hai, tu “logic” dung de chi nhung quy lu£t dac thu cua tu duy. Khi ta noi “Logic ciia su vat la nhu vqy”, ta da su dung nghTa thu nhat.
Con khi noi “Anh dy suy luan hop logic Idm ”, ta dung nghTa thu hai cua tir logic. Theo quan diem pho biSn nhat hipn nay thi logic hoc la khoa hpc vd cac hinh thuc, cac quy luat cua tu duy. Nhung khac voi cac khoa hoc khac cung nghien cuu ve tu duy nhu tarn ly hoc, sinh ly hpc than kinh, .