Bir önermenin cebirsel ispatı mantıksal çıkarımlarla yapılırken, algoritmik yaklaşımda bilgisayar programları kullanılır. Bu iki yöntem arasındaki temel fark aşağıdakilerden hangisidir?
A) Cebirsel ispat daha güvenilirdir
B) Algoritmik yaklaşım sadece sayısal önermeler için çalışır
C) Cebirsel ispat genel geçerken, algoritmik yaklaşım sonlu durumları test eder
D) Algoritmik yaklaşım daha hızlı sonuç verir
