1樓：匿名使用者
這一題做不了，前提中沒有 t，推不下去。
2樓：零點一噸大師春
^(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) (結論是正確的，前提無論是否屬正確，此推理都是正確的)
注意：如果一個推理，其前提是錯誤的，那麼，無論其結論是否正確，都說此推理正確。
離散數學推理證明的思路是怎麼樣的？ 20
3樓：小樂笑了
思路就是，利用將結論中出現的命題變元，儘可能往前提條件中靠，
比如利用一些永真蘊含式、蘊含連線符的傳遞性等等
離散數學 推理與證明
4樓：於清琳
第2步把q當做前提條件能推出s，根據cp規則，說明q→s。
第一步把p當做前提條件能推出q→s，同理，有p→(q→s)。
離散數學邏輯推理證明
5樓：匿名使用者
證明過程如圖，其中（3）用附加前提證明法，把結論中的前件引入。
6樓：宇宙機
p蘊含q等價於非p或q，用這個等價式和前提很容易得到結論
離散數學，推理證明，
7樓：匿名使用者
顯然不等價
比如，p(x,y)表示：x > y
∀xョy p（x，y）則表示：對所有的x，都至少存在一內個y，使得：x > y 成立容
ョy∀x p（x，y）則表示：至少存在一個y，對所有的x都滿足：x > y
明顯是不一樣的
8樓：走進數理化
第一步:找出原子命題;
第二步:利用原子命題對原命題進行符號化且要求化成合取正規化;
第三步:用(步驟 命題 依據)的形式，書寫證明過程。
離散數學證明01是不可數的
書上不是有個經典證明嗎 假設可數，0.a11 a12 a13 a14.0.a21 a22 a23 a24.0.an1 an2 an3 an4.作0.ax1 ax2 ax3.ax1不等於a11，ax2不等於a22，ax3不等於a33。則0.ax1 ax2 ax3。不可數，即 0,1 間實數不可數 離散...
離散數學問題 求1,2,3,4,6,12（a,b）a整除b的覆蓋關係。可以的話
哈斯圖是 覆蓋關係 12覆蓋4 6 4 6覆蓋2 6覆蓋2 3 2 3覆蓋1 最大相容類，是針對相容關係 自反 對稱 取得的最大集合 集合內元素，都是相容關係，而且不能新增另外的元素了，否則就不相容了 離散數學題設a 1,2,4,6,8,12,24 在a上定義整除關係r。1 證明r是a上 hasse...
數奧推理題。急求詳細答案分析
1.a和中國人是醫生。a不是中國人 2.e和法國人是教師 e不是內法國人,e不是中國人,a不是法國人3,c和日本容人是警察。c不是日本人,a不是日本人,e不是日本人,c不是中國人,也不是法國人4.b和f曾經當過兵,而德國人從未當過兵 b,f不是德國人 5.英國人比a年齡大,德國人比c年齡大。a不是英...