第二章 命題邏輯 1.→，前鍵為真，后鍵為假才為假；<—>，相同為真，不同為假； 2.主析取范式：極小項(m)之和；主合取范式：極大項(M)之積； 3.求極小項時，命題變元的肯定為1，否定為0，求極大項時相反； 4.求極大極小項時，每個變元或變元的否定只能出現一次，求極小項時 ...

一、格 假設(L, ≤)為偏序集，如果對於任意 a, b∈L ，{a, b} 都存在上確界和下確界，則稱 (L, ≤) 為一個格（lattice） 顯然上確界和下確界有唯一性 上確界LUB({a ...

一、圖的基本概念 無向圖可以用二元組G=<V , E>表示，其中E是無序積V&V的有窮多重子集。 無向圖中，所有頂點度數之和∑deg(v)=2|E|，即奇數度的頂點數必是偶數。 ...

一、謂詞與謂詞公式 謂詞：表示個體詞性質或相互之間關系的詞 量詞：用來表示個體數量的詞是 謂詞的量化：給謂詞加上量詞 一元目謂詞P(x)、n元目謂詞P(x, y, z, ...)它們是命題形式而非命題 因為既沒有指定謂詞符號P的含義，而且個體詞x、y等也是個體變項而不代表某個具體的事物 ...

這里是離散數學第一篇學習筆記 qwq，也是我嘗試使用 Markdown 記課上筆記的開始，離散數學是一門研究離散量的科學，是數據結構、算法設計的基礎，這里不僅有有趣的邏輯與集合，還會有“超級好玩”的群論和圖論等待你去探索。就讓我們一起暢游這“魔法”的世界吧！ 由於離散數學的知識較多，這里是 ...

1.數理邏輯 1.1命題邏輯 1.1.1命題定義和邏輯聯結詞   命題指的是具有真假意義（要么為真，要么為假）的一句話，它常以陳述句形式出現，而疑問句，感嘆句，祈使句等都不是命題。 你多大了？(疑問句，不是命題) 出來！(祈使句，不是命題) 今天真好！(感嘆句，不是命題 ...

離散數學知識點概述 目錄 1. 命題邏輯 1.1 命題符號化及聯結詞 1.2 命題公式及分類 1.3 等值演算 1.4 范式 1.5 聯結詞全功能集 1.6 組合電路 1.7 推理理論 持續 ...

數理邏輯是研究推理的數學學科，它首先完成是對現象的一種符號化處理，基於符號化處理，它在將着重於推理過程以及推理的結果。 命題： 稱所表達的判斷式真或假但不能可真可假的陳述句為命題。 命題的符號化： 一般使用小寫字母p、q、r、s來表示簡單的陳述句命題 ...