👉 In logic and mathematics, a redendum is a quantifier that represents "exists" or "there exists". It is often used in logical expressions to express the existence of something. For example, if we have an expression like: ``` ∀x (P(x) ∧ Q(x)) ``` Then the redendum would be set to `∃x P(x)`.
