* 《把数学说清楚》可选补充章

把理由讲清楚

怎样用逻辑立论、提问、反驳,并在发现问题后修正自己的主张。

  1. 前提①所有能被4整除的整数都是偶数。
  2. 前提②12能被4整除。
  3. 所以12是偶数。
图1论证把理由与结论连接起来;辩论时,我们也可以逐步检查这样的连接。

你在课堂上可能说过:“我不同意,因为……”从这句话开始,你就在提出理由。逻辑帮助我们看清:说的究竟是哪件事?理由够不够?别人提出的问题,击中了哪一步?

整章都可以跳过

本章不计入主教材的两周核心路线,后续数学内容也不依赖它。读过主教材的命题、条件和量词后,可以选读;这里会简短回顾用到的概念。

* 为基础应用;** 为证据与更长的推理;*** 为形式化视角。页面默认显示基础选读,关闭脚本时会显示全部内容。

建议分三轮:先读第1—3节,再读第4—6节,最后选择第8节的练习和短辩论。每轮可以安排约40—50分钟,并按讨论进度调整。挑战内容另选时间。

本章适用于日常讨论,也能作为辩论赛的逻辑基础。例子中的人物、调查和校园情境均为教学构造;它们不是现实研究结论,也不是某项比赛的评分规则。

先找出理由,再找出结论

论点是你要表达的主张。论据是用来支持主张的理由或证据。把理由组织起来,说明它怎样支持结论,这个过程叫论证。

在逻辑分析中,我们把作为出发点的陈述叫前提,把要从中得到的陈述叫结论。日常说话可能先讲结论,再说“因为”;分析时可以重新排列。

例1 · “我喜欢”与“大家应该”

“我喜欢下棋”只是表达自己的情况。“班级应该开设棋类活动,因为有不少同学希望参加”已经给出了一个理由。

不过,“有人想参加”是否足以支持“班级应该开设”?还要考虑场地、时间以及其他活动。一个理由可以有用,但还不足以独自决定结论。

“有效”检查的是什么?

演绎推理有效:不存在一种情况,使所有前提都真而结论却假。我们暂时接受前提,再检查结论能不能落空。

论证健全:演绎推理有效,而且前提事实上都真。英文分别是 valid 和 sound。先懂意思,再记名称。

例2 · 形式有效,前提有错

所有偶数都是4的倍数。
6是偶数。
所以6是4的倍数。

若前提都真,结论必须真,所以形式有效。但第一个前提是假话,这个论证不健全。

例3 · 结论正确,理由仍然不够

所有4的倍数都是偶数。
8是偶数。
所以8是4的倍数。

结论碰巧正确,但这个推理形式无效。把8换成6,前提仍真,结论就假了。

辩论时,不能只说“我觉得结论不对”。可以具体指出:“你的第一条前提不成立”,或者“即使接受这些前提,仍然得不到这个结论”。两者攻击的位置不同。

停一下 · 找到省略的前提

小林说:“这是一只鸟,所以它会飞。”他省略了什么?

展开解析

他似乎使用了“所有鸟都会飞”这条前提,但它不成立,例如企鹅不会飞。我们应先问:“你是否认为所有鸟都会飞?”确认对方的意思后,再分析,而不是替他添加一个他不接受的观点。

先确认两个人在讨论同一句话

数学题会说明“整数n”“三角形ABC”。辩论同样需要说明对象、时间和条件。

例4 · “限制手机”可能指不同的事

甲说:“上课时不应刷娱乐短视频。”

乙回应:“你竟然不允许学生用手机联系家长!”

甲谈的是上课时的一种用途,乙反驳的却是任何时候的全部用途。乙更换了主张,还没有回应甲原来说的话。

可以这样澄清:“你反对的是课堂娱乐使用,还是一切使用?紧急联系是否也包括在内?”把主张说得过强再攻击它,常被称为稻草人式反驳。

例5 · 一个词,中途换了意思

“参加社团是自由的,所以社团活动不应该有任何规则。”

前面的“自由”可能是可自行选择是否参加,后面却变成了参加以后不受任何规则约束。这两种意思不同,结论不能只靠同一个词来连接。

