05 / 18 · 看见命题结构
充分与必要：登记就一定能入场吗？
正确区分充分条件、必要条件与条件句方向。
先修衔接 非、且、或
前往练习 ↓带着这个问题读
“只有登记后才能入场”，是否表示登记就一定能入场？
单凭这句话，不能保证。登记是必须的，但也可能还需要有空位。必要条件是“少了它不行”，充分条件是“有了它就够”。必须具备，不等于单靠它就足够。
令 E 表示“允许入场”，R 表示“已登记”。“只有登记，才允许入场”写成 E → R：能入场就必须已登记。“如果登记，就允许入场”写成 R → E：登记就够了。承诺变了，箭头方向也变了。
一般地，P → Q 中，P 是 Q 的充分条件，Q 是 P 的必要条件。这个实质条件句只在“P 真、Q 假”时为假。T 表示真，F 表示假。做后面的真值表时，先找是否出现这组被禁止的组合，再反过来检查另一个箭头。“当且仅当”则要求两个方向都成立。
P 为假时，这个实质条件句在该赋值下为真，因为没有出现被禁止的组合。这个真值结果不证明因果关系、政策合理性或未来承诺。带时间或反事实含义的日常条件句，可能需要更丰富的模型。
一起拆一个例子
- 令 E 表示“允许入场”，R 表示“已登记”。“只有已登记才允许入场”给出 E → R。
- 设想一位已登记的来访者遇到满座：R 真，E 假。这不违反 E → R，因此原规则并没有保证每位登记者都能入场。
- 允许一个未登记者入场，才违反原规则：E 真，R 假。要额外保证登记后就能入场，还需要另一个方向 R → E。
轮到你了
0 / 3练习 1未检查
比较条件句与它的逆命题。
查看解析 · 不计作完成
- P=T, Q=T →
P → Q: T;Q → P: T - P=T, Q=F →
P → Q: F;Q → P: T - P=F, Q=T →
P → Q: T;Q → P: F - P=F, Q=F →
P → Q: T;Q → P: T
一真一假的两行能区分方向。在 F、F 行，两个实质条件句都为真。
练习 2未检查
“只有复核后才发布。”P = 发布；R = 已复核。要求是什么？
查看解析 · 不计作完成
P → R
已复核是发布的必要条件。其他要求没满足时，它仍可能不充分。
练习 3未检查
在一次赋值中，P 假、Q 真。P → Q 为真说明什么？
查看解析 · 不计作完成
这次赋值没有违反该实质条件句。
形式真值和经验因果解释回答不同的问题。
带回你自己的问题
把项目的两条要求改写为箭头，标出必要和充分条件，并注明箭头未表达的因果含义。