Archive Notes

Free Variable (Quantifiers)

1 min read

An occurrence of a variable that is not bound is said to be free.

Graph View

Backlinks