探索課程
全部課程
高中專區
關於我們
認識我們
使用條款
版權聲明
相關資源
歡迎捐款
常見問題
探索課程
文史哲藝
邏輯 (2020版)
邏輯 (2020版)
課程內容
課程簡介
資源下載
導論：什麼是邏輯？
命題與論證
命題邏輯語言
古典邏輯語意學
真值表法
函映完備性
真值樹法
公理系統
自然演繹法
傳統語詞邏輯
述詞邏輯語言
日常語言與邏輯語言
真值樹法 (述詞邏輯)
自然演繹法 (述詞邏輯)
常見的謬誤
真值樹法
來源1
來源2
小節 time code
00:00:00 Opening
00:00:16 語法蘊涵關係
00:06:05 兩種證明策略
00:15:31 真值樹的結構
00:19:10 真值樹的規則：基本類型
00:25:48 真值樹系統規則
00:49:36 有效論證實例
01:00:58 無效論證實例
7_講義_真值樹法
PPTX
4.5 MB
展開單元內容
TOP
