Tài liệu trình bày lý thuyết về suy luận logic mệnh đề; mô hình suy luận logic mệnh đề và một số bài tập vận dụng để giúp các bạn vận dụng, củng cố kiến thức hiệu quả hơn.

Bài giảng "Hệ chuyên gia – Chương 2.2: Logic mệnh đề - Logic vị từ cấp một" trình bày các kiến thức: Logic mệnh đề (Cú pháp và ngữ nghĩa của logic mệnh đề, dạng chuẩn tắc, luật suy diễn), logic vị từ cấp một (cú pháp và ngữ nghĩa logic vị từ cấp một, chuẩn hóa các công thức, các luật suy diễn).

Trong bài học này sẽ trang bại cho người học nhưng kiến thức về: Biểu diễn tri thức, logic mệnh đề (Cú pháp và ngữ nghĩa của Logic mệnh đề, dạng chuẩn tắc, luật suy diễn), logic vị từ cấp một (Cú pháp và ngữ nghĩa logic vị từ cấp một, chuẩn hoá các công thức, các luật suy diễn). Mời các bạn cùng tham khảo.

Định nghĩa : Mệnh đề chỉ có một giá trị đơn (luôn đúng hoặc sai) được gọi là mệnh đề nguyên từ ( atomic proposition ). Các mệnh đề không phải là mệnh đề nguyên từ được gọi là mệng đề phức hợp (compound propositions).

Phép toán nối rời của hai mệnh đề a, b là một mệnh đề đọc là a hoặc b, kí hiệu là a ν b (hoặc a+b), sai khi cả hai mệnh đề cùng sai và đúng trong trường hợp còn lại. a kéo theo b là một mệnh đề, kí hiệu là a b, chỉ sai khi a đúng và b sai và đúng trong các trường hợp còn lại.

Là bảng ghi tất cả các trường hợp chân trị có thể xảy ra đối với dạng mệnh đề E theo chân trị của các biến mệnh đề p, q, r. Nếu có n biến, bảng này sẽ có dòng, chưa kể dòng tiêu đề. Hai dạng mệnh đề E và F được gọi là tương đương logic nếu chúng có cùng bảng chân trị. Ký hiệu: E  F. Dạng mệnh đề được gọi là hằng đúng nếu nó luôn lấy giá trị 1. Dạng mệnh đề gọi là hằng sai (hay mâu thuẩn) nếu nó luôn lấy giá trị 0....