Modus ponens

Filsuf dan ahli logika Vann McGee berpendapat bahwa "modus ponens" dapat gagal untuk menjadi valid apabila akibat itu sendiri adalah kalimat bersyarat. Berikut adalah contoh: