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

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

命題邏輯 命題與公式 1.命題 一句有真假意義的話（陳述句），記作P。不能是悖論、祈使句、疑問句、感嘆句 命題的否定：記以 \(\lnot\)P 2.析取 P\(\lor\)Q 讀作“P或Q” 真值規定：P\(\lor\)Q是真的當且僅當P，Q中至少有一個是真的。注意可兼或。 3.合取 P ...

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

什么叫“離散”？離散，就是和連續相反的。隨便拿一堆東西，如大到宇宙，小到粒子團，若其整體中的元素是獨立的，分開的，則叫“離散”。計算機是不能處理連續信息的，這是由計算機的本質：0和1，決定的。正因為這樣，如果要借助計算機來處理連續的東西，其中有一個必須的步驟：離散化。 “離散數學”是什么？它是 ...

這里是離散數學圖論的學習筆記，然而由於學校的關系跳過了集合論、序偶、二元關系等一些可能運用到的基礎知識，所以可能數學符號和表述方面會有一些問題 qaq \[\newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert ...

一階謂詞邏輯表示法 命題 一個非真即假的陳述句 謂詞 一般形式：P(X1, X2, ..., Xn) P是謂詞名，X是個體 個體可分為： 個體是常量： 個體是變元： 個體是函數：（個體到另一個體的映射） 個體是謂詞： 謂詞公式 連接詞 合取 ...

若p為假，則q可取真或假，p->q為永真 若p為真，q為假，則p->q為假 若p為真，q為真，則p->q為真 p q p->q ...