... Ponens tổng quát.Luật phân giải tổng quát• Luật phân giải trên các câu tuyển• Luật phân giải trên các câu Horn:6.4 Thuật toán hợp nhất6.5 Chứng minh bằng luật phân giải 5 Các ký hiệu lợng ... nếu và chỉ nếu một trong các công thức nhận đợc từ G bằng cách thay x bằng một đối tợng trong miền đối tợng là đúng. Bằng các phơng pháp đã trình bày ở trên, ta có thể xác định đợc giá trị chân ... thành phần đều đúng, tức là cả Lan, An,Hoa đều là sinh viên.Nh vậy, công thức x G là đúng nếu và chỉ nếu mọi công thức nhận đợc từ G bằng cáchthay x bởi một đối tợng trong miền đối tợng đều đúng,...