交互课程 · 18 课
逻辑学：从论证到证据
听起来有道理，不代表真的推得出。从一段论证、一个反例开始，学会分辨两者。
开始第 1 课
无需形式逻辑基础
学完之后，要能做到什么
忠实还原主张，检验结论是否推出，亲手构造反例，为简短证明提供依据，并把科研证据与过度推断分开。例子来自日常决策、软件和研究，AI 是应用之一，不是整门课的主题。
01
读懂论证
主张是什么，理由又是什么？
02
看见命题结构
一条规则允许哪些组合？
03
尝试推翻推理
前提全真时，结论能否为假？
04
走进对象与关系
谁的“所有”？谁的见证？
05
交代证明的每一步
这一步凭什么，依赖什么假设？
06
面对不确定的证据
证据支持什么，又留下了什么？
这一版不承诺什么
这是一门入门课，不是完整的大学逻辑学课程。暂不覆盖完整一阶证明演算、完备性定理、模态逻辑或整门统计学。练习记录不是证书，课程也尚未经过真实学习者研究检验。
先作答，再看解析。下一轮没用提示的正确答案，仍值得隔一段时间再检验，而不是当成永久掌握。本地复习提醒采用简单的 1 天或 3 天间隔，不是经过验证的自适应学习模型。
用 AI 辅助本课时，怎样保留独立判断？
先保留自己的回答，再记录 AI 候选；逐条检查来源、计算、推理与条件，写出采用或拒绝的理由。最后换一个情境独立作答。完成核查练习后，把方法用回本课任务。
练习完整核查流程并保存记录我的学习状态
由你手动标记，不依据页面访问或自动判定掌握。中英文共用状态，练习答案仍由各课保存。此处备份仅包含状态，不包含答案或笔记。