1樓:匿名使用者
合取,析取都滿足分配律。
但是,您沒用對。
(離散數學)對((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樓:匿名使用者
蘇格拉底三段論.忘了怎麼證了.
離散數學邏輯推理證明,離散數學中的邏輯推理A,B,AB,BCD,DQ
證明過程如圖,其中 3 用附加前提證明法,把結論中的前件引入。p蘊含q等價於非p或q,用這個等價式和前提很容易得到結論 離散數學中的邏輯推理 a,b,a b,b c d,d q?你的已知事實是不是有錯誤?如果是a,b,a c,b c d,d q的話就解釋的通了。a為真,因為a推出c,所以c為真 b為...
離散數學中的聯結詞集合有哪五種,離散數學中的聯結詞集合有哪五種
水土火?聯結詞有 非 析取 合取 蘊含 條件 當且僅當 雙條件 與非 或非等等 完備的最小聯結片語有 與非 或非 等通常使用聯結片語 非 析取 合取 離散數學中聯結詞都有哪些 常用的聯接詞有 全功能的 注意 可交換但不可結合 可交換,可結合 在 上可分配 離散數學中命題聯結詞有哪些?它們各有什麼含意...
離散數學,有關平面圖的問題,離散數學中關於平面圖的問題
1 22 3n 6 3 2n 4 源 如果平面圖的每個面的bai 次數du至少是l l 2 則有m l l 2 n 2 這zhi是尤拉公式的dao一個推論。第二個的每個面的次數至少是3,第三個的每個面的次數至少是4 離散數學中關於平面圖的問題 10 這問題有人回答過了.我就不多敲字了哈 1 bai2...