Modus ponens

Bentuk umum dari tipe penyangkalan McGee untuk "modus ponens" adalah formula_2, therefore formula_3 oleh karena itu formula_4; tidak penting bahwa formula_5 memiliki bentuk disjungsi, seperti dalam contoh yang diberikan. Kasus-kasus seperti ini merupakan kegagalan dari "modus ponens" tetap menjadi minoritas pandangan di kalangan ulama, tetapi tidak ada konsensus tentang bagaimana kasus-kasus ini harus dibuang.