邏輯 Logic - 傅皓政

[视频作者] T97425

[视频时长] 1110:42

[视频类型] 校园学习

http://ocw.aca.ntu.edu.tw/ntu-ocw/ocw/cou/108S205/15 本课程旨在学习初阶逻辑（First-order Logic），涵盖语句逻辑（propositional logic）和述词逻辑（predicate logic）。十九世纪末，德国哲学家弗雷格（G. Frege）为解决数学基础问题，开创了现代逻辑，提供了强大的工具处理学科基本问题。尽管他遗留了许多哲学问题，但这些问题推动了现代逻辑的多样化发展。语句逻辑以语句为单位构建逻辑，述词逻辑则深入分析语句结构，具