Extended data:
In some full-name propositions, full-name quantifiers can sometimes be omitted. For example, a prism is a polyhedron, which means that "any prism is a polyhedron."
1, "person", "for any word, it is logically called a full-name quantifier, for"? "This proposition is called full name proposition and full name quantifier proposition.
For M(x), p(x) holds. x∈Mp(x)
Reading: For any x in m, p(x) must be correct.
2. Words like "You Yi" and "At least one" are called existential quantifier logic, which means "?" , which contains a paper called Thesis.
M has at least one x, which makes p(x) hold. x∈Mp(x)
It can be understood that an x belongs to m, so p(x) holds.
The phrases "for all" and "for any one" are usually called full-name quantifiers in Luo Du Series Records. (Capital "a" is upside down, upside down, upside down, upside down, upside down, upside down, upside down, upside down, upside down, upside down, upside down, upside down) It means a is the abbreviation of Shu "any" in English. The proposition with universal quantifier is called universal proposition, and the negation of universal quantifier is existential quantifier.
For example, the full-name proposition "p(x) holds for any x in m" can be abbreviated as
X∈M, p(x), pronounced as "p(x) holds for any x belonging to m."
Definition: The phrases "some", "at least one", "one" and "existence" all mean individuals or parts. Such words are called existential quantifiers. Use the symbol "?" (the reverse "e") means
Propositions containing existential quantifiers are called special propositions.
Special proposition "There is an X in M, which makes p(x) hold". Jane wrote:? x∈M，p(x)
Read: there is an x that belongs to m, which makes p(x) hold.