Tautologous schema: A sentence schema such that it necessarily becomes a true sentence (tautology) when its variables are appropriately replaced.
Tautologous schema: A sentence schema such that it necessarily becomes a true sentence (tautology) when its variables are appropriately replaced.