短语词组短語identically -true 繙譯identically true formula 永真式;[數]永真公式identically true proposition 恒真命題 返回 identically true