tautology

logical formula which is true in every possible interpretation

Катэгорыі: