Logic Toán - Trần Thọ Châu

Nhằm giúp các bạn có thêm tài liệu phục vụ nhu cầu học tập và ôn tập môn Toán, mời các bạn cùng tham khảo nội dung tài liêu "Logic Toán". Nội dung tài liệu giới thiệu đến các bạn những nội dung về đại số mệnh đề, hệ số mệnh đề, hệ toán tân từ, logic mờ, định lý suy diễn, logic mệnh đề,...
Nội dung trích xuất từ tài liệu:
Logic Toán - Trần Thọ ChâuLogic Toán Trần Thọ Châu NXB Đại học quốc gia Hà Nội 2007, 204 Tr.Từ khoá: Logic toán, Đại số mệnh đề, Hàm đại số logic, logic mờ, Định lý suydiễn, Logic mệnh đề, Tính đầy đủ, Tính phi mâu thuẫn, Lượng từ, Ngôn ngữProlog, Tân từ Fall.Tài liệu trong Thư viện điện tử ĐH Khoa học Tự nhiên có thể sử dụng cho mụcđích học tập và nghiên cứu cá nhân. Nghiêm cấm mọi hình thức sao chép, in ấnphục vụ các mục đích khác nếu không được sự chấp thuận của nhà xuất bản vàtác giả.Mu.c lu.c o.i mo’. dˆ L` `au . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 o´ mˆ1 Da.i sˆ e.nh dˆ `e 7 1.1 C´ac ph´ep to´an v`a ba’ng chˆan l´ y . . . . . . . . . . . . . . . . . 8 1.1.1 Ph´ep phu’ di.nh (¬, not) . . . . . . . . . . . . . . . . . . 10 1.1.2 Ph´ep v` a (∧, and, hˆ o.i) . . . . . . . . . . . . . . . . . . . 10 1.1.3 Ph´ep hay l` a (∨, or, tuyˆe’n) . . . . . . . . . . . . . . . . 10 1.1.4 Ph´ep k´eo theo (→) . . . . . . . . . . . . . . . . . . . . 11 1.1.5 Ph´ep tu.o.ng du.o.ng (↔ ↔) . . . . . . . . . . . . . . . . . 12 1.2 Cˆong th´ . u c mˆe.nh dˆ`e . . . . . . . . . . . . . . . . . . . . . . . . 12 1.3 Mˆo.t sˆo´ di.nh ngh˜ıa . . . . . . . . . . . . . . . . . . . . . . . . 16 1.3.1 H`am da.i sˆo´ logic . . . . . . . . . . . . . . . . . . . . . 16 1.3.2 Su.. dˆo`ng nhˆa´t d´ ung - dˆo`ng nhˆa´t sai . . . . . . . . . . . 18 1.4 Mˆo.t sˆo´ t´ınh chˆa´t . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.5 Da.ng chuˆa’n t˘a´c cu’a cˆong th´ u.c mˆe.nh dˆ `e . . . . . . . . . . . . 23 1.5.1 Da.ng chuˆa’n t˘a´c tuyˆe’n v`a chuˆa’n t˘a´c hˆo.i . . . . . . . . 23 1.5.2 Da.ng chuˆa’n t˘a´c ho`an to`an . . . . . . . . . . . . . . . . 24 1.6 C´ac hˆe. dˆ `ay du’ cu’a c´ac ph´ep to´an . . . . . . . . . . . . . . . . 25 1.7 B`ai tˆa.p chu.o.ng 1 . . . . . . . . . . . . . . . . . . . . . . . . . 342 Hˆe. to´ an mˆ e.nh dˆ `e 39 2.1 Hˆe. tiˆen dˆ`e trong hˆe. to´an mˆe.nh dˆ `e . . . . . . . . . . . . . . . . 40 2.1.1 Mˆo.t sˆo´ di.nh ngh˜ıa co. ba’n . . . . . . . . . . . . . . . . 40 2.1.2 C´ac t´ınh chˆa´t . . . . . . . . . . . . . . . . . . . . . . . 422 MU . C LU .C 2.1.3 L´ y thuyˆe´t tiˆen dˆ `e trong hˆe. to´an mˆe.nh dˆ`e . . . . . . . . 43 2.1.4 Di.nh l´ y suy diˆ˜en trong hˆe. to´an mˆe.nh dˆ `e . . . . . . . . 44 2.2 Nguyˆen l´ y suy diˆ˜en v`a b`ai to´an lˆa.p luˆa.n trong logic mˆe.nh dˆ `e . 52 2.2.1 Nguyˆen l´ y suy diˆ˜en . . . . . . . . . . . . . . . . . . . . 52 2.2.2 B`ai to´an lˆa.p luˆa.n trong logic mˆe.nh dˆ `e . . . . . . . . . 52 2.3 Mˆo.t sˆo´ di.nh l´ y trong hˆe. to´an mˆe.nh dˆ `e . . . . . . . . . . . . . 55 2.3.1 T´ınh dˆ `ay du’ . . . . . . . . . . . . . . . . . . . . . . . . 55 2.3.2 T´ınh phi mˆau thuˆa˜n . . . . . . . . . . . . . . . . . . . 58 2.3.3 T´ınh dˆo.c lˆa.p . . . . . . . . . . . . . . . . . . . . . . . . 59 2.4 Gi´o.i thiˆe.u v`ai n´et vˆ `e logic da tri. . . . . . . . . . . . . . . . . . 61 2.5 T´ınh quyˆe´t di.nh cu’a hˆe. to´an mˆe.nh dˆ `e . . . . . . . . . . . . . 62 2.6 `e kh´ac . . . . . . . . . . . . . . . . . . . . . Mˆo.t sˆo´ hˆe. tiˆen dˆ . 62 2.7 ´ du.ng di.nh l´ Ap y dˆ`ay du’ cho b`ai to´an suy diˆ˜en trong logic mˆe.nh dˆ `e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 2.8 B`ai tˆa.p chu.o.ng 2 . . . . . . . . . . . . . . . . . . . . . . . . . 663 Hˆe. to´ an tˆ an t` u. 70 3.1 C´ac lu.o..ng t`u. . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 3.2 C´ac kh´ai niˆe.m v`a di.nh ngh˜ıa . . . . . . . . . . . . . . . . . . . 77 3.3 Minh hoa., su.. dˆo`ng nhˆa´t d´ ung v`a mˆo h`ınh . . . . . . . . . . . 81 3.3.1 Minh hoa. . . . . . . . . . . . . . . . . . . . . . . . . . 81 3.3.2 T´ınh thu..c hiˆe.n du.o..c . . . . . . . . . . . . . . . . . . . 83 3.3.3 Su.. dˆo`ng nhˆa´t d´ ung (h˘`a ng d´ ung) . . . . . . . . . . . . 85 3.3.4 Mˆo h`ınh . . . . . . . . . . . . . . . . . . . . . . . . . . 85 3.3.5 Mˆo.t sˆo´ hˆe. qua’ . . . . . . . . . . . . . . . . . . . . . . . 86 3.3.6 Mˆo.t sˆo´ di.nh ngh˜ıa kh´ac . . . . . . . . . . . . . . . . . 89 3.3.7 C´ac cˆong th´ u.c logic dˆo`ng nhˆa´t d´ ...