Question about free variables in mathematical logic

55 Views Asked by At

So the concept is from Herbert.B.enderton, A mathematical introduction to Logic.

Now consider the following expression:

1.) $\forall v_2 (Av_2 \rightarrow\ Bv_2)$

2.)$(\forall v_1Av_1 \rightarrow\ Bv_1)$

The books says 1.) is a sentence, meaning no variable occurs freely. But 2.) is not, as $v_1$ occurs freely.

But why is that ? I would really like an explanation on this. Thank you

1

There are 1 best solutions below

1
On BEST ANSWER

In 2, the scope of the quantifier $\forall v_1$ is only the $Av_1$ part, hence the $v_1$ in $Bv_1$ is free, making 2 not a sentence.

In 1, the parentheses are used to make the scope of the quantifier $\forall v_2$ to be all of $Av_2 \rightarrow Bv_2$, so there are no free variables there.