Modus tollens

Andaikan bahwa kedua premis benar (anjing akan menggonggong jika mendeteksi penyusup, dan memang tidak menggonggong), maka delanjutkan bahwa tidak ada penyusup yang terdeteksi. Ini adalah argumen yang valid karena tidak mungkin untuk kesimpulan untuk menjadi salah jika premis benar. (Bisa dibayangkan bahwa mungkin ada penyusup yang tidak terdeteksi anjing, tapi itu tidak membatalkan argumen; premis pertama adalah "jika anjing mendeteksi penyusup." Hal yang penting adalah bahwa anjing dapat mendeteksi atau tidak mendeteksi penyusup, bukan apakah ada atau tidak.)