第二章 命題邏輯 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：常用來表示命題。只有明確表示某個命題時才有具體的含意和確定的真值。 命題聯結詞/命題運算 ...

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

一、關系的運算 笛卡爾積/直積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+對除法運算不封閉（除法不是正整數集合上的二元運算） ...

1謂詞 1.1引入 在研究命題邏輯中，原子命題是命題演算中最基本的單位，不再對原子命題進行分解，這樣會產生兩大缺點： （1）不能研究命題內部的結構，成分和內部邏輯的特征； （2）也不可能表達兩個原子命題所具有的共同特征，甚至在命題邏輯中無法處理一些簡單又常見的推理過程。 例如 著名 ...