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

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

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

一、關系的運算 笛卡爾積/直積A×B={(a , b) | a∈A且b∈B}，對於∩和∪都滿足分配性。 A×B=B×A ⟺(A=∅)∨(B=∅)∨(A=B) R⊆A×B，當(a , b)∈R時稱 ...

一、代數結構 函數f : A×A→A稱作A上的一個二元運算，通常寫作〇(a,b)或a〇b。 此時運算表中的每個元素都屬於A，稱A對f封閉。例如Z+對除法運算不封閉（除法不是正整數集合上的二元運算） ...

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

一、謂詞與謂詞公式 謂詞：表示個體詞性質或相互之間關系的詞 量詞：用來表示個體數量的詞是 謂詞的量化：給謂詞加上量詞 一元目謂詞P(x)、n元目謂詞P(x, y, z, ...)它們是命題形 ...

離散數學 數學語言與證明方法 集合 冪集 運算 交集 並集 相對補集 絕對補集 對稱差集 運算律 交換律 結合律 分配律 德摩根律 恆等式 證明方法 ...