... chứng minh nếu tất cả dòng dẫn xuất từ dạng chuẩn ban đầu đều được chứng minh. VII.2 Thuật giải Robinson Thuật giải này hoạt động dựa trên phương pháp chứng minh phản chứng. Phương pháp chứng ... Phản chứng : giả sử b sai suy ra b là đúng. Bài toán được chứng minh nếu a đúng và b đúng sinh ra một mâu thuẫn. B1 : Phát biểu lại giả thiết và kết luận của vấn đề dưới dạng chuẩn như sau ... chuẩn như sau : GT1, GT2, ,GTn KL1, KL2, , KLm Trong đó : GTi và KLj được xây dựng từ các biến mệnh đề và các phép toán : , , B2 : Nếu GTi có phép thì thay bằng dấu ","...