网站首页 百科知识
【tautology】
中文：重言式
【释文】：数理逻辑中，在规定不考虑由量词构成的部分公式(不论其复杂程度)的真假情况下，仅由命题连接词的性质确定为永真的公式。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。