恒真式

Noun

 * 1) tautology in logic