[FONT=Times New Roman][FONT=Times New Roman]Mục lục

[FONT=Times New Roman][FONT=Times New Roman]A. [FONT=Times New Roman]MỞ ĐẦU[FONT=Times New Roman] 2

[FONT=Times New Roman][FONT=Times New Roman]

[FONT=Times New Roman][FONT=Times New Roman]B. [FONT=Times New Roman]NỘI DUNG 3

[FONT=Times New Roman][FONT=Times New Roman]

[FONT=Times New Roman] [FONT=Times New Roman]I. [FONT=Times New Roman][FONT=Times New Roman]Một số khái niệm[FONT=Times New Roman] .3

[FONT=Times New Roman][FONT=Times New Roman]1. [FONT=Times New Roman]Thế nào là logic .3

[FONT=Times New Roman][FONT=Times New Roman]2. [FONT=Times New Roman]Logic toán là gì 4

[FONT=Times New Roman][FONT=Times New Roman]

[FONT=Times New Roman] [FONT=Times New Roman]II. [FONT=Times New Roman][FONT=Times New Roman]Logic vị từ[FONT=Times New Roman] .5

[FONT=Times New Roman][FONT=Times New Roman]1. [FONT=Times New Roman]Khái niệm về vị từ .5

[FONT=Times New Roman][FONT=Times New Roman]2. [FONT=Times New Roman]Không gian của vị từ . .6

[FONT=Times New Roman][FONT=Times New Roman]3. [FONT=Times New Roman]Trọng lượng của vị từ 6

[FONT=Times New Roman][FONT=Times New Roman]4. [FONT=Times New Roman]Phép toán vị từ . 7

[FONT=Times New Roman][FONT=Times New Roman]5. [FONT=Times New Roman]Các lượng từ 8

[FONT=Times New Roman][FONT=Times New Roman]6. [FONT=Times New Roman]Công thức tương đương .12

[FONT=Times New Roman][FONT=Times New Roman]7. [FONT=Times New Roman]Công thức chỉnh dạng ( Wff ) . .14

[FONT=Times New Roman][FONT=Times New Roman]8. [FONT=Times New Roman]Quy tắc và mô hình suy diễn trong logic vị từ cấp 1 .15[FONT=Times New Roman]

[FONT=Times New Roman][FONT=Times New Roman]9. [FONT=Times New Roman]Dạng chuẩn tắc của logic vị từ . 17[FONT=Times New Roman]

[FONT=Times New Roman][FONT=Times New Roman]10. [FONT=Times New Roman] Luật suy diễn . 19[FONT=Times New Roman]

[FONT=Times New Roman][FONT=Times New Roman]11. [FONT=Times New Roman] Ví dụ .20

[FONT=Times New Roman][FONT=Times New Roman]

[FONT=Times New Roman] [FONT=Times New Roman]III. [FONT=Times New Roman][FONT=Times New Roman]Ứng dụng[FONT=Times New Roman] . . 30

[FONT=Times New Roman][FONT=Times New Roman]

[FONT=Times New Roman][FONT=Times New Roman]C. [FONT=Times New Roman]KẾT LUẬN[FONT=Times New Roman] .32

[FONT=Times New Roman][FONT=Times New Roman]Tài liệu tham khảo 32

[FONT=Times New Roman][FONT=Times New Roman]