1樓：我愛喝果汁
(1)(p→q)∧(┐
zhir→p)∧┐q p
(2)p→q t(1)i
(3)┐r→p t(1)i
(4)┐q t(1)i
(5)┐q→┐p t(2)e
(6)┐p→r t(3)e
(7)┐p t(4),(5)i
(8)r t(6),(7)i
不能用推dao理理論版是什麼意思？權
2樓：匿名使用者
推理最方便，為什麼不用？
前提：p→q，┐r→p，┐q
結論內：r
推理容如下：
1）┐q 前提引入
2）p→q 前提引入3）p 1）2）拒取式
4）p→q 前提引入5）q 1）3）假言推理得證。
離散數學蘊含式證明，第二題a問題，求解！ 10
3樓：小樂笑了
可以用邏輯恒等式來證明：
p→q ⇔ ¬p∨q
⇔ （¬p∨p）∧（¬p∨q）
⇔ ¬p∨（p∧q）
⇔ p→（p∧q）
怎麼做啊，證明蘊涵式 50
4樓：匿名使用者
第1小題 c∧d⇒d 簡化式 d⇒d∨
zhie 加法式 c∧d ⇒ d∨e ①前提dao三段論 (a∨b) → (c∧d) 前提 a⇒(a∨b) 加法式 a⇒c∧d ②前提三段論 a⇒d∨e 前提三段論 d∨e→g 前提 a⇒g 前提三段論 第2小題，看不清，太潦草了，最好打。
離散數學推理證明的思路是怎麼樣的？ 20
5樓：小樂笑了
思路就是，利用將結論中出現的命題變元，盡可能往前提條件中靠，
比如利用一些永真蘊含式、蘊含連線符的傳遞性等等
離散數學邏輯推理證明
6樓：匿名使用者
證明過程如圖，其中（3）用附加前提證明法，把結論中的前件引入。
7樓：宇宙機
p蘊含q等價於非p或q，用這個等價式和前提很容易得到結論
離散數學,推理證明,離散數學推理,求推理證明詳細說明
顯然不等價 比如,p x,y 表示 x y x y p x,y 則表示 對所有的x,都至少存在一內個y,使得 x y 成立容 y x p x,y 則表示 至少存在乙個y,對所有的x都滿足 x y 明顯是不一樣的 第一步 找出原子命題 第二步 利用原子命題對原命題進行符號化且要求化成合取正規化 第三步...
離散數學等值式講解,離散數學等值式講解
這個事情你只要把合取看成是高中學的集合就好理解一點了,合取是求交集,析取是求並集。這樣想就會容易很多了。你多做一下題目記好工式就會好了。0合取1 0 1合取1 1 所以a合取1等價於a 怎麼說呢抄 從集合的角度看 合取就相當 析取就相當 a 1 a a 0 0 a 1 1 a 0 a 你可以先把a看...
離散數學對學計算機有什麼用，離散數學對學習計算機有什麼用
離散數學是計算機專業的一門重要基礎課。它所研究的物件是離散數量關係和離散結構數學結構模型。由於數字電子計算機是乙個離散結構，它只能處理離散的或離散化了的數量關係，因此，無論電腦科學本身，還是與電腦科學及其應用密切相關的現代科學研究領域，都面臨著如何對離散結構建立相應的數學模型 又如何將已用連續數量關...