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

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

一、命題 命題：陳述句，有唯一真值/非真既假（不一定知道） 簡單命題/命題常元：真值確定。 命題變元p：常用來表示命題。只有明確表示某個命題時才有具體的含意和確定的真值。 命題聯結詞/命題運算符：否定聯結詞┐、合取聯結詞∧、析取聯結詞∨、蘊含聯結詞→、與非聯結詞、或非聯結詞 p→q ...

一.實驗內容 （1）求任意一個命題公式的真值表。 （2）利用真值表求任意一個命題公式的主范式。 （3）利用真值表進行邏輯推理。 注：（2）和（3）可在（1）的基礎上完成。 二.實驗目的 真值表是命題邏輯中的一個十分重要的概念，利用它幾乎可以解決命題邏輯中的所有問題。例如，利用命題公式 ...

命題與聯結詞 命題：非真非假的陳述句 真值：只有唯一的真或假，作為陳述句的判斷結果 對於不能分解的命題稱作“簡單命題”或“原子命題”，可分的是復合命題 我們可以將命題符號化，用0表示假，用1表示真 我們可以將聯結詞符號化： 定義1.1 “非p”為p的否定式，記作 ...

Description 輸入命題公式的合式公式，求出公式的真值表，並輸出該公式的主合取范式和主析取范式。 Input 命題公式的合式公式 Output 公式的主析取范式和主合取范式，輸出形式為：“ mi ∨ mj ; Mi ∧ Mj” ，極小項和 ∨ 符號之間有一個空格，極大項 ...

命題：稱能判斷真假的陳述句為命題。 命題公式：若在復合命題中，p、q、r等不僅可以代表命題常項，還可以代表命題變項，這樣的復合命題形式稱為命題公式。 命題的賦值：設A為一命題公式，p ,p ,…,p 為出現在A中的所有命題變項。給p ,p ,…,p 指定一組真值，稱為對A的一個賦值或解釋 ...

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