肯定前件- 維基百科,自由的百科全書 - Wikipedia
文章推薦指數: 80 %
肯定前件
維基百科,自由的百科全書
跳至導覽
跳至搜尋
在邏輯中,肯定前件(拉丁語:Modusponens)是有效的、簡單的論證形式(常縮寫為MP):
如果P,則Q;且P為真,故Q為真。
目錄
1形式符號
2解說
3參見
4外部連結
形式符號[編輯]
肯定前件規則可以用相繼式符號寫為:
P
→
Q
,
P
⊢
Q
{\displaystyleP\toQ,P\vdashQ}
或用規則形式寫為:
P
→
Q
,
P
Q
{\displays
延伸文章資訊
- 1肯定- Yahoo奇摩字典搜尋結果
肯定. zhuyin[ㄎㄣˇㄉㄧㄥˋ]; pinyin[kending]. to affirm; to approve; to confirm;affirmative; positive; de...
- 2肯定- 教育百科
ㄎㄣˇㄉㄧㄥˋ kěn dìng. 開啟關聯 取消關聯 收藏 開啟詞條名稱:肯定QRcode分享.
- 3肯定前件- 維基百科,自由的百科全書 - Wikipedia
在邏輯中,肯定前件(拉丁語:Modus ponens)是有效的、簡單的論證形式(常縮寫為MP): 如果P,則Q;且P為真,故Q為真。
- 4教育部重編國語辭典修訂本
如:「他在醫療方面的貢獻備受社會大眾肯定。」 2, 表示同意、贊成。如:「多方權衡之下,甲方案被肯定,乙案被 ...
- 5肯定資訊科技有限公司【工作職缺及徵才簡介】1111人力銀行
【行業別】光電相關【公司簡介】肯定資訊科技自2002年3月成立以來已邁入第13個年頭,我們堅持只作專業機器視覺產品代理,主要代理德國、日本、美國、 ...