Làm thế nào để kiểm tra tính đúng của thuật toán sắp xếp chèn bằng phương pháp lập luận logic?