Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
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. | 1.1. CÁC KHÁI NIỆM CƠ BẢN 1. Logic mệnh đề. 2. Logic vị từ. 3. Các phương pháp chứng minh. 4. Tập hợp và hàm. 5. Ma trận và giải thuật. 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. 1.1. Vị từ và giá trị chân lý của vị từ o Biểu thức P x1 x2 . 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 M1xM2x. x Mn khi và chỉ khi biểu thức P x x . xn không phải là một mệnh đề hoặc đúng hoặc sai. o Nếu ta thay biến xi bởi a eMị i 1 2 . n ta được P x1 x . xn là một mệnh đề hoặc đúng hoặc sai. o 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ừ. o Vị từ 1 biến được gọi là vị từ cấp .