肯定前件- 維基百科,自由的百科全書 - Wikipedia

文章推薦指數: 80 %
投票人數:10人

肯定前件 維基百科,自由的百科全書 跳至導覽 跳至搜尋 在邏輯中,肯定前件(拉丁語:Modusponens)是有效的、簡單的論證形式(常縮寫為MP): 如果P,則Q;且P為真,故Q為真。

目錄 1形式符號 2解說 3參見 4外部連結 形式符號[編輯] 肯定前件規則可以用相繼式符號寫為: P → Q , P ⊢ Q {\displaystyleP\toQ,P\vdashQ} 或用規則形式寫為: P → Q , P Q {\displays



請為這篇文章評分?