Nhập môn logic hình thức &amp; logic phi hình thức

Đức Anh Nguyễn

Parvibaculum lavamentivorans DS-1(T) is the type species of the novel genus Parvibaculum in the novel family Rhodobiaceae (formerly Phyllobacteriaceae) of the order Rhizobiales of Alphaproteobacteria. Strain DS-1(T) is a non-pigmented, aerobic, heterotrophic bacterium and represents the first tier member of environmentally important bacterial communities that catalyze the complete degradation of synthetic laundry surfactants. Here we describe the features of this organism, together with the complete genome sequence and annotation. The 3,914,745 bp long genome with its predicted 3,654 protein coding genes is the first completed genome sequence of the genus Parvibaculum, and the first genome sequence of a representative of the family Rhodobiaceae.

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 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 24 25 27 27 28 29 iii (,A QiHin hé dSng nha't: S ^ P (,2Quanhebaohcvn:S=:>P 29 30 6.3 Quan he phu thuoc tAQuanhegiaonhau 30 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 ^^ 50 2.2 The nao la mot phán doán dúng (hogc sai)'.* 50 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 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 4.1 Logic vi tif cho phép miéu tá phán hiét 1' -^ 115 Chiíons 6. Nhírng nguyén ly crf bán cüa tií duy ,,, LDaicu'cíng 2. Nguyén ly dóng nhai '2.^ 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 . N h a n g v a n d é 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 3.1 Khái niem 171 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 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 191 191 191 193 196 196 197 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 V. Chiíng minh vá bác bó 217 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 II. Lile trong iranhcai pháp lí ^^3 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 VIH 303

Log In

Nhập môn logic hình thức & logic phi hình thức

Nhập môn logic hình thức & logic phi hình thức

Related Papers

RELATED PAPERS