Đề tài Lý thuyết logic vị từ và một số ứng dụng của nó

Mục lục MỞ ĐẦU……………..………………………………………2 NỘI DUNG…………………………………………………..3 Một số khái niệm……………………………………………………….3 Thế nào là logic……………………………………………….3 Logic toán là gì…………………………………......................4 Logic vị từ………………………………………….............................5 Khái niệm về vị từ…………………………………………….5 Không gian của vị từ……………………………. …………...6 Trọng lượng của vị từ…………………………………………6 Phép toán vị từ…...…………………………………………7 Các lượng từ……………………..……………………………8 Công thức tương đương….….……………………………….12 Công thức chỉnh dạng ( Wff )…….………..………………...14 Quy tắc và mô hình suy diễn trong logic vị từ cấp 1………...15 Dạng chuẩn tắc của logic vị từ……...………………………..17 Luật suy diễn ………..….……………………………………19 Ví dụ………………………………………………………….20 Ứng dụng…….……………….……………………………………… 30 KẾT LUẬN…………………………………………………………….32 Tài liệu tham khảo………………………………………………………………32