四个澄清问题

  1. 对象:说的是哪些人、哪些物品?
  2. 范围:说的是全部情况,还是某些场合?
  3. 词义:“有效”“公平”“自由”等词在这里是什么意思?
  4. 强度:主张“必然如此”,还是“通常如此”“值得尝试”?

定义要帮助讨论

不能为了赢,把“好办法”定义为“我提出的办法”,再说“我的办法当然好”。这只是把结论放进了词义,没有给出大家应接受的理由。

试着把主张说小一点、说清一点

把“学生不应该玩游戏”改成一个对象和条件明确、可以讨论的主张。

一种可讨论的改写

“在老师讲课时,学生不应该用手机玩与课堂无关的游戏。”这不是证明改写后的主张正确,而是把讨论对象缩小了。另一种改写可以谈作业时间或游戏时长,但应明确说明你改变了原主张。

有这个条件,结论就一定成立吗?

本章沿用主教材:P⇒Q表示“如果P,那么Q”;∼P表示“非P”;∧表示“且”;∨表示允许两者同时成立的“或”。其他教材可能写→和¬,应先看符号约定。

设P表示“这个图形是正方形”,Q表示“这个图形是长方形”。按通常的数学定义,正方形也是长方形,因此P⇒Q成立。

Q:长方形 P:正方形 边长2 长3,宽2
图2P的范围包含在Q里:从P能到Q,从Q却不能保证回到P。

P是Q的充分条件:有P就够了。Q是P的必要条件:有P就少不了Q。记住图中的包含方向,比只背“充分”“必要”更可靠。

已知P⇒Q,再知道……想得到……判断
PQ有效:正方形当然是长方形
∼Q∼P有效:不是长方形,就不可能是正方形
QP无效:肯定后件;长方形不一定是正方形
∼P∼Q无效:否定前件;不是正方形也可能是长方形

例6 · 学校规则中的必要条件

假设学校规定:“进入实验室的学生必须戴护目镜。”小明戴了护目镜,因此就一定可以进入吗?

不能这样推出。戴护目镜只是必要条件,还可能需要老师许可。除非规则另有说明,否则不能把“必须戴”读成“只要戴了就可以”。

例7 · 有一个办法,不代表只有这个办法

甲说:“如果采用办法A,就能解决排队问题。所以不采用A,排队问题就解决不了。”

即使前一句是真的,后一句也没有保证。可能还有办法B。可以问:“你证明了A有效,还是证明了所有其他办法都无效?”

动手检查 · 能否让前提全真、结论却假?

当前检查:P⇒Q,P;所以Q。

PQP⇒Q第二前提P结论Q检查
真真真真真前提全真,结论真
真假假真假前提未全真
假真真假真前提未全真
假假真假假前提未全真

有效:没有出现“前提全真而结论假”的一行。

这张表检查任意命题P、Q的推理形式,不是在统计现实中各种情况发生的次数。

图3前提没有全真的行不能反驳推理;真正的反例必须保住全部前提。

把几步理由接起来

如果P⇒Q,且Q⇒R,那么P⇒R。这是链式推理。例如:等边三角形⇒等腰三角形⇒三角形;这里“等腰”指至少两边相等。

在辩论中,长链条的每一环都需要理由。“加长学习时间⇒学得更多⇒成绩更好”并不是只要画上箭头就成立;每个箭头都可能受学习方式、疲劳等条件影响,需要证据支持。

“所有”“有些”“多数”,不能互相替换

∀读作“对每个”,∃读作“存在至少一个”。例如,“所有自然数n都有n+1>n”用∀;“存在一个偶质数”用∃。本章沿用主教材的约定:自然数从1开始。

主张什么才足以反驳?为什么?
所有质数都是奇数指出2是质数且不是奇数“所有”不允许有一个例外
存在一个偶质数需要说明不存在任何偶质数只列出3、5、7是奇数不够;事实上2已证明原主张为真
这个班多数学生支持方案A需要有关全班支持人数的证据一个反对者不够;多数允许有反对者

例8 · 把“每个人”改成“我认识的人”

甲说:“每个同学都喜欢足球。”乙说:“小安不喜欢足球。”如果小安属于讨论的那群同学,而且情况属实,这就是反例。

甲可以修正:“我刚才说得太满。我想说,我问到的几位同学都喜欢足球。”这句话弱了很多,不能再拿它当作“全班都喜欢”的依据。

