Karşıt ters yöntemi ile ispat Test 2

Karşıt ters yöntemiyle ispat tekniğinde, "p → q" önermesi yerine hangi önermenin doğruluğu ispatlanır?

A) p → q
B) q → p
C) ¬p → ¬q
D) ¬q → ¬p