離散數(shù)學速記速查手冊（獨立本科段 計算機應用專業(yè)）

第一章 命題演算
一、 基本要領及分析
命題
真值
原子命題
復合命題
連接詞
否定
合取
析取
條件
雙條件
命題符號化
命題公式
子公式
指派
重言式
矛盾式
可滿足式
替換實例
等價重言式
蘊含重言式
代入規(guī)則
置換規(guī)則
永真條件式
蘊含式的性質(zhì)
最小聯(lián)結詞組
質(zhì)合取式
質(zhì)析取式
析取范式
合取范式
小項
主析取范式
大項
有效結論
相容
二、 基本定理及證明
三、 經(jīng)典題例
第二章 謂詞演算
一、 其本概念及分析
個體
……
第三章 集合與函數(shù)
第四章 代數(shù)結構
第五章 圖論