C U TRÚC R I R CẤ Ờ Ạ
Gi ng viên: ả
Cao Thanh Tình (Email: tinhct@uit.edu.vn)
Bộ môn Toán Lý – ĐHCNTT – ĐHQGTPHCM
C S LÔGICƠ Ở
M nh đệ ề
D ng m nh đạ ệ ề
Qui t c suy di nắ ễ
V t , l ng tị ừ ượ ừ
Quy n p toán h cạ ọ
Ch ng 1. C s lôgicươ ơ ở
2
M nh đệ ề
Đ nh nghĩa:ị M nh đ là m t kh ng đ nh có giá ệ ề ộ ẳ ị
tr chân lýị xác đ nh, đúng ho c sai.ị ặ
Câu h i, câu c m thán, m nh l nh… không là ỏ ả ệ ệ
m nh đ .ệ ề
Ví d : ụ
- Đ i h c CNTT tr c thu c ĐHQG TP.HCM.ạ ọ ự ộ
- 1+7 =8.
- Hôm nay em đ p quá! (kẹhông là m nh đ )ệ ề
- Hôm nay ngày th m y?ứ ấ (không là m nh đ )ệ ề
Ch ng 1. C s lôgicươ ơ ở
Ch ng 1. C s lôgicươ ơ ở
3
M nh đệ ề
Ký hi u: ệng i ta dùng các ký hi u P, Q, R… ườ ệ
đ ch m nh đ .ể ỉ ệ ề
Chân tr c a m nh đ : ị ủ ệ ề M t m nh đ ch có ộ ệ ề ỉ
th đúng ho c sai, không thể ặ ể đ ng th i v a ồ ờ ừ
đúng v a sai. Khi m nh đ P đúng ta nói P có ừ ệ ề
chân tr đúng, ng c l i ta nói P có chânị ượ ạ tr ị
sai.
Chân tr đúng và chân tr sai s đ c ký hi u ị ị ẽ ượ ệ
l n l t là 1(hay Đ,T) và 0(hay S,F)ầ ượ
Ch ng 1. C s lôgicươ ơ ở 4
Ch ng 1. C s lôgicươ ơ ở
M nh đệ ề
Phân lo i: ạg m 2 lo iồ ạ
M nh đ ph c h p: ệ ề ứ ợ là m nh đ đ c xây ệ ề ượ
d ng t cácự ừ m nh đ khác nh liên k t b ng ệ ề ờ ế ằ
các liên t (và, hay, khiừ và ch khi,…) ho c ỉ ặ
tr ng t “không”ạ ừ
M nh đ s c p (nguyên th y): ệ ề ơ ấ ủ Là m nh đ ệ ề
không thể xây d ng t các m nh đ khác ự ừ ệ ề
thông qua liên t ho cừ ặ tr ng t “không”ạ ừ
Ch ng 1. C s lôgicươ ơ ở 5
Ch ng 1. C s lôgicươ ơ ở