2. Bir cebirsel ifadenin ispatını algoritmik olarak incelerken, aşağıdaki adımlardan hangisi genellikle ilk sırada yer alır?
A) İspatın geçerliliğini test etmek için örnekler oluşturmak
B) İspatı oluşturan temel adımları belirlemek ve sıralamak
C) İspatın sonucunu genelleştirmek
D) İspatı farklı yöntemlerle tekrarlamak