generalized excluded middle

The (classical) tautology .

It can be seen as a generalization of excluded middle through the equivalence .

It is stronger than excluded middle relative to minimal logic.