tailieunhanh - Bài giảng Toán rời rạc: Hệ quả logic - Nguyễn Thành Nhựt
Bài giảng Toán rời rạc - Chương 2 trang bị cho người học một số hiểu biết về cơ sở logic. Chương này sẽ trình bày một số qui tắc suy diễn như: Qui tắc khẳng định, quy tắc phủ định, qui tắc tam đoạn luận, qui tắc tam đoạn luận rời, quy tắc nối liền, quy tắc đơn giản, qui tắc mâu thuẫn,. . | HỆ QUẢ LOGIC Đinh nghĩa F được gọi là hệ quả logic của E nếu E F là hằng đúng. Ký hiệu E F Ví dụ - p V q - p Trong phép tính mệnh đề người ta không phân biệt những mệnh đề tương đương logic với nhau. Do đó đối với những dạng mệnh đề có công thức phức tạp ta thường biến đổi để nó tương đương với những mệnh đề đơn giản hơn. Để thực hiện các phép biến đổi ta sử dụng qui tắc thay thế và quy luật logic. Qui tắc thay thế Trong dạng mệnh đề E nếu ta thay thế biểu thức con F bởi một dạng mệnh đề tương đương logic thì dạng mệnh đề thu được vẫn còn tương đương logic với E. Ví dụ. - p A q V r -p V - q V
đang nạp các trang xem trước