DocumentationMathematicaBuilt-in FunctionsAlgebraic ComputationFormula Manipulation
Further Examples: ForAll
See the Further Examples for Reduce and Resolve.