1樓：熊凝雲
常規做法是進行等值演算，過程有點麻煩。也可以用真值表，主析取正規化中的每一個極小項mj的下標對應的二進位制數(對於本題來說，就是三位二進位制了)就是命題公式的成真賦值。所以我們只要找出所有的成真賦值，轉換為十進位制數，就得到了所有的極小項。
p->r)∧(q->┐r)∧(r->(p∨q)) 為真，則p->r、q->┐r、┐r->(p∨q)都為真，一個蘊涵式的成假賦值是唯一的，就是前件為1後件為0時。所以p->r為真時，賦值不可能是100與110,q->┐r為真時，賦值不可能是011與111,┐r->(p∨q)為真時，賦值不可能是000,所以剩下的三個二進位制數是成真賦值，轉換為十進位制數是,所以主析取正規化是 m1∨m2∨m5
2樓：匿名使用者
好像不大需要吧，因為他們是數學的基礎，數理邏輯要牽扯到集合論，這兩科的話，先學集合論。如果你是高中生或大學生那就直接上吧；如果是初中生建議學一學數系的知識。
離散數學數理邏輯題
3樓：信碧萱
由於公式含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
注意：公式的真值表與主析取正規化(主合取正規化)可以相互唯一確定。
數理邏輯的產生
4樓：手機使用者
利用計算的方法來代替人們思維中的邏輯推理過程，這種想法早在十七世紀就有人提出過。萊布尼茨就曾經設想過能不能創造一種「通用的科學語言」，可以把推理過程象數學一樣利用公式來進行計算，從而得出正確的結論。由於當時的社會條件，他的想法並沒有實現。
但是他的思想卻是現代數理邏輯部分內容的萌芽，從這個意義上講，萊布尼茨可以說是數理邏輯的先驅。
2023年，英國數學家布林發表了《邏輯的數學分析》，建立了「布林代數」，並創造一套符號系統，利用符號來表示邏輯中的各種概念。布林建立了一系列的運演算法則，利用代數的方法研究邏輯問題，初步奠定了數理邏輯的基礎。
十九世紀末二十世紀初，數理邏輯有了比較大的發展，2023年，德國數學家弗雷格出版了《算術基礎》一書，在書中引入量詞的符號，使得數理邏輯的符號系統更加完備。對建立這門學科做出貢獻的，還有美國人皮爾斯，他也在著作中引入了邏輯符號。從而使現代數理邏輯最基本的理論基礎逐步形成，成為一門獨立的學科。
數理邏輯的體系
5樓：笨笨
數理邏輯的主要分支包括：邏輯演算(包括命題演算和謂詞演算)、模型論、證明論、遞迴論和公理化集合論。數理邏輯和電腦科學有許多重合之處，兩者都屬於模擬人類認知機理的科學。
許多電腦科學的先驅者既是數學家、又是邏輯學家，如阿蘭·圖靈、邱奇等。
程式語言學、語義學的研究從模型論衍生而來，而程式驗證則從模型論的模型檢測衍生而來。
柯里——霍華德同構給出了「證明」和「程式」的等價性，這一結果與證明論有關，直覺邏輯和線性邏輯在此起了很大作用。λ演算和組合子邏輯這樣的演算現在屬於理想程式語言。
電腦科學在自動驗證和自動尋找證明等技巧方面的成果對邏輯研究做出了貢獻，比如說自動定理證明和邏輯程式設計。
數理邏輯中→ 和╞之間的區別是什麼？
6樓：匿名使用者
前面那個符號是語言的一個組成部分，後面那個不是，只是一個方便的記號而已。一公式a,a可以包含前面那個符號，該公式a在某一個解釋i下為真，就弄個方便的記號，簡單記做i╞a 你得弄明白哪些東西屬於語言，哪些是對該語言的論述。 對於語言的解釋是不屬於語言的。
打個簡單比方，數字1，有人把它解釋成一個人，有人把他解釋成一棵樹，數字1就是語言，至於解釋根本和數字1沒有關係，你愛怎麼解釋怎麼解釋。
學集合論和數理邏輯分別需要什麼知識作基礎？
數理邏輯中的證明是恆真式和證明是充足可能式有什麼區別？請給出下面兩道題的解答。不勝感激！
7樓：郭敦顒
恆真式，就是正命題為真，逆命題也是真的；
充分可能式，正命題是真，逆命題不一定是真。
判斷下兩命題的正誤——
如果p→q是恆真式，p是充足可能，證明q是充足可能。
如果p→q是充足可能，p是恆真式，證明q也是恆真式。
在「如果p→q是恆真式」中，p→q 表示p蘊含q，p是前件，是條件，q是後件，是結果；而且反之，q→p，q蘊含p，q是前件，是條件，p是後件，是結果。
用集合符號表示為：p⊇q，並且q⊇p或p⊆q。
但在 「p是充足可能，證明q是充足可能」中，p和q都是以孤立事項出現的，p是充足可能是對於「什麼的」 充足可能呢？沒有給出；在「q是充足可能」中，同樣沒有指明q是充足可能是對於「什麼的」 充足可能。正像兩個手掌拍掌，一隻手掌擊拍空氣，卻不見另一隻手掌伸出，此即謂孤掌難鳴。
在「如果p→q是充足可能」中，p→q 表示p蘊含q，p是前件，是條件，q是後件，是結果；但反之，q→p，q蘊含p，卻並不一定為真。
而在「p是恆真式，證明q也是恆真式」中，同樣p和q都是以孤立事項出現的，並沒有給出p和q是恆真式分別是對於「什麼的」 恆真式，也是孤掌難鳴。
上兩命題的正確表達可能是——
1）如果p→q是恆真式，證明q→p也是恆真式。
2）如果p→q是充足可能，證明q→p也是充足可能。
8樓：譚玉豬
恆真式，就是逆命題也是真的。
充分可能式，正命題是真，逆命題不一定是真。
幾年前的東西，呵呵。
在概念模型中，實體集合對應於關係模型中的A元組B欄位C關係D
在關係模型的概念模型中，一個實體在關係中被表示為一個元組，實體集合就對應於元組的集合，而元組的集合就是關係。所以答案是c關係，而非元組，注意審題 實體集 entity set 是具體相同型別及相同性質實體的集合。相當於 元組 a 欄位是指列屬性，元組指一條記錄也就是一行，所以選a 你好！不太懂。僅代...
數理邏輯中的證明是恆真式和證明是充足可能式有什麼區別？請給出
郭敦顒回答 恆真式，就是正命題為真，逆命題也是真的 充分可能式，正命題是真，逆命題不一定是真。判斷下兩命題的正誤 如果p q是恆真式，p是充足可能，證明q是充足可能。如果p q是充足可能，p是恆真式，證明q也是恆真式。在 如果p q是恆真式 中，p q 表示p蘊含q，p是前件，是條件，q是後件，是結...
等號上方的三角形符合是什麼意思，數學中等號上面一個三角形什麼意思
在化學中是加熱的意思。是一種化學反應條件。如果不是這個語言環境，請追問 請採納.數學中等號上面一個三角形什麼意思 表示那是一個定義式，也可以表示成等號上加 def其他還有三條線等號，表示恆等式 等號上加點 後面是數值 表示近似值 等號上面的直線改為波浪線 後面是表示式 表示 泰勒 近似式 這個是 定...