搭出逻辑反例
尝试搭一个满足前提却推翻结论的模型，检验结论是否必然。
成人组织建议：约9–12岁 · 逻辑与规则 · 语言与叙事 · 合作与沟通
- 人数
- 每组3人
- 时间
- 15–20分钟
- 材料及数量
- 三个对象行、P/Q是非属性卡、三组前提/结论卡、模型表。
30人十组三人，每卡换搭者/前提核者/结论核者。
准备
论域恰三个虚构对象1–3，每个可有P、Q、都有或都无。“所有P是Q”指每个P也有Q，不保证有P存在；“有些”指至少一个；“没有P是Q”指不同时具两属性。不要用学生性别、能力或社交圈作属性。
玩法
逐卡读前提与待验结论。欲示结论不必然，就给三对象配P/Q，使所有前提真、结论假。先分别核前提再说反例。若说必然，要说明为何任何满足前提者都不能反例，不能因一时找不到就宣布成立。
核对例子
卡1：所有P是Q，且有Q存在，问所有Q是否P。可设1两者都有、2仅Q、3都无，前提真而2反驳结论。卡2：没有P是Q且有P，结论有P非Q必然，因为既有P必须无Q。卡3仅所有P是Q，结论有P是Q不必然，三个都无即反例。
结束与核查
三卡各记有效模型或必然理由即结束。教师对三对象64种P/Q赋值核查；学生不用穷举，也不把有限核查称为任意无限论域全部命题证明。始终区分某模型为假与在前提下绝不可能。
组织调整与边界
30人十组三人，搭模型、核前提、核结论轮换。约9–12需较多语言支持，哲学源仅形式背景非儿童实测。用具体三行表，可口述。不从符号反例测人的诚实、性格或诊断能力。
目的：尝试搭一个满足前提却推翻结论的模型，检验结论是否必然。
活动内练习：保持所有前提真再验结论，不偷改规则。
成人观察：问哪对象反驳哪全称，及是否明说存在。
机制与改编：本站使用有限论域量词命题反例机制；例子与工作表独立编写，此处未核实最早发明者。
参考核查于2026年10月25日：Stanford Encyclopedia of Philosophy · Quantifiers and Quantification — 量词与满足的形式背景；本站三对象题与穷举独立，来源不是儿童验证活动。
目标指活动内可观察行为，不是已测长期提升或机构背书。
免费替代：用纸、干净废纸板和笔即可；可手抄本页图表，不需购买专用套装。
打印材料
先看预览，100%比例打印，关闭浏览器页眉页脚。剪裁请使用合适工具，主持答案页另收好。本页为手动桌面材料，无在线对手、自动裁判或求解器。
玩家逻辑任务卡
恰三虚构对象，有些=至少一；所有本身不保证存在。
玩家三模型表
卡1
| 对象 | P? | Q? |
|---|---|---|
| 1 | ____ | ____ |
| 2 | ____ | ____ |
| 3 | ____ | ____ |
卡2
| 对象 | P? | Q? |
|---|---|---|
| 1 | ____ | ____ |
| 2 | ____ | ____ |
| 3 | ____ | ____ |
卡3
| 对象 | P? | Q? |
|---|---|---|
| 1 | ____ | ____ |
| 2 | ____ | ____ |
| 3 | ____ | ____ |
主持／教师核解·另收
30人十组三人，每卡换搭者/前提核者/结论核者。
三个对象行、P/Q是非属性卡、三组前提/结论卡、模型表。
答案页另收。带领前读完整网页规则并预览材料，允许暂停、跳过与代写。
卡1不必然：1都有、2仅Q、3都无。卡2必然：存在P且它必无Q。卡3不必然：三者都无。先核前提再核结论。
| 卡 | 满足前提模型/64 | 其中结论假 |
|---|---|---|
| 1 | 26 | 19 |
| 2 | 19 | 0 |
| 3 | 27 | 8 |
同三对象中的新前提核对 · 独立玩家练习
| 卡 | 对象1 | 对象2 | 对象3 | 必然否 |
|---|---|---|---|---|
| ________ | ________ | ________ | ________ | ________ |
| ________ | ________ | ________ | ________ | ________ |
| ________ | ________ | ________ | ________ | ________ |
同三对象中的新前提核对 · 主持核对
卡1必然，有P即Q与无Q矛盾。卡2非必然：对象1双有、2仅P、3均无。卡3非必然：1仅Q、余均无。64有限模型核这几条，不泛称任意域证明。
相关活动
同三对象中的新前提核对
原三卡保留，下面独立新卡仍恰三虚构对象、同P/Q含义，先前提后结论。破前提的反例不有效。