假设可以借用，但要交还

带着这个问题读

假定 P 后证明了 Q，就等于无条件证明了 Q 吗？

要证明 P → Q，可以开启子证明，暂时假定 P。若在子证明中得到 Q，就关闭子证明，用条件引入（→I）得到 P → Q。结果是一个条件句，并没有确立 P 本身为事实。

在未关闭假设之下得到的行，通常依赖该假设，除非用适当规则解除这种依赖。子证明关闭后，内部各行不能被自由当作独立事实使用。证明中的作用域与公式中的作用域同样重要。

即使临时假设在现实中不真，仍然可以证明条件句。这是在推理某种可能性，不是在报告它已经发生。笔记中应区分永久前提与临时假设。