9. Sınıf Mantık Bağlaçları ve Niceleyicilerin Matematiksel İspat ve Algoritmalardaki İşlevleri Nedir? Test 2

5. Bir algoritmanın doğruluğunu ispatlarken "∀n ∈ ℕ, P(n)" ifadesini kanıtlamak için en uygun yöntem hangisidir?

A) Tümevarım
B) Çelişki
C) Karşıt örnek
D) Doğrudan ispat