こうしんしき

恒真式

表記・読み：こうしんしき

1. 1

   tautology

   名詞logic