離散數學數理邏輯題目如下，為什麼答案是a？求解釋
1樓：網友
蘊含式，要理解的是前件為假，則無論後件為真為假，整個蘊含式為真。只有前件為真而後件為假時，蘊含式才為念遊假。
題目中2是奇數顯然為假，所以c、d必定為真命題。
乙個公式的析取仔攜銷正規化不唯一是真隱枯命題。
所以，只有a是假命題。
2樓：網友
用a'表示非a.
a=ab+ab'=…凳轎。
可見乙個公式的析取正規化不唯一。
2是告粗氏偶數為真，乙個公式的析取襪散正規化唯一為假，所以選a.
可以嗎？
離散數學（一、數理邏輯）
3樓：科創
講義安排。第一講：數理邏輯。
第二講：集合論。
第三講：圖論。
第四講：代數結構。
第五講：排列組合與容斥原理。
第六講：母函碼鉛稿數與遞推關係。
第七講：典型例題和真題講解。
第一講：數理邏輯。
一、命題。稱能判斷真假但不能既真又假的陳述句為命題。
例1、判斷下列句子是否為命題。
1）8小於10
2） 是有理數。
3）2是素數。
4）x + y > 10
5）請把門開一開。
6）明年的勞動節和國慶節的晚上都是晴天。
7）21世紀末，人類將居住在太空。
此種題型的關鍵。
第一步判斷是否是陳述句（陳述句才能為命題）
第二部能不能判斷真假。
第三部是不是既真又假。
答案（1）真命題（2）假命題（3）真命題（4）不是命題（5）不是命題（6） 是命題（7）是命題（8）不是命題。
解答（1）（2）（3）（6）（7）是命題，（4）（5）（8）不是命題。
注意：命題必須為==陳述句==，不能為疑問句，祈使句，感嘆句，命題必須具有真激遲假值，但能判斷真假，並不意味著現在就能確定其實真還是假，只要它==具有能夠唯一確定的真假值==即可，如果命題的真值為真，則稱為真命題，否則稱為假命題，不能分成更簡單的陳述句的命題為==簡單命題或原子命題==，否則稱為==複核命題==
2、複合命題的聯結詞。
設p是任意命題，複合命題「非p」稱為p的==否定（非）==記遲孝為 p
設p和q是任意命題，複合命題「p且q」稱為p和q的==合取（與）==記為p q
設p和q是任意命題，複合命題「p或q」稱為p和q的==析取（或）==記為p q
設p和q是任意命題，複合命題「如果p則q」稱為==p蘊含q==，記為p q
設p和q是任意命題，複合命題「p當且晉檔q」稱為==p與q等價==，記為p q
注意：聯結詞的優先順序為： ，從左到右，如有括號，括號在先。
離散數學之命題邏輯
4樓：遊戲解說
一。五個聯結詞。
否定。合取。
析取。蘊含。
等價。1.文氏圖分析。
2.對於蘊含關係，只需要記住，只有前件為真後件為假，命題方為假。
二。命題公式與真值表。
1.真值表列表方法，左元素，右命題公式。
2.基本等價關係*
這些等價關係將幫助我們在後面的內容中，用於簡化公式為主合取（析取）公式。
故最重要的內容是。
德摩根律。蘊含式。
等價式。常用的方法還有。
雙重否定。等價否定。
假言異位。用於處理否定情況。
3.幾個重要的定理。
永真充要等價。
帶入定理。替換定理。
三個定理主要用於等價代換。
四。完備集。
將公式中聯結詞種類數壓縮到最小。
典型：布林代數系統。
五。標準型正規化。
析取式並。合取式交。
析取合取正規化中只含有析取式或合取式。
極小項：命題變元由合取聯結。
極大項：命題變元由析取聯結。
每個命題變元，只存在其本身或其否的情況中的一種，故每個命題均有2ⁿ個極大項與極小項。
又因為極小項析取聯結，故由相同命題變元組成的極小項集合中，任何兩個極小項都不等價。（要清楚等價的概念，就是兩個極小項至少有乙個變元互相取否，所以一定在某個取值下，真值不同）
同樣，我們可以知道，所有極小項的析取為永真公式（必有一極小項為真）
所有極大項的合取為永假公式（必有一極大項為假如全否的極大項為真，全真的極大項必為假）
主合取正規化：外析取內合取。
主析取正規化：外合取內析取。
求法：1.外部有蘊含聯結詞，蘊含式轉為析取。
2.用德摩根律將內部的合取析取按需求轉化。
3.真值表技術。
其中，分解式每個變元取腸取否與變元真假有關。列出真值表。
列出子公式分解表，由於主取公式永真或者永假。
極小項分解表，取僅有一組解釋為真的情況，做析取。
極大項分解表，取僅有一組解釋為假的情況，做合取。
以上其實就是對映。表。
六。公式轉換永真永假。
離散數學題，求解
5樓：
(1)是逆否命題，互為充要條件。是成立的，重言式。
2)非重言，可滿足。
3)命題成立，其否命題不一定成立。
離散數學推理題？
6樓：網友
我不知道自然推理系統中有什麼符號、什麼規則，但推理的道理應該是基本一致的。
定義謂詞：a（x）：x是有意義的命題；
b（x）：x是分析的命題；
c（x）：x是原則上可以證偽的命題；
d（x）：x是宗教命題；
我用符號【＠】分別表示【全稱量詞】；那麼：
前提：（1）：＠x（a（x）∧￢b（x）→c（x））；
2）：＠x（d（x）→（b（x）∧￢c（x））；
結論：（0）：＠x（d（x）→￢a（x））；
其實，由於本題只涉及全稱量詞，而且只有乙個變元，所以，完全可以用命題邏輯的方法解決：
1）：a∧￢b→c；
2）：d→￢b∧￢c；
證明：根據（1）
【￢a∧￢b）∨c】
【（a∨b）∨c】
【（b∨c）∨￢a】
【￢b∨c）→￢a】
【￢b∧￢c→￢a】
再利用（2）
【d→￢a】
證畢；你只需把上面的符號改成相應的謂詞，再在最前面加上量詞就可以了。
離散數學數理邏輯題
7樓：信碧萱
由於公式含3個命題變項，並且已知有3個成真賦值001，010，111，因而有5個。
成假賦值000，011，100，101，110。
成真賦值對應的極小項分別為m1，m2，m7，故主析取正規化為am1∨m2∨m7
成假賦值對應的極大項分別為m0，m3，m4，m5，m6，故主合取正規化為a
m0∧m3∧m4∧m5∧m6
注意：公式的真值表與主析取正規化(主合取正規化)可以相互唯一確定。
離散數學邏輯推理題，，求答案
8樓：摩羯天使很**
設p：張超是計算bai機系學du
生；q：李志是計算機系學生；r：王紅zhi是中文系dao學生s：王紅愛看回**。
前提：p∨q→r r→s 『s p結論：『答q
證明：『s 『r 『(p∨q) 『p ∧『q p 『q
離散數學題求解，離散數學問題求解
2 集合a a上關係，既不具有對稱性，又不具有反對稱性3 設a a上的所有關係 空關係，4 設a a上一共有2 3 2 2 9 512個不同的關係。假設小王不是文科生 如果小王不是文科生則他一定是理科生 得出小王是理科生 又小王是理科生則他的數學成績一定很好 因為小王數學成績不好,所以假設與條件矛盾...
離散數學集合問題，求解釋離散數學中的集合問題
一二 中只有一個元素x，而 中也只有一個元素，第一個是x，而第二個集合中的元素是一個集合，兩個集合沒有交集，也就是說 顯然一二是對的。三的話，x 包含符號不會打，就用這個了 x，那麼顯然x 四的話空集不含任何元素，所以自然不會有任何元素 5的話空集是任何集合的子集，所以對 6的話是一個單元集，其元素...
關於離散數學的問題，關於離散數學中集合的問題
不要緊張，到時候隨機應變就行了，只要該背的背了，該記的記了，而且到時候考試時靈活運用這些定律和公式，認真審題，遇到不會的先跳過不做，把會做的做了，再會頭去想，就一定不會太差。放鬆！我不知道什麼離散數學，但是可以用集合論的方法證明，你也太不學無術了，我離開大學10年了，尚且知道證明證明！具體過程不詳細...