Заперечення тверджень з кванторами