數(shù)理邏輯中的證明是恒真式和證明是充足可能式有什么區(qū)別?請(qǐng)給出下面兩道題的解答.
數(shù)理邏輯中的證明是恒真式和證明是充足可能式有什么區(qū)別?請(qǐng)給出下面兩道題的解答.
①如果P→Q是恒真式,P是充足可能,證明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,證明Q也是恒真式.
①如果P→Q是恒真式,P是充足可能,證明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,證明Q也是恒真式.
數(shù)學(xué)人氣：502 ℃時(shí)間：2020-05-14 23:14:03
優(yōu)質(zhì)解答
郭敦顒回答：恒真式,就是正命題為真,逆命題也是真的；充分可能式,正命題是真,逆命題不一定是真.判斷下兩命題的正誤——①如果P→Q是恒真式,P是充足可能,證明Q是充足可能.②如果P→Q是充足可能,P是恒真式,證明Q也是恒...
我來(lái)回答
類似推薦
- 數(shù)理邏輯證明題,謂詞邏輯
- 在卡方分布中的自由度怎么確定?求數(shù)理邏輯證明.
- 一道邏輯學(xué)（面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯）證明題
- 離散數(shù)學(xué)數(shù)理邏輯題
- 大學(xué)數(shù)理邏輯題目 命題邏輯
- ∫ x^3 sin^4(x)dx 請(qǐng)問怎么求這個(gè)不定積分呢...
- 請(qǐng)問動(dòng)詞的動(dòng)名詞形式和名詞形式的區(qū)別
- 方程計(jì)算 X+y=6,xy=4 x y=?
- 函數(shù)Y=3*X的平方-2lnx的單調(diào)增區(qū)間,減區(qū)間
- 設(shè)0=r2
- 若關(guān)于x的方程x平方-mx+3m-2=0的兩根x1,x2滿足1
- I can't decide what colour to choose.=I can't decide _ _ _ _ _
猜你喜歡
- 1英語(yǔ)翻譯
- 2已知sina是5x²-7x-6=0的根
- 3人類使用材料的歷史就是人類的進(jìn)步史.下列物品的主要材質(zhì)當(dāng)時(shí)不是通過化學(xué)變化獲取的是（ ?。?A.馬踏飛燕（青銅器） B.龍泉?jiǎng)ΓㄨF器） C.金縷衣 D.塑料器具
- 4如何實(shí)現(xiàn):輸入三角形的三邊長(zhǎng),判斷該三角形是否為直角三角形,若是輸出三角形的面
- 5四海皆春春不老,九州同樂樂無(wú)窮運(yùn)用了什么修辭手法
- 6二十千克比二十五千克少20%對(duì)嗎
- 7化學(xué)藥品的保存方法
- 8英語(yǔ)翻譯
- 9一棵二叉樹共有25個(gè)結(jié)點(diǎn),其中5個(gè)是葉子結(jié)點(diǎn),則度為一的結(jié)點(diǎn)數(shù)為多少啊
- 10怎樣理解細(xì)胞內(nèi)液與組織液具有相同的總滲透壓?
- 11甲乙兩人同時(shí)從兩地騎車相向而行，甲每小時(shí)行駛20千米，乙每小時(shí)行駛18千米，兩人相遇時(shí)距離全程中點(diǎn)3千米，求全程長(zhǎng)多少千米？（先畫圖整理，再解答）
- 126x²-13x-5=0 解方程