héng zhēn shì

恒真式．トートロジー．変項の値のいかんにかかわらず常に真であるような論理式．

〈関連〉套套逻辑

〈英語〉tautology