AlgoSim
Homepage | Screenshots | Gallery of Visualisation | User's Guide | Function Reference | Download | FAQ | Support | Bugs and Solutions | Donate

Reference: EXISTS

∃(S, var, expr) returns true if there exists (at least one) element in the set S satisfying the boolean-valued expression expr in the variable var.

Example: S ≔ [1, 100]
         ∃(S, "n", "isPerfect(n)") = true