9. Aşağıdaki ispat yöntemlerinden hangisinde p⇒q=q' ⇒p' denkliğinden yararlanılır?
A) Doğrudan ispat
B) Tümevarim yöntemiyle ispat
C) Deneme yöntemiyle ispat
D) Çelişki yöntemiyle ispat
E) Karşıt tersi yöntemiyle ispat​