本質層大學
形式邏輯與論證分析
大學・本質層
用命題邏輯把論證形式化，區分「有效」（推理正確）與「健全」（推理正確且前提為真）。
一句目標 選一段政策論述，拆成前提和結論並補出沒寫出來的前提，寫成符號，判斷形式是否有效，無效時舉出反例，再逐條檢查前提，說出它是否健全。
家長檢核 不看本頁，說出有效和健全差在哪、為什麼有效的論證結論不一定是真的、怎麼用反例證明論證無效，並用自己選的政策論述說明它的形式和前提各有什麼問題。
情境
把一篇政策論述形式化，評估它是否有效、是否健全（本站建議）。
引導問題
- 一個有效的論證，結論一定是真的嗎？
- 怎麼證明一個論證無效？
- 把論證寫成符號，有什麼用？
學科路徑
哲學 / 思考方法 / 邏輯與論證
能力標籤
這是網站自己的專才／通才標籤，不是課綱代碼。
專才
論證
通才
跨域思考、溝通
人機分工
可以交給工具
- 協助轉換符號、檢查推導（每一步推導自己再檢查，本站建議）
要自己經歷
- 決定哪些前提值得接受
先備
- 演繹、歸納與溯因 · 本質層 · 高中
連結
跨學門關聯：數學（離散數學）、資訊（程式邏輯）
練習
目標：選一段政策論述，拆成前提和結論並補出沒寫出來的前提，寫成符號，判斷形式是否有效，無效時舉出反例，再逐條檢查前提，說出它是否健全。 檢核：不看本頁，說出有效和健全差在哪、為什麼有效的論證結論不一定是真的、怎麼用反例證明論證無效，並用自己選的政策論述說明它的形式和前提各有什麼問題。
在主線上的位置
內容授權
授權：待定。授權文字尚未公告。