Bài giảng "Trí tuệ nhân tạo: Logic và suy diễn" trình bày các nội dung: Cú pháp của một logic, ngữ nghĩa của một logic, suy diễn logic, logic định đề – Cú pháp, logic định đề – Ngữ nghĩa, ngữ nghĩa của logic định đề, biểu diễn bằng logic định đề,. nội dung chi tiết.