離散數學輸出律如何證明PQR恆等於PQR

2021-03-04 09:22:02 字數 1026 閱讀 3569

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裡的...