Redlog Documentation Center

This new documentation in under construction. For functions not covered yet, please use the old documentation.

documentationgenericrlqvarl

rlqvarl – list of quantified variables

Calling Sequence

rlqvarl \((\,\varphi\,)\)

Arguments

\(\varphi\) first-order formula

Returns

\(L\) list of variables

Description

Returns the set of all variables that appear in \(\varphi\) with a quantifier as a list. \(L\) is sorted according to the Reduce kernel order.

The mathematically more meaningful concepts of free and bound occurrences of variables are implemented in rlfvarl, rlbvarl, and rlvarln.

Example

rlqvarl(ex({w, x, y, z}, v=0 and x=0 and y=0) and w=0 and y=0);

See Also