Phương pháp phản chứng là phương pháp?

Quy bài toán ban đầu về bài toán con đơn giản hơn

Giả sử điều cần chứng minh là sai để từ đó suy ra mâu thuẫn

Liệt kê tất cả các khả năng để từ đó đưa ra quyết định.

Biểu diễn nghiệm của bài toán bằng các dữ kiện ban đầu