Bước 3: Thực hiện chương trình giải Đây là quá trình tổng hợp lại của bước phân tích bài toán, ta dùng các phép suy luận hợp logic xuất phát từ giả thiết của bài toán, các mệnh đề Toán học đã biết ta suy dần ra tới kết luận của bài toán.
Bước 3: Thực hiện chương trình giải Đây là quá trình tổng hợp lại của bước phân tích bài toán, ta dùng các phép suy luận hợp logic xuất phát từ giải thiết của bài toán, các mệnh đề Toán học đã biết ta suy dần ra tới kết luận của bài toán.
Bước 3: Thực hiện chương trình giải Đây là quá trình tổng hợp lại của bước phân tích bài toán, ta dùng các phép suy luận hợp logic xuất phát từ giả thuyết của bài toán, các mệnh đề Toán học đã biết ta suy dần ra tới kết luận của bài toán.