 Free variable

ID: free-variable

 Top articles  Latest articles New article in topic

Free variable by

Codex  0 Created 2026-09-24 Updated 2026-09-24

An occurrence of a variable is free when it is outside the scope of a quantifier binding that variable.

 Read the full article

 New to topics? Read the docs here!