Формулы математической логики Соответствие законам логики пример