CƠ SỞ LOGIC
CƠ SỞ LOGIC
MỆNH ĐỀ
MỆNH ĐỀ
MỆNH ĐỀ
MỆNH ĐỀ
DẠNG MỆNH ĐỀ
DẠNG MỆNH ĐỀ
MỆNH ĐỀ
MỆNH ĐỀ
I. Phép tính m nh đ :ệ ề
1. M nh đ là gì ?ệ ề
-Đ 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ó nh ng m nh đ ta không bi t đ c tính đúng, sai nh ng ữ ệ ề ế ượ ư
bi t ch c ch n nó nh n 1 giá tr . Ví d : sao H a có s s ng.ế ắ ắ ậ ị ụ ỏ ự ố
-Câu h i, câu c m thán, câu m nh l nh,… không là m nh ỏ ả ệ ệ ệ
đ .ề
Ví d :ụ
-1 + 1 = 2.
-N c sôi 100ướ ở oC.
-Hôm nay tr i đ p quá! (câu c m thán-không là m nh đ )ờ ẹ ả ệ ề
-Hãy làm đi. (câu m nh l nh - không là m nh đ )ệ ệ ệ ề
I. Phép tính m nh đ :ệ ề
1. M nh đ là gì ?ệ ề
-Ký hi u: ệng i ta dung các ký hiêu P, Q, R, … đ ch ườ ể ỉ
m nh đ .ệ ề
-Chân tr c a m nh đ : ị ủ ệ ề M i m nh đ có đúng m t trong hai ỗ ệ ề ộ
giá tr chân lí 0 ho c 1. M nh đ có giá tr chân lí 1 là m nh ị ặ ệ ề ị ệ
đ ềđúng, m nh đ có giá tr chân lí 0 là m nh đ ệ ề ị ệ ề sai.
I. Phép tính m nh đ :ệ ề
2. Phân lo i m nh đ :ạ ệ ề
G m có 2 lo i:ồ ạ
-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 (và, hay, ự ừ ệ ề ừ
khi và ch khi, suy ra, kéo theo, …) ho c tr ng t “không”.ỉ ặ ạ ừ
-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 ho c tr ng t ệ ề ờ ế ằ ừ ặ ạ ừ
“không”.