2. Logic mệnh đề: cú pháp, ngữ nghĩa
Logic đơn giản nhất là logic mệnh đề. Các phát biểu (câu) trong logic mệnh đề được hình thành từ các ký hiệu mệnh đề (mỗi ký hiệu có nghĩa là một mệnh đề và vì vậy có thể nhận giá trị đúng hoặc sai tùy theo mệnh đề đó là đúng hay sai trong thế giới thực) và các ký hiệu liên kết ¬ (với ngữ nghĩa là phủ định), ∧ (và), ∨ (hoặc), ⇒ (kéo theo), ⇔ (tương đương). Cú pháp và ngữ nghĩa của logic mệnh đề như sau:
Bạn đang xem 2. - Giáo trình Trí tuệ nhân tạo