Inverted a should be pronounced as "for any", followed by the full name proposition. For example, (I won't beat A, I can use A instead), A x∈R, x x ≥ 0, which is read as "for any real number x, there is x x x ≥ 0", which is a true proposition. The negation of full name proposition is proper name proposition. For example, the negation of the above proposition is "x0 ∈ r, x0× x0 < 0", which means "there is such a real number x0 that satisfies x0× x0 < 0". If the above full name proposition is true, then its negation, that is, the special name proposition, must be false.