By submitting the following form, you agree to Club Z!'s Terms of Use and Privacy Policy
An occurrence of a variable in a logic formula which is not inside the scope of a quantifier.
bound variable | quantifier | sentence
Back to List | POWERED BY THE WOLFRAM LANGUAGE
