Основы математической логики Двойное отрицание в русском пример