1.　用語の定義と解説

1.2　論理演算に関係する用語

　通常は同語反復を意味します。例えば「猫は猫である」のような表現になることを言います。長い論理式でも結果が常に真になるものはやはりトートロジーですが、この場合には恒真式（コウシンシキ）：>と呼ばれます。論理法則として知られているものには、恒真式が多くあります。