Artificial intelligent assistant

Is "$\not\exists$" ("does not exist") a logic quantifier? > Is "$\not\exists$" a logic quantifier? We use it in Math and we are asked to say if it's logic quantifier or not. (You may not see it properly, but it's the standard existential quantifier "$\exists$" with diagonal from right upper corner to left bottom corner. It should mean that "it does not exist".)

Yes, it is a quantifier. You can write the equivalence

$$\
ot\exists a:p(a)\equiv\forall a:\lnot p(a).$$

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 76cde8beeaeedee5b447b0da5caa0850