2. Bir cebirsel ifadenin ispatını algoritmik yaklaşımla incelerken, aşağıdaki adımlardan hangisi genellikle ilk sırada yer alır?
A) İspatın geçerliliğini test etmek
B) Kullanılacak değişkenleri ve sabitleri tanımlamak
C) Sonucu genelleştirmek
D) İspatı farklı örneklerle doğrulamak
