bound variable
| free variable | logical quantifier | broad pronoun reference | strict and sloppy identity |
| Predicate Logic | ∃ | ∀ | Bound |
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.