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