GS.TS NGUYÉN DÚC DAN

NHÁP MÓN

LOGIC HÍNH THÚÜ &

LOGIC PHI HÍNH THl/C

DAI HOC QUÓC GIA HA NÓt TRUNG TAM THONG TIN THU VIÉN

V-l)8/ ' í^íS

NHÁ XUÁT BÁN DAI HOC QUÓC GIA HA NOI

Muc luc

Lcfi nói dau

¡\

Chiítíng L Vé nííón njííí va \o^k ,

1. Dai cUOng vé iogic .

1 1 Logic hgc la gi? I

1.2 V? sao can hpc logia? ^

1.3 Sr> /i/trc i-e Ijch SL} Iogic hoc 9

II. v é quan he giCía iogic va ngón ngO" 11

2.1 Xám nliñp cúa loún hoc va Io¿:ic hoc \ao IILMII nirijf hiv 11

2.2 Quan hé giiJa Iogic va ngón ngO* i2

2.3 Có nhiJng he thóng Iogic nao? I?

Chiítfng 2. Khái niem 21

\. Khái niem la gl? - '

2. Khái niem va iiT

3. Nói hám va ngoai dién cúa khái niem 24 25

4. Phán loai khai niem

5. Md rpng va thu hep khái niem

5.1 Loai va hang

5.2 Bieu hi^n khái niem

6. Quan hé giüra hai khái niem

27

27

28

29

iii

(,A QiHin hé dSng nha't: S ^ P 29 (,2Quanhebaohcvn:S=:>P 30

6.3 Quan he phu thuoc 30

tAQuanhegiaonhau 31

e.5 Quan he rcfi nhau 31

7. Sirdinhnghíakháiniem 32

7.1 SU can thíet xáy dung các dinh nghía va nhOng phúc tqp cúa nó 32

7.2 Dinh nghia nói hám 36

7.3 Dinh nghia ngoai dién 40

7.4 Din h nghia tro ra 40

7.5 Dinh nghía khóng tudng minh 41

7.6 Dinh nghia cú pháp 44

7.7 Dinh nghía khóng vi ti( 44

7.8 Dinh nghía duy danh va dinh nghía hien thi/c 44

7.9 Dinh nghía kié'n thié't -^^

Chiírfng3.Phándoán -̂ 9

1. Dinh nghía -̂ 9

2. Phán doán va cáu ^^

2.1 Phán doán, cáu va tii

2.2 The nao la mot phán doán dúng (hogc sai)'.*

2.3 ̂ Mv tac ve tinh chán lí cúa các phán doán ""̂

2.4 Phán doán va cáu ^'

3. Cau truc cúa phán doán ^^

4. Phán loai phán doán 53

50

50

4.1 Phan loai theo luang

4.2 Phán loai theo chai

4.3 Phán loai theo chat va li/r/ng ^.

4.4 Phán loai theo cau truc ^^

5. Ngoai dién dáy dú vá ngoai dicn khóng dáy dú 61

Chiírfng 4. Logic menh dé .^

I. Dai CLfcíns .^ o5

1.1 Doi iu<rnv , -

1.2 Các phép toan nwnh de 55

1.3 Menh dé liTcíng ducíng vá cáu dóng nghTa 7i

1.4 Logic vá tieng Viet y-»

n . Tinh chat cúa các phép toan menh dé 75

2.1 Su hcíng nhau cüa hai hiéu thúc 75

2.2 Tinh chat cüa các phép toan Iogic 11

2.3 Kié'm tra tinh dúng dan cua mot láp luán 86

2.4 Thú tu thuc hien các phép toan vá kipháp Lukasiewicz 91

Chu'ofng 5. Scf liítfc vé Iogic vj tif 97

L Khái niem 97

II. Phi/cíng pháp miéu tá 99

III. Tinh chai cúa phép loan lUcíng iiT lt>9

3.1 Tinh chat cüa các phép toan chúa mot luong ti( 109

3.2 Tinh chat cua các phép toan chi'fa liamg tUaai doi 110

3.3 Hinh vuong Iogic ' 13

IV. Logic vi iCr vá cáu truc Iogic cúa cáu 1' -̂

4.1 Logic vi tif cho phép miéu tá phán hiét 115

Chiíons 6. Nhírng nguyén ly crf bán cüa tií duy , , ,

LDaicu'cíng '2.^ 2. Nguyén ly dóng nhai 124

2.1 Nguyén ly 124

2.2 Ngu\ bien hcíng dánh tráo khái niem 124

2.3 Viphgm nguyén lí dong nhat trong tai tgo tu dux 125

2.4 Nhilng vi pluim khác vé nguyén lí dóng nha'i \ 25

3. Nguyén lí phi máu thuan 127

3A Nguyén lí 127

XlLuuy 130

3.3 Nguyén lí phi máu thuán vá tié'ng Viet 131

4. Nguyén lí bái trung 132

5. Nguyén,lí có lí do dáy dú 134

6. Liruy 136

Chiícíng 7. Suy luán Iogic 137

l .Nhangvandé chung 137

II. Suy luán dién dich 142

2.1 Phép suy luán mot tién dé 1-̂2

2.2 Phép suy luán hai tién dé í-̂ ^

IH-Suy luánquy nap 171

3.1 Khái niem 171

3.2 Quy ngp hoán toan vá quy ngp khóng hoán toan I ^3

3.3 Logic va quan hé nhán quá giüa các hien tUúng ' ^'^

^ • S u y luán tuongiu 180

V.Váikié'u sai lámirong suy luán ^^^

Vi

191

191

191

193

196

196

197

Chiíofng 8. Logic phi hinh thiíc: Lí thuyé't láp luán I. Dai cUdng

1.1 Phumg thúrc Igp lugn

1.2 Vái nét lich sU

II. Mó hinh khái quál

2.1 Síydó khái quát cúa mgt l(ip luán

2.2 Lí ¡é: Lí le khoa hgc vá lí le thUc tién

2.3 Tac tú Igp luán vá ket tü láp luán 200

III. Lap luán theo Iogic 205

IV. Lap luán theo Iogic tu" nhién 206

4.1 Khái niem 206

4.2 Lí le trong Iogic tu nhién 206

4.3 U le chung 209

4.4 Nhüng quan he Iogic vá hinh thúc ngón ngú trong

láp luán tu nhién 217

V. Chiíng minh vá bác bó 225

5.1 Nhüng van dé chung 225

5.2 Các phucmg pháp chúng minh 229

5.3 Các qui tac chúng minh 230

5.4 Láp luán hiéu quá 232

VI. Sai !ám trong láp luán: ngó bien vá nguy bien 241

6.1 Ng(y hi^n vá nguy hi('n 241

6.2 Mót vái kiéu ngó bien co dién 243

6.3 Mót só kiéu nguy bien 249

Phu luc: Phirong pháp láp luán trong iranh cái pháp lí 263

LDaicUdng ^̂ 3 II. Lile trong iranhcai pháp lí 269

Chrftfng *>. Logic tinh thái vá Iogic da tri 289

I. Logic tinh thái 289

\. Khái niem 289

2. L)gic tinh thái vá ngón ngi7 291

II. Logic da iii 295

\. Van dé 2%

2. Uygic da tri 297

Tai liéu tham kháo 303

VIH