Karşıt ters yöntemi kullanılarak ispatlanmak istenen bir teoremde, aşağıdaki mantık kurallarından hangisi temel alınır?
A) Bir önerme ile onun karşıt tersinin mantıksal eşdeğer olması
B) Bir önerme ile onun tersinin mantıksal eşdeğer olması
C) Bir önerme ile onun karşıtının mantıksal eşdeğer olması
D) Bir önerme ile onun değilinin mantıksal eşdeğer olması
