查看“︁保存重言性”︁的源代码

[[分类:证明论]]
{{InfoBox
|name=保存重言性
|eng_name=tautology-preserving
|aliases=validity-preserving
}}
'''保存重言性'''('''tautology-preserving''')指一个推理规则，应用于[[重言式]]时只能得到重言式。

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


{{证明论}}