Перевод отрицания из предиката в связку: примеры и схемы