Bir ispat yönteminde, bir önermenin yanlış olduğunu varsayıp bu varsayımdan bir çelişki elde ederek önermenin doğru olduğunu göstermeye çalışan "dolaylı ispat" (Reductio ad Absurdum) yöntemi, hangi mantık ilkesine dayanır?
A) Özdeşlik İlkesi B) Yeter Sebep İlkesi C) Çelişmezlik İlkesi D) Üçüncü Halin İmkansızlığı İlkesi E) Tümevarım İlkesi
