How does the formula using the existential quantifier express that at least one tiger exists?

Created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

logic: universal affirmative — Modern logic Representations of the universal affirmative, “All A's are B's” in modern logic.

In modern logic, the existential quantifier, symbolized as $(\exists x)$ , is used to express that a property holds for at least one individual within a given domain.123

To express that at least one tiger exists, you first define a predicate—for example, let $T (x)$ represent the property " $x$ is a tiger." The formula is then written as:

$(\exists x) T (x)$

This is read as "There exists an $x$ such that $x$ is a tiger" or "Something is a tiger," where "some" is understood to mean "at least one". In this expression, $x$ is a bound variable that ranges over the universe of discourse, and the existential quantifier asserts that the set of things satisfying the predicate $T$ is not empty.24513