短语词组短语identically -true 翻译identically true formula 永真式;[数]永真公式identically true proposition 恒真命题 返回 identically true