Difference between revisions of "Manuals/calci/FORALL"
Jump to navigation
Jump to search
| Line 16: | Line 16: | ||
gives false | gives false | ||
| + | a=1..100; | ||
| + | |||
| + | [∀a("x<810"),∃a("x<810"),∄a("x<810")] | ||
| + | |||
| + | true true false | ||
==See Also== | ==See Also== | ||
Latest revision as of 15:03, 4 February 2020
FORALL(SomeArray,SomeFunctions)
Description
- FORALL returns the result of applying the set of SomeFunctions to SomeArray
- This can also be represented by the notation ∀a("x<101") etc.
Example
FORALL(1..100,"z<=100")
gives true
FORALL(1..100,"z<=50")
gives false
a=1..100;
[∀a("x<810"),∃a("x<810"),∄a("x<810")]
true true false