How does the existential quantifier represent the claim that at least one tiger exists?

In the context of the history of logic, the existential quantifier, symbolized as $(\exists x)$, is used in predicate logic to assert that at least one individual within a given universe of discourse possesses a specific property.12

To represent the claim that "at least one tiger exists," you would first define a predicate, such as $T(x)$, to represent the property of being a tiger. The existential quantifier is then applied to the variable $x$ to indicate that there is at least one instance for which the predicate holds:12

$(\exists x)T(x)$

This formula is read as "there exists an $x$ such that $x$ is a tiger" or "there is at least one tiger". In this logical framework, the quantifier functions as the counterpart to ordinary language terms like "something" or "some," where "some" is strictly understood to mean "at least one".12