The term tautology began to be applied to those propositional formulas that are true regardless of the truth or falsity of their propositional variables.
Термін тавтологія стала застосовуватися в тих висловлювань, формулах, які істинні незалежно від істинності чи хибності своїх пропозиціональних змінних.