tailieunhanh - Bài giảng Toán rời rạc: Chương 1.2 - Dr. Ngô Hữu Phúc

Bài giảng Toán rời rạc: Chương Khái niệm cơ bản logic vị từ, cung cấp cho người đọc những kiến thức như: Các công thức trong logic vị từ; Dạng chuẩn tắc, dạng chuẩn tắc hội và dạng chuẩn tắc tuyển của công thức; Các công thức kiểm tra tính hằng đúng và tính hằng sai của công thức trong logic vị tự cấp 1. Mời các bạn cùng tham khảo! | TOÁN RỜI RẠC @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University CHƯƠNG I KHÁI NIỆM CƠ BẢN LOGIC VỊ TỪ Lecturer PhD. Ngo Huu Phuc 1 Tel 0438 326 077 Mob 098 5696 580 Email ngohuuphuc76@ NỘI DUNG 1. Các công thức trong logic vị từ. 2. Dạng chuẩn tắc dạng chuẩn tắc hội và dạng chuẩn tắc tuyển của công thức. 3. Các công thức kiểm tra tính hằng đúng và tính hằng sai của công thức trong logic vị tự cấp 1. 2 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University NỘI DUNG 1. Các công thức trong logic vị từ. 2. Dạng chuẩn tắc dạng chuẩn tắc hội và dạng chuẩn tắc tuyển của công thức. 3. Các công thức kiểm tra tính hằng đúng và tính hằng sai của công thức trong logic vị tự cấp 1. 3 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University . VỊ TỪ VÀ GIÁ TRỊ CHÂN LÝ CỦA VỊ TỪ Biểu thức P x1 x1 xn n 1 với xi lấy giá trị trên tập Mi i 1 2 n được gọi là vị từ n biến xác định trên trường M M1 M2 Mn khi và chỉ khi biểu thức P x1 x1 . xn không phải là một mệnh đề hoặc đúng hoặc sai. Nếu ta thay biến xi bởi ai Mi i 1 2 n ta được P x1 x1 xn là một mệnh đề hoặc đúng hoặc sai. Thường ký hiệu vị từ bởi các chữ P Q R F có thể kèm chỉ số và gọi là các biến vị từ. Vị từ 1 biến được gọi là vị từ cấp 1. 4 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University . CÁC PHÉP TOÁN TRÊN VỊ TỪ 1 BIẾN 1 2 Cho vị từ 1 biến P x và Q x trên trường M Phủ định của P x ký hiệu là P x cũng là 1 vị từ trên trường M mà khi thay x a M ta được mệnh đề P a nhận giá trị đúng khi P a nhận giá trị sai và ngược lại. Hội vị từ P x với vị từ Q x ta được vị từ P x Q x trên trường M mà khi thay x a M ta được mệnh đề P a Q a nhận giá trị đúng khi P a và Q a nhận giá trị đúng sai trong các trường hợp còn lại. 5 @Copyrights by Dr. Ngo Huu Phuc Le Quy Don Technical University . CÁC PHÉP TOÁN TRÊN VỊ TỪ 1 BIẾN 2 2 Cho vị từ 1 biến P x và Q x trên trường M Tuyển vị từ P x với vị từ Q x ta được vị từ P x Q x trên trường M mà khi thay x a M ta được mệnh đề P a Q a nhận giá