11/28/15 1 of 78
Chương 1: Cơ
Sở Logic
Author: Nguyễn Viết Hưng
Editor: Trần Sơn Hải
11/28/15 2 of 78
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 Viết Hưng ‘s slides
•Toán rời rạc, Ts. Trần Ngọc Hội
11/28/15 3 of 78
CƠ SỞ LOGIC
Logic toán h c là m t công c đ làm vi c v i nh ng ọ ộ ụ ể ệ ớ ữ
phát bi u t ng h p ph c t p. Nó bao g m :ể ổ ợ ứ ạ ồ
•M t ngôn ng đ th hi n.ộ ữ ể ể ệ
•M t ký hi u ng n g n đ vi t.ộ ệ ắ ọ ể ế
•M t ph ng pháp lu n gi i thích khách quan vì sao ộ ươ ậ ả
chúng đúng hay sai.
•Nó là c s đ th hi n có nh ng ch ng minh hình ơ ở ể ể ệ ữ ứ
th c trong t t c các ngành c a toán h c.ứ ấ ả ủ ọ
11/28/15 4 of 78
Propositional Logic
Propositional Logic is the logic of
compound statements built from
simpler statements using so-called
Boolean connectives.
Some applications in computer science:
•Design of digital electronic circuits.
•Expressing conditions in programs.
•Queries to databases & search
engines.
George Boole
(1815-1864)
Chrysippus of Soli
(ca. 281 B.C. – 205 B.C.)
11/28/15 5 of 78
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).