Negative proposition of full name proposition or full name proposition. This is not a special proposition.
pass by
Full name quantifier:
The phrases "to everyone" and "to anyone"
Logically, it is usually called a full-name quantifier, used together? (upside down capital "a") means,
Definition of full name proposition:
A proposition that contains a full-name quantifier is called a universal proposition.
Definition of special proposition: the proposition form of "some s is p" or "some s is not p" is called special proposition.
Special propositions have the meaning of existence.
get
The negation of the full name proposition is the special name (existence) proposition.
Negative proposition of full name proposition or full name proposition.
For example:
Original proposition: A is B for everything;
There is no proposition: A is not everything B;
Negative: there is a but no B.