Proposition is a tautology if for all valuations on .

Examples