tuanvuanhus
New Member
1. Xây dựng bảng chân trị cho câu α = ¬P → (Q ∧ R). Từ đó xác định câu α có thỏa mãn
được? là hằng đúng? là hằng sai? Tại sao?
2. Hãy chứng minh:
a. A → (B → C) ≡ B → (A → C)
b. (A → B) ∧ (B → C) ⇒ (A → C)
3. Chuyển các câu sau về dạng CNF
a. P ∧ (Q → R)
b. (P ∧ Q → R) ∧ S
4. Cho cơ sở tri thức K = {¬(A ∧ B), B ∨ C, C → D}
a. Tìm một mô hình của K
b. Tìm một hệ quả logic của K
c. Dùng các luật suy diễn tự nhiên chứng minh K |= (A → D)
5. Cho cơ sở tri thức K = {¬(A ∧ B), B ∨ C, C → D}. Dùng phương pháp hợp giải cho biết các
câu sau có là hệ quả logic của K
a) A → D
b) A ∧ B → ¬D
6. (Cộng điểm) Cho α là câu logic mệnh đề chứa đúng 3 biến A, B, C. Biết rằng α chỉ sai với
các phép gán biến {A = 1, B = 1, C = 0}, {A = 0, B = 1, C = 1}, và {A = 0, B = 1, C = 0} (α
đúng với các phép gán biến khác). Hãy tìm dạng CNF của α.
được? là hằng đúng? là hằng sai? Tại sao?
2. Hãy chứng minh:
a. A → (B → C) ≡ B → (A → C)
b. (A → B) ∧ (B → C) ⇒ (A → C)
3. Chuyển các câu sau về dạng CNF
a. P ∧ (Q → R)
b. (P ∧ Q → R) ∧ S
4. Cho cơ sở tri thức K = {¬(A ∧ B), B ∨ C, C → D}
a. Tìm một mô hình của K
b. Tìm một hệ quả logic của K
c. Dùng các luật suy diễn tự nhiên chứng minh K |= (A → D)
5. Cho cơ sở tri thức K = {¬(A ∧ B), B ∨ C, C → D}. Dùng phương pháp hợp giải cho biết các
câu sau có là hệ quả logic của K
a) A → D
b) A ∧ B → ¬D
6. (Cộng điểm) Cho α là câu logic mệnh đề chứa đúng 3 biến A, B, C. Biết rằng α chỉ sai với
các phép gán biến {A = 1, B = 1, C = 0}, {A = 0, B = 1, C = 1}, và {A = 0, B = 1, C = 0} (α
đúng với các phép gán biến khác). Hãy tìm dạng CNF của α.