We have, not all represented by
~(x) and some represented
(∃x) For example if I say,
- Not all are animals.
- Some are animals.
Because we aren't considering all the animal nor we are disregarding all the animal. What would be difference between the two statements and how do we use them?