1樓:匿名使用者
= =真值表
因此(p∧q→r)和(p→(q→r)) 是邏輯等價的
(離散數學)對((p→q)∧(q→r))→(p→r)進行等值演算以判斷公式型別。
2樓:zzllrr小樂
((p→q)∧(q→r))→(p→r)
⇔¬((p→q)∧(q→r))∨
(p→r) 變成 合取析取
⇔¬((¬p∨q)∧(¬q∨r))∨(¬p∨r) 變成 合取析取⇔(¬(¬p∨q)∨¬(¬q∨r))∨(¬p∨r) 德摩根定律專屬⇔((p∧¬q)∨(q∧¬r))∨(¬p∨r) 德摩根定律⇔(p∧¬q)∨(q∧¬r)∨¬p∨r 結合律⇔¬q∨(q∧¬r)∨¬p∨r 合取析取 吸收率⇔¬q∨¬r∨¬p∨r 合取析取 吸收率
⇔¬p∨¬q∨¬r∨r 交換律 排序
⇔true
稱為永真式,重言式。
3樓:匿名使用者
((p→q)∧(q→r))→(p→r)
⇔(p→r)→(p→r)
⇔a→a
⇔t離散很多等價式背下來就可以這樣簡化運算
4樓:匿名使用者
蘇格拉底三段論.忘了怎麼證了.
離散數學 試證明(p→(q→r)∧(「s∨p)∧q推出s→r
5樓:匿名使用者
前提:p→(q→r),「s∨p,q
結論:s→r
證明:1)p→(q→r) 前提引專入2)q→(p→r) 1)等屬值置換3)q 前提引入4)p→r ...... (留給你)5)「s∨p ......6)s 附加前提引入7)p ......8)r ......9)s→r ......得證。
離散數學證明有ab1a1b
ba ba 1 1 a 1b 1 1 ab 1 1 ab 離散數學證明 a b b c a c 證明 b 62616964757a686964616fe58685e5aeb931333431373337c a b a b b a a b c a b b a c 根據 得 a b c b a c c ...
離散數學題求解,離散數學問題求解
2 集合a a上關係,既不具有對稱性,又不具有反對稱性3 設a a上的所有關係 空關係,4 設a a上一共有2 3 2 2 9 512個不同的關係。假設小王不是文科生 如果小王不是文科生則他一定是理科生 得出小王是理科生 又小王是理科生則他的數學成績一定很好 因為小王數學成績不好,所以假設與條件矛盾...
離散數學集合論問題,離散數學集合論問題
1 如圖 2 b 極大元 2,5 極小元 1,3 答題不易,請及時採納,謝謝!集合a a裡的元素是1,2,可以說1屬於a,2屬於a,屬於a,屬於a。而是包含於a但不屬於a 集合的概念要分清包含,屬於,元素與集合之間是屬於關係,集合與集合之間是包含 包含於的關係 離散數學 集合論的問題 集合a a裡的...