Тождественно истинные формулы: логика и примеры