If one uses a classically rigorous definition of a tautology, the answer is yes. Classically, a tautology is a statement that is necessarily true by the classical laws of logic (identity, non-contradiction, excluded middle). So, statements such as “if the grass is green then the grass is green” and “all bachelors are unmarried men” are […]