Modus tollens

Dalam kasus "modus tollens" kita asumsikan sebagai premis bahwa p → q benar dan q salah. Hanya ada satu baris dari tabel kebenaran—baris keempat—yang memenuhi dua kondisi. Dalam baris ini, p adalah palsu. Oleh karena itu, dalam setiap contoh di mana p → q benar dan q salah, p juga harus menjadi palsu.