離散數(shù)學(xué)第二版屈婉玲-全網(wǎng)聲音最溫柔的老師主講
?
命題邏輯1.1第一次講解1 P1 - 00:00
?【離散課程概述】
?產(chǎn)生于數(shù)學(xué)游戲
?數(shù)學(xué)語言學(xué)習(xí)與應(yīng)用：形式化邏輯思維認(rèn)識與解決問題、形式化證明
?知識表示與處理
?計(jì)算科學(xué)中的應(yīng)用
【學(xué)時(shí)分配】
主要在：
?數(shù)理邏輯（符號邏輯）
?集合論
?代數(shù)系統(tǒng)
?圖論
?
1.2講解1 P3 - 00:00
?【命題公式】（合式公式/命題形式/公式）
命題常項(xiàng)、命題變項(xiàng)（真值表可為0/1）
*歸納定義*：單個(gè)命題變項(xiàng)稱為合式公式/原子命題公式
?～的層次
單個(gè)命題變項(xiàng)為零層
經(jīng)過一次命題賦值運(yùn)算后增加一層
邏輯運(yùn)算取大
?～的賦值
固定命題的真值
?真值表：公式中所有命題變項(xiàng)組成的序列對應(yīng)的二進(jìn)制數(shù)字，從低到高寫出公式真值
【真值表練習(xí)】
【附：解答】
?
1.2講解2 P4 - 00:00
??
例1.5講解 P5 - 00:00
??
討論題課后習(xí)題第8題的講解 P6 - 00:00
??
習(xí)題講解直播（命題公式及其賦值... P7 - 00:00
??
第一章考試題目講解 P8 - 00:00
??
第二章 命題邏輯等值運(yùn)算 2.1講解1 P9 - 00:00
?【等值式】
?概念
*注*等值符號為元語言符號，注意與等號、等價(jià)號區(qū)分
?真值表表判斷～
?～演算（律、式）
1雙重否定2冪等3交換4結(jié)合
（關(guān)于合取析取的->）5分配6德摩根7吸收
8零（析取1合取0）9同一（析取0合取1）
10排中（析取非，得1）11矛盾（合取非，得0）
12蘊(yùn)含的等值式（A蘊(yùn)涵于B等值于非A析取B）
13等價(jià)的等值式（等價(jià)等值于相互蘊(yùn)含的合?。?/p>
14假言易位（逆否）15等價(jià)的否定等值式
16歸謬論（反證法：同一條件推出互否結(jié)論，則否定條件）
標(biāo)簽：
