TOÁN R I R CỜ Ạ
(Discrete Mathematics)
Ch ng 1ươ
C s Logicơ ở
Logic m nh đệ ề
Logic v tị ừ
N i dung chínhộ
Khái ni m m nh đệ ệ ề
Các phép toán logic
D ng m nh đạ ệ ề
Các quy t c suy di nắ ễ
Các ph ng pháp ch ng minhươ ứ
V t và l ng t hóaị ừ ượ ừ
M nh đ (Proposition)ệ ề : là m t di n đ t có giá tr chân lý (chân ộ ễ ạ ị
tr ) xác đ nh (đúng ho c sai nh ng không th v a đúng l i v a ị ị ặ ư ể ừ ạ ừ
sai).
Ví d 1.1: Các di n đ t sau, di n đ t nào là m nh đ ?ụ ễ ạ ễ ạ ệ ề
M t tr i quay quanh trái đ tặ ờ ấ
3+1 = 5
Trái đ t quay quanh m t tr i,…ấ ặ ờ
x + 2 = 8
M y gi r i?ấ ờ ồ
ph i hi u k đi u này.ả ể ỹ ề
Hà n i là th đô c a Vi t Namộ ủ ủ ệ
Sài gòn n m mi n b c vi t namằ ở ề ắ ệ
x+1=5 n u x=1ế
1. Đ nh nghĩa m nh đ :ị ệ ề
Kí hi u:ệ
1 (ho c T): Chân tr đúng.ặ ị
0 (ho c F): Chân tr sai.ặ ị
P, Q, R,… dùng cho kí hi u các m nh đ .ệ ệ ề
Ví d 1.2:ụ
P: Hà N i là Th Đô c a Vi t Namộ ủ ủ ệ
Q: Quy nh n thu c t nh Bình Đ nhơ ộ ỉ ị
R: Vi t nam thu c châu Áệ ộ
S: Long An là t nh thu c khu v c mi n trung c a Vi t nam.ỉ ộ ự ề ủ ệ
…
M nh đ (tt)ệ ề