for all logical expression, you must type the keyword
for. Then the
for all pattern appears.
The general form of this logical expression is
for all x1, x2... xn in listX Expression(x1,...,xn). It means that for every
<x1,..,xn> from a list
listX an expression
Expression(x1, ..., xn) should be
For all example
To calculate the result, a selection of various `` combinations from a certain list is made. If such a selection cannot be made, it is considered that the formula was not calculated and the `for all` expression returns `true`. That is, if the list is empty, or of a smaller dimension than the vector ``, you will end up with a `true`, and the formula inside `for all` will not be calculated.