否定一句话,不一定要否定到底

“不是所有人都支持”只要求找到一个不支持的人。它不是“所有人都反对”;不支持的人还可能保持中立。

∼(∀x P(x)) 等价于 ∃x ∼P(x)
∼(∃x P(x)) 等价于 ∀x ∼P(x)

第一行说:“并非每个都满足”,就是“至少有一个不满足”。第二行说:“一个满足的都没有”,就是“每个都不满足”。变量x的范围必须相同。

例9 · “没有证明”与“证明没有”

“目前还没人证明有人作弊”,并不等于“已经证明没有人作弊”。同样,也不能因为没有证明某人没作弊,就断定他作弊。

可以说“这个指控目前缺少支持”。这是对证据的判断,不是自动断定事实是哪一种情况。实际处理还需要适当的调查程序。

两个量词换顺序,主张可能变强

下面的“喜欢”只讨论表中的三个人和三项运动。

动手检查 · 每个人有选择,还是大家有共同选择?

“喜欢”表示该人与该项运动之间有对应关系。初始例子:甲喜欢足球,乙喜欢篮球,丙喜欢羽毛球。

人物足球篮球羽毛球
甲喜欢不喜欢不喜欢
乙不喜欢喜欢不喜欢
丙不喜欢不喜欢喜欢

真:每个人都至少喜欢一项运动。检查每一行,至少有一个“喜欢”。

假:存在一项运动,每个人都喜欢。没有一列全是“喜欢”。

用量词写下来

令L(x,y)表示“x喜欢运动y”。

∀x ∃y L(x,y):每个人可以各自找到喜欢的运动。
∃y ∀x L(x,y):先找到同一项运动,它让每个人都喜欢。

在这里,后一种情况能保证前一种情况,反过来不一定。你可以把“足球”这一列都改成喜欢,再观察。

图4每一行至少有一个“喜欢”,不保证存在一整列都是“喜欢”。

例10 · 把个人需要误说成共同需要

“每个学生都有一种适合自己的学习方式,所以存在一种学习方式适合所有学生。”

前一句允许不同学生对应不同方式,后一句要求同一种方式适合所有人。这一步换了量词顺序,不能直接推出。

“且”和“或”的否定也有用

例11 · 不兼具两个优点,不等于毫无优点

“这条路线并不是既短又安全”,意思是“它不短,或者不安全”,也可能两者都不满足。不能直接改成“它既不短也不安全”。

这是德摩根律:∼(P∧Q) 等价于 (∼P)∨(∼Q)。另一条是:∼(P∨Q) 等价于 (∼P)∧(∼Q)。

试着准确反驳

“每个参加棋社的同学都会下国际象棋。”反驳它,需要找到什么样的人?

展开解析

要找到一个参加棋社、但不会下国际象棋的同学。一个没参加棋社的人,无论会不会下棋,都不能作为这句话的反例。

结构是:否定“所有x,只要P(x)就Q(x)”,要找“某个x,P(x)且非Q(x)”。

指出哪里有问题,也说清楚这能说明什么

  1. 检查前提“你说全班都同意,可是小安明确表示不同意。”
  2. 检查推理“即使这个办法有效,也不能由此排除其他办法。”
  3. 检查结论“你调查了参加棋社的人,结论却说到了全校学生。”
  4. 报告结果“这条理由尚不足以支持你的结论。”
图5反驳可以击中不同位置;结论要与实际证明的内容一样强。

例12 · 推理有缺口,结论也可能是真的

假设大家都接受:“只要下雨,小林就会带伞。”甲看到小林今天带了伞,便断定今天下雨。

即使今天碰巧真的下雨,甲仍然使用了无效的“肯定后件”形式:小林也可能为了遮阳而带伞。指出推理没有保证,不能自动证明“今天没下雨”。

因此,辩论中可以承认:“你的结论可能成立,但这条理由还没有证明它。”如果自己进一步主张相反结论,也要提供相应的理由。

看见不一致,先确认条件是否相同

例13 · 什么才算矛盾?

“小安今天参加了这场比赛”和“小安今天没有参加这场比赛”,在人物、日期和比赛相同时互相矛盾。

“平时上课不使用手机”和“紧急情况下允许联系家长”则可以相容:前后条件不同。不能删去条件,再宣布对方自相矛盾。

