Bài giảng Toán rời rạc - Cơ sở logic - Trần Nguyễn Minh Thư
Bạn đang xem 20 trang mẫu của tài liệu "Bài giảng Toán rời rạc - Cơ sở logic - Trần Nguyễn Minh Thư", để tải tài liệu gốc về máy bạn click vào nút DOWNLOAD ở trên
Tài liệu đính kèm:
- bai_giang_toan_roi_rac_co_so_logic_tran_nguyen_minh_thu.pdf
Nội dung text: Bài giảng Toán rời rạc - Cơ sở logic - Trần Nguyễn Minh Thư
- 1 TRƯỜNG ĐẠI HỌC CẦN THƠ KHOA CNTT & TRUYỀN THễNG BỘ MễN KHOA HỌC MÁY TÍNH TOÁN RỜI RẠC (DISCRETE MATHEMATICS) 08/2013 GV: Trần Nguyễn Minh Thư (tnmthu@ctu.edu.vn)
- 2 CƠ SỞ LOGIC
- 3 PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ tnmthu@cit.ctu.edu.vn 7/17/2016
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Định nghĩa: Mệnh đề là một cõu khẳng định cú giỏ trị chõn lý xỏc định đỳng (True) hoặc sai (False). Vớ dụ: True 2+3=5 Tam giỏc đều cú 3 cạnh bằng nhau True Toronto là thủ đụ của Canada False 3*4=10 False 4
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ 5 P, Q, R, S, : cỏc ký hiệu mệnh đề Ký hiệu giỏ trị chõn lý của mệnh đề: T: Đỳng F: Sai Bảng chõn trị: biểu diễn mối quan hệ giữa những giỏ trị chõn lý của cỏc mệnh đề
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Cỏc phộp tớnh mệnh đề Phộp phủ định: Cho P là một mệnh đề, cõu “khụng phải là P” là một mệnh đề được gọi là phủ định của mệnh đề P. Kớ hiệu: ơP hay P Bảng chõn trị P ơP TTF FFT 6
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ 7 Phộp hội (conjunction): Cho hai mệnh đề P, Q. “P và Q” là một mệnh đề được gọi là hội của 2 mệnh đề P và Q. Kớ hiệu: PQ Bảng chõn trị: PQPQ TTTT TFF FTF FFF
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ 8 Phộp tuyển (disjunction): “P hay Q” là một mệnh đề được gọi là tuyển của 2 mệnh đề P và Q. Kớ hiệu: P Q Bảng chõn trị: PQPQ TTT TFT FTT FFF
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ 9 Phộp XOR: “loại trừ P hoặc loại trừ Q”, nghĩa là “hoặc là P đỳng hoặc Q đỳng”. Bảng chõn trị PQPQ PQ = (P Q) ơ(P Q) TTF TFT FTT FFF
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ 10 Phộp kộo theo: “Nếu P thỡ Q” là một mệnh đề kộo theo của hai mệnh đề P, Q. Bảng chõn trị: PQPđQ P đ Q = ơP Q TTT TFF FTT FFT
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Mệnh đề đảo và mệnh đề phản đảo Cỏc mệnh đề kộo theo khỏc của mệnh đề P đ Q: Q đ P: mệnh đề đảo ơQ đ ơP: mệnh đề phản đảo 11
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ 12 Phộp tương đương: “P nếu và chỉ nếu Q” là một mệnh đề được gọi là P tương đương Q. Bảng chõn trị: PQPQ P Q = (P đ Q) (Q đ P) TTT TFF FTF FFT
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Cho P, Q, R, là cỏc mệnh đề. Nếu cỏc mệnh đề này liờn kết với nhau bằng cỏc phộp toỏn thỡ ta được một biểu thức mệnh đề. Chỳ ý: - Một mệnh đề cũng là một biểu thức mệnh đề. - Nếu P là một biểu thức mệnh đề thỡ ơP cũng là biểu thức mệnh đề - Chõn trị của biểu thức mệnh đề là kết quả nhận được từ sự kết hợp giữa cỏc phộp toỏn và chõn trị của cỏc biến mệnh đề. 13
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ 14 Hằng đỳng: là một mệnh đề luụn cú chõn trị là đỳng Vớ dụ: ơP P P ơP ơP P T F T F T T Hằng sai: là một mệnh đề luụn cú chõn trị là sai Vớ dụ: ơP P P ơP ơP P T F F F T F
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Tiếp liờn: là một mệnh đề khụng phải là hằng đỳng và khụng phải là hằng sai. Vớ dụ: (P Q ) (ơQ) PQ ơQ P Q (P Q ) (ơQ) TTFTT TFTFT FTFFF FFTFT 15
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Mệnh đề hệ quả: Cho F và G là 2 biểu thức mệnh đề. G là mệnh đề hệ quả của F hay G được suy ra từ F nếu F đ G là hằng đỳng. Kớ hiệu: FG Tương đương logic: Định nghĩa 1: Mệnh đề P và Q được gọi là tương đương logic nếu phộp tương đương của P và Q là hằng đỳng. Định nghĩa 2: Hai mệnh đề P và Q được gọi là tương đương logic nếu và chỉ nếu chỳng cú cựng chõn trị. 16
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Cỏc quy tắc tương đương logic: Đặt T= hằng đỳng, F = hằng sai PTT = Luật thống trị PFF = PTP = Luật trung hũa PFP = PPP = Luật lũy đẳng PPP = P = P Luật phủ định của phủ định 17
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Cỏc quy tắc tương đương logic: Đặt T= hằng đỳng,F = hằng sai PPT = Luật về phần tử bự PPF = PQQP = Luật giao hoỏn PQQP = ()()PQRPQR = Luật kết hợp ()()PQRPQR = P (Q R) = (P Q) (P R) Luật phõn phối P (Q R) = (P Q) (P R) 18
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Cỏc quy tắc tương đương logic: Đặt T= hằng đỳng, F = hằng sai PQPQ = Luật De Morgan PQPQ = P(PQ)P = Luật hấp thụ P(PQ)P = PQPQđ = Luật về phộp kộo theo 19
- PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Vị Từ Định nghĩa: Một vị từ là một khẳng định P(x,y, ) trong đú cú chứa một số biến x, y, lấy giỏ trị trong những tập hợp A, B, cho trước, sao cho: Bản thõn P(x,y, ) khụng phải là mệnh đề. Nếu thay x, y, bằng những giỏ trị cụ thể thuộc tập hợp A, B, cho trước ta sẽ được một mệnh đề P(x, y, ). Cỏc biến x, y, được gọi là cỏc biến tự do của vị từ. Vớ dụ: P(n) = {n là chẵn} n = 2: {2 là chẵn}: True n = 5: {5 là chẵn}: False 20
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Khụng gian của vị từ: cú thể xem vị từ như là một ỏnh xạ P, x E ta được một ảnh P(x) {0, 1}. Tập hợp E này được gọi là khụng gian của vị từ. Trọng lượng của vị từ: số biến của vị từ Vớ dụ: P(a,b) = {cặp số nguyờn tương ứng thỏa a + b = 5} Khụng gian của vị từ: Số nguyờn Trọng lượng: 2 21
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Cho trước cỏc vị từ P(x), Q(x) theo một biến x A. Ta cú cỏc phộp toỏn vị từ tương ứng như trờn phộp tớnh mệnh đề. Phủ định ơP(x) Phộp hội P(x) Q(x) Phộp tuyển P(x) Q(x) Phộp XOR P(x) Q(x) Phộp kộo theo P(x) đ Q(x) Phộp tương đương P(x) Q(x) 22
- 1.Mệnh đề 2.Vị từ PHẫP TÍNH MỆNH ĐỀ & VỊ TỪ Định nghĩa: Cho P(x) là một vị từ cú khụng gian là A. Cỏc mệnh đề lượng tử húa (quantified statement) của P(x) như sau: Mệnh đề “Với mọi x thuộc A, P(x) ”, kớ hiệu bởi “ x A, P(x)”, là mệnh đề đỳng P(a) luụn đỳng với mọi giỏ trị a A. Mệnh đề “Tồn tại một x thuộc A, P(x))” kớ hiệu bởi : “ x A, P(x)”, là mệnh đề đỳng khi và chỉ khi cú một giỏ trị x = a nào đú sao cho mệnh đề P(a) đỳng. 23
- BÀI TẬP 24 Khụng lập bảng chõn trị, sử dụng cỏc tương đương logic để chứng minh rằng : (P Q) đ Q là hằng đỳng. (P Q) đ Q = P Q Q = (P Q) Q = P (Q Q) = P T = T
- BÀI TẬP 25 Bằng biến đổi tương đương, chứng minh cỏc biểu thức mệnh đề sau là hằng đỳng (PQ)đP (PQ)đP = ơ (PQ) v P = (ơP v ơQ) v P = ơP v P v ơQ = T v ơQ = T Pđ(ơPđP) P đ (PvP) = P đ P = ơP v P = T
- BÀI TẬP 26 Bằng biến đổi tương đương, chứng minh cỏc biểu thức mệnh đề sau là hằng đỳng Pđ(Qđ(PQ)) Pđ(ơQ v (P ^ Q) = Pđ((ơQvP)^( ơQvQ) = Pđ((ơQvP)^T = Pđ((ơQvP) = ơPv (ơQvP) = ơP v ơQ v P = ơP v P v ơQ = T v ơQ = T (hằng đỳng)
- BÀI TẬP 27 Chứng minh biểu thức mệnh đề (((r q) q) p) ((p q) đ (p q r)) là hằng sai ((r q) q) p ≡ q p ≡ (p q) (p q) đ (p q r) (p q) (p q r) (p q) (p q r) p q (((r q) q) p) ((p q) đ (p q r)) (p q)(p q) F
- BÀI TẬP 28 Chứng minh biểu thức mệnh đề sau là hằng sai p (p q) (p r) (((q đ r) (q (r s) (r s))) p) p (p q) (p r) (p (p q) (p r)) ≡ p ((q đ r) (q (r s) (r s))) p ≡ ((q r) (q (r (s s)))) p ≡ ((q r) (q r)) p p (p (p q) (p r)) (p ((q đ r) (q (r s) (r s)))) pp F
- BÀI TẬP 29 Chứng minh biểu thức mệnh đề sau là hằng sai (((p q) (p q)) q (r q)) ((p đ q) (q (r q))) ((p q) (p q)) q (r q) (p (q q)) q p q (p đ q) (q (r q)) ≡ (p q) q ≡ (p q) (q q) ≡ p q (p q) (((p q) (p q)) q) ((p đ q) (q (r q))) (p q) (p q) F
- BÀI TẬP 30 Chứng minh biểu thức mệnh đề (p q) (p q) q tương đương với biểu thức (p đ q) (q (r q)) (p q) (p q) q ≡ (p q) (p q) q ≡ (p (q q)) q ≡ p q (1) (p đ q) (q (r q)) ≡ (p q) q ≡ (p q) (q q) ≡ (p q) F ≡ p q (2) (1) & (2) (p q) (p q) q tương đương (p đ q) (q (r q))
- BÀI TẬP 31 Chứng minh biểu thức mệnh đề (((r q) q) p) tương đương với biểu thức (p q) đ (p q r) (((r q) q) p) ≡ (q p) ≡ p q (1) (p q) đ (p q r) (p q) (p q r) (p q) (p q r) p q (2) (1)& (2) (((r q) q) p) tương đương (p q) đ (p q r)
- BÀI TẬP 32 Chứng minh biểu thức mệnh đề p ((p q) (p r)) tương đương với biểu thức mệnh đề p ((q đ r) (q (r s) (r s))) p ((p q) (p r)) ≡ p (p (q r)) ≡ p (1) p ((q đ r) (q (r s) (r s))) ≡ p ((q r) (q (r (s s)))) p ((q r) (q r)) p (2) (1) & (2) hai mệnh đề là tương đương
- QUY TẮC SUY LUẬN 33 Cỏc quy tắc suy luận: Quy tắc Hằng đỳng Tờn P P đ (P Q) Cộng PQ PQ P Q đ P Rỳt gọn P PPQ, đ (P (P đ Q)) đ Q Modus ponens Q QPQ, đ (ơQ (P đQ)) đ ơP Modus tollens P PQQRđ , đ ((P đQ) (Q đ R)) đ (P đ R) Tam đoạn luận giả P đ R định PPQ, Q (ơP (P Q)) đ Q Tam đoạn luận tuyển
- QUY TẮC SUY LUẬN Vớ dụ : Dựng cỏc quy tắc suy luận chứng minh rằng : (Pđ (Q đ R)) (Q P) P R Giải: 1.P đ (Q đ R) 2.Q P P.3 4.Qđ R : Modus Ponens của 1 và 3 Q.5 : Tam đoạn luận tuyển của 2 và 3 R.6 : Modus Ponens của 4 và 5 34
- BÀI TẬP 35 Dựng quy tắc suy luận chứng minh rằng (p đ (q đ r)) (t r) (s đ (p q)) (p đ t) (s u) u (p đ (q đ r)) (t r) (s đ (p q)) (p đ t) (s u) ≡ (p đ (q đ r)) t r (s đ p) (s đ q) (p đ t) (s u) 1. p đ (q đ r) 2. t 3. r 4. s đ p 5. s đ q 6. p đ t 7. s u
- BÀI TẬP 36 1. p đ (q đ r) 2. t 3. r 4. s đ p 5. s đ q 6. p đ t 7. s u 8. p modus tollens của 2. & 6. 9. q đ r modus ponens của 8. & 1. 10. q modus tollens của 9. & 3. 11. s modus tollens của 10. & 5 12. u tam đoạn luận tuyển 11. & 7.
- BÀI TẬP 37 Dựng quy tắc suy luận chứng minh rằng ((p q) đ r) s t p (p đ (u đ q)) (s đ (r t)) u 1. (p q) đ r 2. s 3. t 4. p 5. p đ (u đ q) 6. s đ (r t)
- BÀI TẬP 38 1. (p q) đ r 2. s 7. u đ q modus ponens của 4. & 5. 3. T 8. r t modus ponens của 2. & 6. 4. p 9. r tam đoạn luận tuyển của 8. & 3. 5. p đ (u đ q) 10. (p q) modus tollens của 9. & 1. 6. s đ (r t) 11. p q de Morgan của 10. 12. q tam đoạn luận tuyển của 4. & 11. 13. u modus tollens của 12. & 7.
- Chứng minh quy nạp 39
- Chứng minh quy nạp Phương phỏp chứng minh: n, n0 là số tự nhiờn. 1. Kiểm chứng P(n) đỳng với n=n0 40
- Chứng minh quy nạp Phương phỏp chứng minh: n, n0 là số tự nhiờn. 1. Kiểm chứng P(n) đỳng với n=n0 2. Giả sử P(n) đỳng với n: n0 ≤ n ≤ k 3. Chứng minh P(n) đỳng với n=k+1 41
- Chứng minh quy nạp Phương phỏp chứng minh n, n0 là số tự nhiờn. 1. Kiểm chứng P(n) đỳng với n=n0 2. Giả sử P(n) đỳng với n: n0 ≤ n ≤ k 3. Chứng minh P(n) đỳng với n=k+1 4. Kết luận n ≥ n0 P(n) là đỳng 42
- Chứng minh quy nạp Vớ dụ 1: n ≥ 1 là số nguyờn. CMR: n n(n 1) P(n) : i= 1 2 3 n = i= 1 2 43
- Chứng minh quy nạp 1- Kiểm chứng với n=1 n( n 1) 1(1 1) VT = 1 VP = = =1 Vậy P(n) đỳng với n = 1 2 2 2- Giả sử P(n) đỳng với n = k > 1 k( k 1) 1 2 3 k = 2 3- CM P(n) đỳng với n = k + 1 k( k 1) 1 2 3 k ( k 1) = (k 1) 2 k( k 1) 2( k 1) 1 2 3 k ( k 1) = 2 (k 1)( k 2) 1 2 3 k ( k 1) = 2 =>P(k+1) đỳng 44
- Chứng minh quy nạp Vớ dụ 2: n ≥ 1 là số nguyờn. Tỡm cụng thức tớnh tổng n số lẻ đầu tiờn và chứng minh cụng thức đú. n (2i 1) = 1 3 5 (2 n 1) = n2 i=1 45
- Chứng minh quy nạp 46 1- Kiểm chứng với n=1 VT = 1 VP = n2 = 12 = 1 Vậy P(n) đỳng với n = 1 2- Giả sử P(n) đỳng với n = k > 1 1 3 5 (2k 1) = k 2 3- CM đỳng với n = k + 1 1 3 5 (2k 1) (2 k 1) = k2 (2 k 1) 1 3 5 (2k 1) (2 k 1) = ( k 1)2 => P(k+1) đỳng
- Bài tập 47 Bằng phương phỏp chứng minh quy nạp, chứng minh rằng : với mọi số nguyờn dương n, 7n + 3n – 1 chia hết cho 9 n = 1: 7 + 3 – 1 = 9 chia hết cho 9 giả sử với n = k > 1: 7k + 3k – 1 chia hết cho 9 phải CM: 7k+1 + 3(k+1) – 1 chia hết cho 9 thật vậy: 7k+1 + 3(k+1) – 1 = 7(7k + 3k – 1) – 18k + 9 chia hết cho 9
- Bài tập 48 Bằng phương phỏp chứng minh quy nạp, chứng minh rằng : với mọi số nguyờn dương n, 7n + 3n – 1 chia hết cho 9 n = 1: 7 + 3 – 1 = 9 chia hết cho 9 giả sử với n = k 1: 7k + 3k – 1 chia hết cho 9 phải CM: 7k+1 + 3(k+1) – 1 chia hết cho 9 thật vậy: 7k+1 + 3(k+1) – 1 = 7(7k + 3k – 1) – 18k + 9 chia hết cho 9