Ini adalah contoh aturan deduksi, yaitu bentuk argumen yang selalu sahih. Aturan ini sangat terkenal dan disebut modus ponens. Apakah Anda yakin bahwa ini merupakan aturan deduksi yang sahih? Jika belum, perhatikan tabel kebenaran berikut: