Kiểm tra tính đúng đắn của giải pháp: Dựa vào kiến thức đã học để xác định tính đúng đắn của suy luận, của đề xuất đã nêu ra. Tìm đoán suy luận như hướng đích, quy lạ về quen, đặc biệt hóa, chuyển qua những trường hợp suy biến, tương tự hóa, khái quát hóa, xem xét những mối liên hệ phụ thuộc, suy xuôi, suy ngược tiến, suy ngược lùi,...