Quantifier

In symbolic logic, there are two quantifier symbols, which refer to quantified expressions: ∀(universal), x (universal), and ∃ (existential). In categorical logic, there are two types of quantified claim: universal (affirmative and negative) and particular (affirmative and negative).