TAILIEUCHUNG - Logic vị từ

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. | . 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. . 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 .

TỪ KHÓA LIÊN QUAN
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.