negation of conditional

Мат. отрицание условного предложения