Mantıksal bir önermede $A \implies B$ (A ise B) ifadesi verildiğinde, bu önermenin 'karşıt tersi' (contrapositive) aşağıdakilerden hangisidir?