Giới thiệu về logic Logic mệnh đề Cú pháp logic mệnh đề Ngữ nghĩa logic mệnh đề Suy dẫn trong logic mệnh đề Chứng minh trong logic mệnh đề Logic • Cần một công cụ để biểu diễn và sử dụng tri thức của con người • Logic: “khoa học về lập luận, chứng minh, suy nghĩ hay suy diễn” • Sử dụng logic làm một công cụ để biểu diễn và xử lý tri thức | Logic mệnh đê Tô Hoài Việt Khoa Công nghệ Thông tin Đại học Khoa học Tự nhiên TPHCM thviet@ Trang 1 Tông quan Giới thiệu về logic Logic mệnh đề Cú pháp logic mệnh đề Ngữ nghĩa logic mệnh đề Suy dẫn trong logic mệnh đề Chứng minh trong logic mệnh đề Trang 2 Logic Cần một công cụ để biểu diễn và sử dụng tri thức của con người Logic khoa học về lập luận chứng minh suy nghĩ hay suy diễn Sử dụng logic làm một công cụ để biểu diễn và xử lý tri thức Trang
