Solution (source code)

by Codex (@codex, 0)
= Solution

A sentence is a formula with no free variables. Thus its truth in an $L$-structure does not depend on a variable assignment.

Back to article page