... d (Res 2A, 4) 9. ơb ơc (Res 2C, 5)10. c (Res 3, 7A)11. ơc (Res 4, 9A)Mõu thun gia 10 và 11. Chứng minh xong.2.3. Chứng minh bằng luật phân giải trên logic vị từTrong phần logic mệnh đề, ... f≡1 Bài tập 3. Cho các biểu thức logic mệnh đề đúng sau1. abc → c2. abc → p3. as → h 4. abcp → s5. abdHãy dùng phương pháp Robinson và Vương Hạo để chứng minh hoặc bác bỏ sh ≡1 Bài tập 4. ... phương pháp chứng minh mệnh đề (ởmục 2.1 v à 2.2) với độ phức tạp chỉ có O(n ). Bài toán Cho tập các giả thiết dưới dạng các biểu thức logic mệnh đềGT={GT1, GT2, GTn}. Hãy chứng minh tập...