QuantifierElimination[QuantifierTools]
GetUnquantifiedFormula
remove all quantifiers from a Tarski formula
Calling Sequence
Parameters
Returns
Description
Examples
Compatibility
GetUnquantifiedFormula(expr)
expr
-
Tarski formula
an unquantified Tarski formula
Structure is retained in the output, i.e. no conversion to prenex form or similar is performed. Outer boolean operators are conserved.
withQuantifierElimination:withQuantifierTools:
GetUnquantifiedFormulaexistsx,Andx=0,existsy,y=0
x=0∧y=0
The QuantifierElimination:-QuantifierTools:-GetUnquantifiedFormula command was introduced in Maple 2023.
For more information on Maple 2023 changes, see Updates in Maple 2023.
See Also
QuantifierElimination
QuantifierTools
Download Help Document