Ch ng 1: C S Logicươ ơ ở
Biên so n: Nguy n Vi t H ngạ ễ ế ư
Tài li u tham kh oệ ả
Toán r i r c, Gs.Ts Nguy n H u Anhờ ạ ễ ữ
Michael P.Frank ‘s slides
Nguy n Minh Trung ‘s slidesễ
Toán r i r c, Ts. Tr n Ng c H iờ ạ ầ ọ ộ
C S LOGICƠ Ở
Logic toán h c là m t công c đ làm vi c ọ ộ ụ ể ệ
v i báo cáo h p ch t ph c t p. Nó bao ớ ợ ấ ứ ạ
g m:ồ
M t ngôn ng đ th hi n chúng.ộ ữ ể ể ệ
M t ký hi u vi t ng n g n cho h .ộ ệ ế ắ ọ ọ
M t ph ng pháp khách quan lý lu n v ộ ươ ậ ề
s th t hay gia mao c a h .ự ậ ủ ọ
Nó là n n t ng cho th hi n b ng ch ng ề ả ể ệ ằ ứ
chính th c trong t t c các chi nhánh c a ứ ấ ả ủ
toán h c. ọ
Logic m nh đệ ề
Logic là m nh đ logic c a báo cáo h p ch t ệ ề ủ ợ ấ
đ c xây d ng t báo cáo đ n gi n b ng ượ ự ừ ơ ả ằ
cách s d ng cái g i là connectives Boolean.ử ụ ọ
M t s ng d ng trong khoa h c máy tính:ộ ố ứ ụ ọ
Thi t k m ch đi n t k thu t s .ế ế ạ ệ ử ỹ ậ ố
Đi u ki n th hi n trong các ch ng trình.ề ệ ể ệ ươ
Truy v n đ n c s d li u & công c tìm ấ ế ơ ở ữ ệ ụ
ki mế.
George Boole
(1815-1864)
Chrysippus of Soli
(ca. 281 B.C. – 205 B.C.)
M nh đ và chân trệ ề ị
Khái ni m v m nh đ :ệ ề ệ ề
M nh đ toán h c là khái ni m c b n c a ệ ề ọ ệ ơ ả ủ
toán h c không đ c đ nh nghĩa mà ch đ c ọ ượ ị ỉ ượ
mô t .ả
M nh đ toán h c(g i t t là m nh đ ) là ệ ề ọ ọ ắ ệ ề
m t kh ng đ nh có giá tr chân lý xác ộ ẳ ị ị
đ nh(đúng ho c sai, nh ng không th v a ị ặ ư ể ừ
đúng v a sai).ừ