HANGMAN SOLVER

verb

1. (logic) To relate a statement (called a predicate) to a given set using a quantifier—either for all (denoted ∀) or there exists (denoted ∃).
2. To assign a quantity to.
3. To determine the value of (a variable or expression).