1樓:匿名使用者
顯然不等價
比如,p(x,y)表示:x > y
∀xョy p(x,y)則表示:對所有的x,都至少存在一內個y,使得:x > y 成立容
ョy∀x p(x,y)則表示:至少存在乙個y,對所有的x都滿足:x > y
明顯是不一樣的
2樓:走進數理化
第一步:找出原子命題;
第二步:利用原子命題對原命題進行符號化且要求化成合取正規化;
第三步:用(步驟 命題 依據)的形式,書寫證明過程。
離散數學推理,求推理證明詳細說明
3樓:匿名使用者
這一題做不了,前提中沒有 t,推不下去。
4樓:零點一噸大師春
^(1)p^q 前提引入
(2)p (1)化簡
(3)q (1)化簡
(4)¬pvr 前提引入
(5)r (2)(4)析取三段論專
(6)¬qvs 前提引入
(7)s (3)(6)析取三段論
(8)r^s (5)(7)合取引入
(9)t->(r^s) (結論是正確的,前提無論是否屬正確,此推理都是正確的)
注意:如果乙個推理,其前提是錯誤的,那麼,無論其結論是否正確,都說此推理正確。
離散數學邏輯推理證明
5樓:匿名使用者
證明過程如圖,其中(3)用附加前提證明法,把結論中的前件引入。
6樓:宇宙機
p蘊含q等價於非p或q,用這個等價式和前提很容易得到結論
離散數學 推理與證明
7樓:於清琳
第2步把q當做前提條件能推出s,根據cp規則,說明q→s。
第一步把p當做前提條件能推出q→s,同理,有p→(q→s)。
離散數學推理證明的思路是怎麼樣的? 20
8樓:小樂笑了
思路就是,利用將結論中出現的命題變元,盡可能往前提條件中靠,
比如利用一些永真蘊含式、蘊含連線符的傳遞性等等
學神速來，離散數學證明蘊含式如圖，不能用推理理論
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理理論版是什麼意思？權 推理最方便，為什麼不用？前提 p q，r p，q 結論內 r 推...
離散數學等值式講解,離散數學等值式講解
這個事情你只要把合取看成是高中學的集合就好理解一點了,合取是求交集,析取是求並集。這樣想就會容易很多了。你多做一下題目記好工式就會好了。0合取1 0 1合取1 1 所以a合取1等價於a 怎麼說呢抄 從集合的角度看 合取就相當 析取就相當 a 1 a a 0 0 a 1 1 a 0 a 你可以先把a看...
關於離散數學中集合的問題，求解釋離散數學中的集合問題
主要是對概念理解不深刻。可數集也稱至多可列集，包括兩種集合，即有限集和可列集 可列集就是與自然數集等勢的集合 所以第乙個問題顯然了。第二個問題問得就不對了，你說的 b是可數集 這裡吧可數集和可列集等同了。a和b的笛卡爾積集是無限集 這裡無限集也是不正確的，無限集分為可數無限集和不可數無限集，無限 只...