Tiểu Luận Lý thuyết logic vị từ và một số ứng dụng của nó

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