Modus Tollens türü çıkarımlarda, öncüller biri koşul önermesidir. Diğer öncül koşul önermesinin artbileşenini değiller ve koşul önermesinin önbileşeninin değillemesi sonuç olarak çıkarılır. Buna göre “sel olmadı” koşul önermesinin artbileşeninin değilidir. Sonuç olarak çıkarılan “çok yağmur yağmadı” da koşul önermesinin önbileşeninin değilenmesidir. Bu örnek bir Modus tollens türü çıkarımdır.