Чтобы создать логическое выражение for all, необходимо ввести ключевое слово for. После этого появится шаблон for all.
Общая форма этого логического выражения следующая for all x1, x2... xn in listX Expression(x1,...,xn). Это означает, что для каждого <x1,..,xn> из списка listX выражение Expression(x1, ..., xn) должно быть истинным (true).
Пример
Для вычисления результата производится выбор различных комбинаций <x1...xn> из некоторого списка. Если такой выбор сделать невозможно, считается, что формула не была вычислена, и выражение for all возвращает true. То есть, если список пуст или имеет меньшую размерность, чем вектор <x1...xn>, то в итоге будет получено true, однако формула внутри for all не будет вычислена.