肯定前件- 維基百科,自由的百科全書 - 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肯定- 維基詞典,自由的多語言詞典 - Wiktionary
國語/普通話 · 漢語拼音, kěn dìng. 注音符號, ㄎㄣˇ ㄉㄧㄥˋ. 國際音標. /kʰən²¹⁴ tError!/. 通用拼音, kěn dìng. 閩南語 · 白話字, khén...
- 3肯定資訊科技有限公司【工作職缺及徵才簡介】1111人力銀行
【行業別】光電相關【公司簡介】肯定資訊科技自2002年3月成立以來已邁入第13個年頭,我們堅持只作專業機器視覺產品代理,主要代理德國、日本、美國、 ...
- 4肯定(汉语词语)_百度百科
肯定,拼音:kěn dìng。本义:确定,一定。对事物持认可的或赞成的态度。与“否定”相对。...
- 5肯定前件- 維基百科,自由的百科全書 - Wikipedia
在邏輯中,肯定前件(拉丁語:Modus ponens)是有效的、簡單的論證形式(常縮寫為MP): 如果P,則Q;且P為真,故Q為真。