Modus tollens

P∧Q︰P and Q P→Q︰if P then Q P≡Q︰（P→Q）∧（Q→P）, P∨Q︰P or Q ¬P︰not P. Rules for Sentential Logic︰. MP...

McGee對肯定前件提出的反例. 肯定前件（modus ponens，或者MP）是古典邏輯裡最基本的原則之一︰. P→Q P ------- Q. 根據MP，如果P和（P→Q）都為真，Q就會為真。

書名：MPA/MP Acc聯考邏輯往年真題歸類精解，語言：簡體中文，ISBN：9787300161327，頁數：226，出版社：中國人民大學出版社，作者：周建武，出版日期：2012/07/01，...

... 掌握數學優勢，成就大未來幼兒2~6歲課程國小1~6歲年級專業數學國中7~9歲年級高中10~12歲年級數理邏輯課程奠基數理邏輯思維的墊腳石Jelic腦力開發3~6歲適合KMI腦力 ...

MP. 2. MT. 前提. P à Q. P. P à Q. – Q. 結論. Q. – P. 舉例說明. 如果小明是一隻鳥﹐則小明會飛。 小明是一隻鳥. 因此﹐小明會飛. 如果小明是一隻鳥﹐...