若有人主张“任何情况下都不允许”,后来又接受紧急例外,就需要修改“任何情况下”这个范围。提出例外可以改进规则,但应明确承认原来的绝对说法需要调整。

排中律不保证你提出的两个选项已经够了

例14 · “不这样,就只能那样”

“学校如果不全面禁止手机,就只能让学生随时随地使用。”

两者之间还可以有:上课收好、下课按规定使用、紧急情况允许等方案。“不全面禁止”并不等于“完全不限制”。

排中律是P∨∼P:P成立,或者P不成立。它没有说“任何两个听起来相反的方案,必定有一个成立”。

例15 · “说话的人怎样”与“理由怎样”

“你上次考试没考好,所以你提出的班级活动方案一定不合理。”考试成绩没有直接检验这个方案。

但若一项统计来自某人,询问他怎样记录数据、是否漏记,是在检查证据的可靠性。不能把所有关于来源的提问都叫人身攻击。

用一句话准确回应

“你没能证明方案A不好,所以方案A就是最好的。”

一种回应

“没有证明它不好,不等于证明它最好。要说最好,还需要明确比较标准,并说明它如何优于其他可行方案。”

一场讨论可以怎样一步步变清楚?

下面的同学讨论:“学校是否应该全面禁止学生携带手机?”这是教学对话。我们先检查理由,不预设政策答案。

  1. 小林

    凡是可能分散注意力的物品,都应该禁止带进学校。手机可能分散注意力,所以应该禁止携带手机。

    逻辑观察:结构有效。争议集中在两个前提,尤其是第一条原则。

  2. 小安

    你说的“禁止携带”,包括关机放在书包里、准备放学后联系家长的情况吗?还是只禁止上课娱乐使用?

    用处:先确定范围,避免两人讨论不同方案。

  3. 小林

    我原本说的是全面禁止,包括你说的情况。

    用处:把隐含的范围说出来,才能检查是否过强。

  4. 小安

    那你是否也认为课外书可能分散注意力?如果认为是,按你的原则,课外书也应该全部禁止带入。你接受这个结果吗?

    用处:把同一规则应用到另一个对象,检查规则是否得到一致认可。

  5. 小林

    课外书确实可能分散注意力,但我不赞成全部禁止。看来“只要可能分心就禁止”说得太宽了。

    用处:承认这条前提需要修改。此时尚未决定手机政策。

  6. 小安

    手机有紧急联系的用途,所以任何限制都不应该有。

    注意:小安也把结论说得过强。“存在益处”不能独自推出“任何限制都不合理”。

  7. 小林

    我同意有这类用途。但保留紧急联系,和限制课堂娱乐使用,可以同时做到。我们能不能比较这些方案?

    用处:指出还有中间方案,避免只在“全禁”和“全放开”之间选择。

  8. 两人

    我们改为讨论:上课时如何管理手机,同时保留必要的联系渠道?还需要了解课堂干扰、联系需要和执行成本。

    阶段结果:原来的强主张得到修正;剩余分歧变成了可以进一步找证据的问题。

这场对话实际证明了什么?

它揭示了“凡可能分心的物品都应禁止”这条原则与小林的另一项判断不相容,也指出小安从“有益处”跳到“不应有任何限制”的缺口。

它没有证明某项手机政策必然最好。逻辑让分歧更清楚,接下来仍需事实、价值标准和方案比较。

第二个短例子:怎样接住反驳?

例16 · 图书馆是否应该延长开放?

甲:“延长开放会让一些同学更方便,所以应该延长。”

乙:“但老师需要额外值班,你考虑了吗?”

甲的较好回应:“你指出了我遗漏的成本。我的理由说明延长开放有一项好处,还没有说明它值得付出全部成本。我们可以比较每周开放一天与每天开放的方案。”

不充分的回应:“你反对延长,就是不关心同学。”乙提出成本问题,并不必然表明他不关心同学。

可以直接使用的提问句

  • “我先确认一下:你的主张是……,对吗?”
  • “你说的是所有情况,还是通常情况?”
  • “这个条件是足够,还是只是必需?”
  • “即使我接受这个事实,为什么就能得到后面的结论?”
  • “这个例子推翻的是哪一句话?”
  • “你愿意把原主张修改为哪一个更准确的版本?”

这些句子的作用是把问题定位清楚。回答者可以解释条件、补充证据,也可以诚实修正观点。把复杂问题硬压成没有前提的“是或不是”,可能反而妨碍澄清。

结论不要求“必然”时,还要怎样检查?

数学证明通常要求结论有严格保证。现实讨论还会说“更可能”“通常”“值得试行”。这类论证可能提供有分量的支持,却并不保证结论绝无例外。检查它们,需要学习证据、概率和因果。

调查了谁,结论就能说到谁吗?

例17 · 12人的问卷,能代表40人吗?

假设一个班有40人。小安只问了12位留在教室的同学,其中9人支持运动会增加跳绳项目。他宣布:“全班有75%的人支持。”

9÷12=75%,只能直接说明被问到的这12人中有75%支持。其余28人还不知道。实际全班支持人数可能少至9人,也可能多至37人。

可以追问:“这12人怎样选出来?没被问到的人是否有不同偏好?能否把其余同学也问一遍?”

如果样本选择得当,调查可以用来估计总体情况;但这种估计有不确定性,需要相应的方法。“多数”“通常”也需要明确范围,不能只凭印象。

一起发生,不等于一个造成另一个

例18 · 晨读与成绩

假设我们观察到:班里经常自主晨读的同学,平均成绩较高。能否立刻断定“晨读造成了全部差距”?

还可能是这些同学原本基础更好、学习更投入,既更愿意晨读,也会采用其他学习方法。观察结果可以提示问题,但还没有排除这些解释。

原有的学习投入 是否自主晨读 测验成绩 可能影响可能影响 晨读对成绩的作用待查
图6两个现象可能有共同原因;解释因果需要比较其他可能性。

可以寻找更公平的比较,了解原来的基础、其他学习安排等。仅仅增加一个“所以”,不会使观察自动变成因果证明。

从“是这样”到“应该这样”,中间缺什么?

例19 · 多数喜欢,就必须照做吗?

“全班多数人喜欢在午休时大声播放音乐,所以午休时就应该播放。”

即使调查结果是真的,结论仍需要一条原则,例如“只要多数喜欢,就应该照做”。这条原则是否忽略了其他同学休息的需要?

大家可以讨论如何考虑多数偏好、休息需要和可选方案。逻辑帮助把价值原则找出来,但不能仅凭人数就决定所有取舍。

把“应该”写进一个逻辑公式,不会让其中的价值判断自动成为事实。应当让别人看到:你的事实前提是什么,价值原则是什么,两者如何共同支持结论。

一次失败,推翻的是哪一种主张?

例20 · “必定有效”与“可能有帮助”

如果有人说“只要采用学习方法A,每个人的每次成绩都会提高”,一个符合条件却没有提高的例子就能反驳这句话。

如果说的是“在适当条件下,这种方法通常有帮助”,一个失败例子并不直接推翻它。但仍可追问:适当条件是什么?“通常”有多少?证据如何获得?

也不能不断添加没有根据的例外,让主张永远逃过检查。条件应清楚、稳定,并有独立理由。

把会认规则,变成会说理由

先独立回答,再打开解析。这里主要检查解释是否准确,不要求记住所有谬误的名称。挑战题另有星号。

练习1 · 有效与正确

“所有自然数都是偶数。3是自然数。所以3是偶数。”这个论证的形式有效吗?它健全吗?

答案与理由

形式有效:如果所有自然数都是偶数,3作为自然数就必须是偶数。但第一个前提为假,所以论证不健全。不要把“有效”理解为“前提与结论全都正确”。

练习2 · 必要不等于足够

“报名演讲比赛必须交申请表。小明交了申请表。所以他一定已成功报名。”缺少什么信息?

答案与理由

可能还需要满足报名时间、年级范围等条件。交表是必要条件,题目没有说它是充分条件。可以问:“是否还有其他条件?交表后是否需要确认?”

练习3 · 反例要符合前件

“所有参加美术社的同学都会画水彩。”小华不会画水彩。仅凭这一点,能否反驳原话?

答案与理由

还需要知道小华参加了美术社。反例应同时满足“参加美术社”与“不会画水彩”。若不属于讨论范围,就没有击中原主张。

练习4 · 否定“所有”

否定“每位同学都愿意参加合唱”,不要把话说得过强。

答案与理由

“至少有一位同学不愿意参加合唱。”不是“每位同学都不愿意参加”。

练习5 · 两句话一样吗?

“每个同学都有一本喜欢的书”与“有一本书是每个同学都喜欢的”,哪一句能保证另一句?

答案与理由

第二句能保证第一句:那本共同喜欢的书可以作为每个人的选择。第一句不能保证第二句,因为大家可能喜欢不同的书。

练习6 · 否定“且”

“这个方案并非既便宜又方便。”小林解释为“它又贵又不方便”。他的解释是否过强?

答案与理由

过强。正确的否定是“不便宜,或者不方便”,允许只缺少一个优点。并且“不便宜”是否能改成“贵”,还要看双方怎样划分价格范围;可能还有中等价格。

练习7 · 第三个方案

“要么每天布置很多作业,要么完全不布置作业。”给出至少一个没有被包括的方案。

答案与理由

例如每天布置适量作业,或按学习需要安排不同类型的练习。这两个选项没有穷尽全部可能。指出第三个方案,不等于已经证明第三个方案最好。

练习8 · 没反驳成功,就算证明成功吗?

“你没有找出这个公式的反例,所以这个公式对所有自然数都成立。”这一步有什么问题?

答案与理由

暂时没有找到反例,不等于已经给出了证明。若范围无限,检查许多个数仍可能漏掉例外。若范围是已知的有限集合,而且确实检查了全部对象,情况就不同;那可以构成穷举证明。

练习9 · 看似相反,是否矛盾?

某人说:“上课时一般不使用手机;紧急联系时可以使用。”仅凭这两句话,能否判定他自相矛盾?

答案与理由

不能。前一句有“一般”的限定,后一句可以是在说明例外。应问清规则适用的条件。若他说“任何情况下绝不允许”,又允许同一范围内的紧急情况,才需要修正这个绝对说法。

练习10 · 反驳的限度

甲用一项错误调查支持“延长图书馆开放”。乙发现调查记录有误。乙能直接宣布“所以图书馆不应该延长开放”吗?

答案与理由

不能。乙已经削弱了这项证据,但还没有证明反对延长的结论。可能存在其他支持延长的理由,也可能存在反对理由,需要继续比较。

** 练习11 · 一个反对者够吗?

全班40人。小林说“多数同学支持A”。小安找到一位反对者,就说小林错了。反驳是否充分?

答案与理由

不充分。多数允许少数反对。在40人中,“多数支持”要求超过20人支持。一个反对者只能推翻“全班所有人都支持”。也不能仅凭这一个反对者就反过来确认“多数支持”。

** 练习12 · 找出缺失的价值原则

“方案A能让比赛更快结束,所以应该选A。”除了事实真假,还要问什么?

答案与理由

需要问为什么“更快结束”足以成为选择标准,是否还要考虑公平、参与机会和比赛质量。可能的隐藏原则是“只要更省时间,就应该选择”,但这条原则仍需辩护。

小组活动 · 要不要试行周五延长开放?

题目:“班级是否应建议学校试行四周,在周五把图书馆开放时间延长30分钟?”以下是活动中共同接受的假设资料,不是真实调查:

  • 全班40人都回答了问卷,24人支持试行,16人不支持。
  • 其中15人表示自己计划至少去一次,但实际是否到场还不知道。
  • 图书馆需要安排一位老师,每个周五额外值班30分钟;是否有人愿意承担尚未确定。
  • 其他方案包括调整现有开放时段、只开放其中两个周五,或者暂不改变。

甲方尝试支持试行,乙方尝试反对或要求满足更多条件,第三人负责记录逻辑问题。讨论之后交换立场,练习为不同主张寻找最强的理由。

  1. 立论:各用一分钟说清结论、两个理由和需要接受的原则。
  2. 质询:各问两个问题,分别检查范围、条件、证据或价值标准。
  3. 回应:说明哪部分理由仍然成立,哪部分需要修改。
  4. 总结:列出共同接受的事实、仍有争议的原则和待查的信息。
给组织者的观察提示

支持方可以把24人的偏好、15人的计划当作需求证据,但不能说“全班都需要”或“15人一定到场”。反对方可以追问值班安排,但“尚未确定有人值班”不等于“绝对不可能安排”。

