CHƯƠNG 6 – CÁC PHƯƠNG PHÁP LẬP LUẬN TRÊN LOGIC MỆNH ĐỀ

2.1 Cú pháp: ¾ Các ký hiệu: 9 Hằng: true, false 9 Ký hiệu: P, Q, … Mỗi ký hiệu gọi là ký hiệu mệnh đề hoặc mệnh đề 9 Các kết nối logic: ¬, ∧, ∨ 9 Các ký hiệu “(“ và ”)” ¾ Qui tắc xây dựng câu: Có hai loại câu: câu đơn và câu phức 9 true và false là các câu (true là câu đơn hằng đúng, false là câu hằng sai). 9 Mỗi ký hiệu mệnh đề là một câu, ví dụ P, Q là các câu (Câu đơn) 9 Nếu A và B là các câu thì các công thức sau cũng là câu (các câu phức): ¬A (A ∧ B) (A ∨ B) (A ⇒ B) (A ⇔ B) ¾ Các khái niệm và qui ước khác: Sau này, để cho gọn, ta bỏ đi các dấu “(“, “)” không cần thiết. Nếu câu chỉ có một ký hiệu mệnh đề thì ta gọi câu đó là câu đơn hoặc câu phân tử. Các câu không phải là câu đơn thì gọi là câu phức. Nếu P là ký hiệu mệnh đề thì P và ¬P gọi là các literal, P là literal dương còn ¬P là literal âm. Các câu phức dạng A1 ∨ A2 ∨…∨An, trong đó các Ai là các literal, được gọi là các câu tuyển (clause).