For all

To create for all logical expression, you must type the keyword for. Then the for all pattern appears.

for all

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 true.

For all example

for all example1

for all example2

To calculate the result, a selection of various <x1...xn> 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 <x1...xn>, you will end up with a true, and the formula inside for all will not be calculated.