Mời các bạn tham khảo bài giảng toán rời rạc (discrete mathematics) bài 4 cơ sở logic

TOÁN RỜI RẠC (DISCRETE MATHEMATICS) GV Trần Nguyễn Minh Thư (tnmthu@ctu edu vn)08/2013 TRƯỜNG ĐẠI HỌC CẦN THƠ KHOA CNTT & TRUYỀN THÔNG BỘ MÔN KHOA HỌC MÁY TÍNH 1 CƠ SỞ LOGIC2 PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ[.]

TRƯỜNG ĐẠI HỌC CẦN THƠ KHOA CNTT & TRUYỀN THÔNG BỘ MƠN KHOA HỌC MÁY TÍNH TỐN RỜI RẠC (DISCRETE MATHEMATICS) 08/2013 GV: Trần Nguyễn Minh Thư (tnmthu@ctu.edu.vn) CƠ SỞ LOGIC 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 đề câu khẳng định có giá trị chân lý xác định (True) sai (False) Ví dụ:  True 2+3=5  Tam giác có cạnh  Toronto thủ Canada  3*4=10  True False False PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ  P, Q, R, S,… : ký hiệu mệnh đề  Ký hiệu giá trị chân lý mệnh đề: T: Đúng  F: Sai   Bảng chân trị: biểu diễn mối quan hệ giá trị chân lý mệnh đề PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ Các phép tính mệnh đề   Phép phủ định: Cho P mệnh đề, câu “không phải P” mệnh đề gọi phủ định mệnh đề P Kí hiệu: ¬P hay P Bảng chân trị P ¬P T F F T PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ    Phép hội (conjunction): Cho hai mệnh đề P, Q “P Q” mệnh đề gọi hội mệnh đề P Q Kí hiệu: PQ Bảng chân trị: P T T F F Q T F T F PQ T T F F F PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ   Phép tuyển (disjunction): “P hay Q” mệnh đề gọi tuyển mệnh đề P Q Kí hiệu: P  Q Bảng chân trị: P T T F F Q T F T F PQ T T T F PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ   Phép XOR: “loại trừ P loại trừ Q”, nghĩa “hoặc P Q đúng” Bảng chân trị P T T F F Q T F T F PQ F T T F PQ = (P  Q)  ¬(P  Q) 1.Mệnh đề 2.Vị từ PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ 10   Phép kéo theo: “Nếu P Q” mệnh đề kéo theo hai mệnh đề P, Q Bảng chân trị: P T T F F Q P®Q T T F F T T F T P ® Q = ¬P  Q ...2 CƠ SỞ LOGIC 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... xác định (True) sai (False) Ví dụ:  True 2+3=5  Tam giác có cạnh  Toronto thủ đô Canada  3 *4= 10  True False False PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ  P, Q, R, S,… : ký hiệu mệnh đề  Ký hiệu giá... Sai   Bảng chân trị: biểu diễn mối quan hệ giá trị chân lý mệnh đề PHÉP TÍNH MỆNH ĐỀ & VỊ TỪ Các phép tính mệnh đề   Phép phủ định: Cho P mệnh đề, câu “không phải P” mệnh đề gọi phủ định