tautology

logical formula which is true in every possible interpretation

Categories: