Karşıt ters yöntemiyle ispatın geçerli olması için aşağıdaki koşullardan hangisi gereklidir?
A) p ve q'nun aynı kümeden olması
B) p → q önermesinin karşıt tersinin p → q'ya denk olması
C) p ve q'nun doğruluk değerlerinin aynı olması
D) p ve q'nun yanlış olması
