句法证明技术求助：如何句法证明(false => p)？尝试演绎定理未果

嘿，别着急，给你几个针对性的提示，帮你突破这个证明的瓶颈：

• 先确认你的命题逻辑公理系统里的核心公理：大部分经典系统都包含「爆炸原理」的公理，形式是 ¬A → (A → B)。如果你的系统里有这条，直接把A替换成false（注意false等价于¬true，或者本身就是一个原子假命题），就能直接得到false → p的结论。
• 尝试用演绎定理的反向思路：演绎定理说Γ ⊢ A→B等价于Γ∪{A} ⊢ B，那我们可以把目标转换成「从集合{false}出发句法推导出p」。这时候你可以利用系统里的矛盾推理规则——如果你的系统允许从一对矛盾命题（比如true和false）推导出任意命题，那你只需要先从false推导出true的否定，再结合矛盾推出p即可；或者有些系统里直接规定false可以推出任意命题，这一步就更直接。
• 结合恒真式p→p的话，可以试试归谬法公理：如果你的系统有(A→B)→((A→¬B)→¬A)这条公理，我们可以反向构造：假设false成立，然后假设¬p成立，结合false推出p，这样就得到了¬p→p，再结合p→p，就能推导出p，最后用演绎定理得到false→p。

内容的提问来源于stack exchange，提问作者WhizKid