A∨ (B∧C)├┤(A∨B)∧ (A∨C)
A∨ (B∧C)├┤(A∨B)∧ (A∨C)
A∨(B∨C)├┤ (A∨B) ∨C
A→C,B→D,A∨B├C∨D
邏輯學的三個公式,請教誰能給出形式證明
A∨(B∨C)├┤ (A∨B) ∨C
A→C,B→D,A∨B├C∨D
邏輯學的三個公式,請教誰能給出形式證明
其他人氣：197 ℃時間：2020-04-20 18:58:03
優(yōu)質解答
A→(B→C)等值于¬A∨(B→C)等值于¬A∨(¬B∨C)等值于¬A∨¬B∨C而(A→B)→(A→C)等值于¬(¬A∨B)∨(¬A∨C)等值于(A∧¬B)∨¬A∨C等值于(¬A∨¬B∨C)∧(A∨¬A∨C)等值于(¬A∨¬B∨C)∧C顯然¬A∨¬B∨C├(¬A∨¬B∨C)∧C
我來回答
類似推薦
猜你喜歡
- 1I have been playing the piano since I _(be) 6 years old.
- 2比如現(xiàn)在讓你寫出 鎂（Mg）得到或者失去電子后的所成離子的符號,那我右上角
- 3太陽能如何轉換為煤中的能量?
- 4由參數(shù)方程確定的函數(shù)的求導公式
- 5在一道減法算式中,差比減數(shù)大40,減數(shù)是差的1/9,求被減數(shù)是多少.
- 6一道二元一次方程組!
- 7兩列火車,一列長110米,每秒行18米,另一列長130米,每秒行12米.(1)兩車相向而行,從車
- 8believe me和trust me 用法和區(qū)別是什么
- 9暚這個字現(xiàn)在在字典里還有嗎?
- 10I'll take a picture for lingling 改為現(xiàn)在進行時 怎么改?
- 11用a,s,a,u,e,g,s拼單詞
- 12用兩個相同的電熱器給質量相同的物質甲和水加熱,它們的溫度隨加熱時間的變化關系如圖6所示,據(jù)此判斷物質