双方都应说明自己怎样权衡需求和成本。四周试行与永久实施不是同一主张,不能悄悄互换。活动没有预设胜方;有条件的支持、反对或暂缓判断,都可能得到认真辩护。

评价四项能力:主张是否清楚;理由是否支持结论;反驳是否准确;是否能诚实修正。声音大小和说话速度不代表推理质量。

我的论证检查单

可以在下面写自己的例子。页面不自动保存草稿;要保留,请填写后打印。打印会包含已经填写的文字。

几个符号,分别在说哪一层的事?

日常辩论没有必要把每句话都符号化。遇到条件复杂、容易换范围的论证,符号可以帮助我们把结构固定下来。

写法在这里表示什么要留意的区别
P⇒Q一个条件公式本章用⇒,有的书用→;按实质蕴涵解释
P⊨Q每一种使P为真的解释,也都使Q为真这是语义后承,检查所有相关解释
P⊢Q在指定证明系统中,可以从P按规则推导Q这是形式推导,必须说明所用系统

在经典命题逻辑中,P⊨Q等价于“P⇒Q在所有真假赋值下都真”。但P⇒Q在某一次赋值下为真,远远不够。

例21 · 假前件不是现实论据

把“4是奇数”作为P,“3是偶数”作为Q。二者都假,因此按实质蕴涵的真值表,P⇒Q为真。

这没有使Q变成真,也没有给出证明Q的现实证据。要用肯定前件的规则,还必须有P;这里只有条件命题成立,前件并不成立。

所谓“实质蕴涵悖论”常提醒我们:真值规则与日常“如果”携带的关联、原因或承诺并不完全相同。这里没有出现一个命题同时既真又假的逻辑矛盾。

把校园论证写成谓词形式

设讨论范围是可携带的物品。D(x)表示“x可能分散注意力”,B(x)表示“应该禁止把x带入学校”,m表示手机。

前提① ∀x [D(x) ⇒ B(x)]
前提② D(m)
结论  B(m)

符号使我们看见:①是全称原则;②是关于手机的判断;两者一起支持结论。若某件物品b满足D(b)但不满足B(b),那么它就与前提①冲突。

这里把“可能分散注意力”和“应该禁止”各当作完整谓词,没有进一步研究“可能”和“应该”的内部逻辑。形式化总有建模范围,不会自动替我们回答所有现实问题。

进一步的逻辑课程还会研究证明系统、可靠性(soundness)与完备性(completeness)。这些是关于形式系统的性质;与前面评价一个具体论证是否健全,层次不同。本补充章不要求学习这些定理。

用一次讨论,检查四种能力

我能做到什么对应的逻辑知识可以问的一句话
准确重述对方主张定义、论域、量词“你说的所有人,包括谁?”
检查理由能否保证结论条件、必要与充分、有效推理“前提都真时,结论还可能假吗?”
给出击中原话的反驳否定、反例、矛盾“这个例子满足前件吗?”
正确报告讨论结果论证失败与结论为假的区别“我证明了它错,还是只指出理由不够?”
** 评价现实论证样本、因果、价值原则“还有什么解释或取舍?”

给教师与家长

本章的重点是让学生愿意把理由说出来,并学会准确修改。可以先选偶数、三角形等结论清楚的例子,再进入政策没有唯一预设答案的校园问题。

当学生指出错误时,继续问:“你现在究竟得到了什么结论?”当学生被反驳时,允许他说:“我收回‘所有’,改成‘有些’,但这也意味着我要重新组织理由。”

基础选读所需的条件、量词和否定规则,都在本章作了回顾。第7节与第9节不构成其他基础小节的前置条件。练习11—12也独立标为挑战。

辩论赛还涉及赛制、时间、表达和分工。本章只提供逻辑与论证基础;活动中的时长是练习安排,不是正式赛制规定。

配套阅读:主教材:逻辑部分;主教材:直接证明与证明方法。

本章为原创中文教学补充,沿用主教材的符号与分级。它不是《Book of Proof》的原有章节或译文。校园情境、人物对话、问卷数字和练习均为教学构造;涉及现实方案时,应另行核实证据。

编写日期:2026年11月3日。

复习主教材:逻辑 · 继续主教材:3.1 直接证明 → · 返回补充章入口