保存重言性

保存重言性
术语名称	保存重言性
英语名称	tautology-preserving
别名	validity-preserving

保存重言性(tautology-preserving)指一个推理规则，应用于重言式时只能得到重言式。

反过来说，如果应用于某一可假的公式，即使在某个赋值下是真命题，在这个赋值下对应的结果不一定是真命题； 只有原公式在任意赋值下都是真命题时，得到的结果才在任意赋值下都是真命题。

证明论
形式化公理系统（形式化、公理化）
举例	公理系统、自然演绎系统
证明、演绎	证明、可证明、演绎、可演绎
命题、定理	公理、定理、元定理、变形规则
推理规则性质	保存真实性、保存重言性
公理系统性质	可靠性、完全性、一致性、独立性