Universal and existential quantifiers (∀, ∃) (∀: for every x in the domain; ∃: there exists at least one x)
jee-advancedjee-main
∀: for every x in the domain; ∃: there exists at least one x
What each symbol means
| Symbol | What it stands for |
|---|---|
| x | Variable ranging over a stated domain |
| P(x) | Open sentence / predicate |
When to use this
First-order patterns as tested in JEE reasoning.