Manuals/calci/THEREEXISTS

From ZCubes Wiki
Jump to navigation Jump to search

THEREEXISTS (SomeArray,SomeFunctions)

Description

  • THEREEXISTS returns the result of applying the set of SomeFunctions to SomeArray, if results evaluate to true for the array when the functions are applied.
  • This can also be represented by the notation ∃a("x<810") etc.

Examples

THEREEXISTS(1..100,"x<=0")

gives false

a=1..100;

[∀a("x<810"),∃a("x<810"),∄a("x<810")]

true true false

See Also

References