探索課程
全部課程
高中專區
關於我們
認識我們
使用條款
版權聲明
相關資源
歡迎捐款
常見問題
探索課程
文史哲藝
邏輯 (2020版)
邏輯 (2020版)
課程內容
課程簡介
資源下載
導論：什麼是邏輯？
命題與論證
命題邏輯語言
古典邏輯語意學
真值表法
函映完備性
真值樹法
公理系統
自然演繹法
傳統語詞邏輯
述詞邏輯語言
日常語言與邏輯語言
真值樹法 (述詞邏輯)
自然演繹法 (述詞邏輯)
常見的謬誤
函映完備性
來源1
來源2
小節 time code
00:00:00 Opening
00:00:16 函映完備性 (functionally complete)
00:10:01 具備函映完備性的連接詞集合
00:12:22 謝菲爾線 (Sheffer stroke)
00:17:31 選言標準式 (DNF)
00:23:25 連言標準式 (CNF)
00:27:22 極端範例
00:29:42 等值句式的 DNF 與 CNF
6_講義_函映完備性
PPTX
4.2 MB
展開單元內容
TOP
