n. (logic) a statement that is necessarily truen. useless repetition
n. 同义反复, 赘述( tautology的复数形式 ); 恒真命题