CÁC PHƯƠNG PHÁP LẬP LUẬN TRÊN LOGIC VỊ TỪ CẤP MỘT

Chương 5. Các phương pháp lập luận trên logic vị từ cấp một: trình bày cú pháp, ngữ nghĩa của logic vị từ cấp một và một số thuật toán lập luận cơ bản trên logic vị từ cấp một.