Тождественно истинные формулы: что это такое?