tautology

logical formula which is true in every possible interpretation

Kategorie: