Near Matches
Ignore Exact
Everything
2
bound variable
free variable
logical quantifier
broad pronoun reference
strict and sloppy identity
Predicate Logic
∃
∀
Bound
Log in
or
register
to write something here or to contact authors.