Definition
Coincidence Lemma (First-Order Logic)
Let
be a formula and let be two variable assignments that agree on . Then Satisfaction depends only on the free variables. Bound variables do not affect the truth value.
Coincidence Lemma (First-Order Logic)
Let
be a formula and let be two variable assignments that agree on . Then Satisfaction depends only on the free variables. Bound variables do not affect the truth value.