koşullu bir önermenin ve sonucunun olumsuzlaması doğru olarak verildiğinde, öncülünün olumsuzlamasının da geçerli olabileceği ilkesi - Turc Anglais Dictionnaire