逆定理数学定理逆定理是将某一定理的条件和结论互换所得命题也是一个定理，那互换之后的定理就是原来定理的逆定理。(即如果一个定理的逆命题能被证明为真命题，那么它叫做原定理的逆定理)。这两个定理叫互逆定理。中文名逆定理外文...

真命题数学概念真命题（true statement）是一种逻辑学术语。任何命题的真值都是唯一的，称真值为真的命题为真命题。中文名真命题外文名true statement学科数学属性一种逻辑学术语命题的真值真或假释义真...

重言式逻辑学术语重言式（Tautology）又称为永真式。重言式状态词经历了一个语法化过程:由开放的词类降格成为封闭的词类,由实词逐渐虚化为没有实在意义的构词后缀。中文名重言式外文名Tautology别名永真式数学符...