Difference between revisions of "Manuals/calci/THEREEXISTS"
Jump to navigation
Jump to search
| (2 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | |||
| − | |||
| − | |||
==THEREEXISTS (SomeArray,SomeFunctions) == | ==THEREEXISTS (SomeArray,SomeFunctions) == | ||
| − | |||
==Description== | ==Description== | ||
| Line 10: | Line 6: | ||
*This can also be represented by the notation ∃a("x<810") etc. | *This can also be represented by the notation ∃a("x<810") etc. | ||
| − | == | + | ==Examples== |
| − | + | THEREEXISTS(1..100,"x<=0") | |
| − | |||
| − | |||
| − | |||
| − | |||
gives false | gives false | ||
| + | a=1..100; | ||
| − | + | [∀a("x<810"),∃a("x<810"),∄a("x<810")] | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| + | true true false | ||
==See Also== | ==See Also== | ||
*[[Manuals/calci/FORALL| FORALL]] | *[[Manuals/calci/FORALL| FORALL]] | ||
| − | |||
*[[Manuals/calci/THEREDOESNOTEXIST| THEREDOESNOTEXIST]] | *[[Manuals/calci/THEREDOESNOTEXIST| THEREDOESNOTEXIST]] | ||
*[[Manuals/calci/THEREEXISTSONE| THEREEXISTSONE]] | *[[Manuals/calci/THEREEXISTSONE| THEREEXISTSONE]] | ||
Latest revision as of 01:56, 10 February 2020
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