Это преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения