What is it?
In Discrete Mathematics, by definition, a proposition which is always true regardless of the value it contains, is a tautology.
In Discrete Mathematics, by definition, a proposition which is always true regardless of the value it contains, is a tautology.