真值表自动构造器 · ((P→Q)∧P)→Q

像 Excel 填表：先列出输入列，再一列一列算出来 —— 最后一列「全绿」，就是永真式。

P Q P→Q (P→Q)∧P ((P→Q)∧P)→Q
✅ 最后一列全部为 T ⟹ 重言式（永真式），即有效的假言推理 modus ponens 记住：真值表像 Excel —— 最后一列「全绿」就是永真。
真 T 假 F 本步来源列 本步新算列