1樓：匿名使用者
((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∧┐r)∨┐p∨r)∧(┐q∨(q∧┐r)∨┐p∨r)
<=> 1∧(┐q∨q∨┐p∨r)∧(┐q∨┐r∨┐p∨r)<=> 1
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)∨(非p∧r)∨(q∧r)
<=>(p∧q)∨(非p∧r)∨((p∨非p)∧(q∧r))<=>(p∧q)∨(非p∧r)∨(p∧q∧r)∨(非p∧r∧q)<=>(p∧q)∨(p∧q∧r)∨(非p∧r)∨(非p∧r∧q)<=>(p∧q)∨(非p∧r) (其中否定符號無法打出來，用「非」表示)
p<-->(q<-->r)
用等價等值式、蘊含等值式、分配律就可以證明
離散數學裡面的邏輯 等值演算,(p∧q)∨(p∧非q)..(非p∨q)∧(非q∨p).怎麼分配 求詳細..過程
4樓：星光下的守望者
用分配率:(p∧q)∨(p∧~q) = ((p∧q)∨p)∧((p∧q)∨~q) = p∧(p∨~q)=p
(~p∨q)∧(~q∨p) = ((~p∨q)∧~q)∨((~p∨q)∧p) = (~p∧~q)∨(p∧q) = (p→q)∧(p←q)
第2個是雙條件命題，我打不出符號，應該就是這樣了吧，用真值表也能看出來的
5樓：
(p∧q)∨(p∧非q)=p∧(q∨非q)=p∧1=p
(非p∨q)∧(非q∨p)＝(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p)＝(非p∧非q)∨0∨0∨(q∧p)＝(非p∧非q)∨(p∧q)
離散數學怎麼讀，離散數學符號讀法
連續的對應 就是反義詞 就是離散 離散就是不連續。例1 在生活中我們聽到的聲音是連續的，如人的說話聲，鳥叫聲等 而計算機裡儲存聲音的是離散的二進位制位元流，是經過抽樣，然後量化得到的離散資料。例2 我們在生活中，人眼見到的影象 非計算機裡的 是連續的，經過數位相機的拍照 抽樣和量化的過程 變成計算機...
離散數學的問題，離散數學的小問題？
證明 將這n個人作為n個結點，如果某兩個人認識，則這兩個人對應的結點之間存在一條邊，這樣就得到一個具有n個結點的無向圖，此時需證明的是，當n 3時該圖存在一個哈密頓路，n 4時，該圖存在一個哈密頓迴路，即該圖是哈密頓圖，下面給出證明。首先證明當n 3時該圖存在一個哈密頓路。設u,v是任意兩個結點，由...
離散數學的題目，離散數學題目的答案？
zzllrr小樂 這麼難的題目，懸賞分數為0，太摳了，步驟就不詳細提供了，提供一下關鍵思路 第1題 1 先把 e寫成合取形式。e a b c d 然後把含量詞公式代進去，求出前束正規化。2 把上面謂詞公式中所有存在量詞消去之後,得到該謂詞公式的skolem標準型 3 推理證明為假即可。第2題rp a...