refer to the following formula:
∼(∀x){(Ix • Jx) ⊃ [Kx ≡ (La • Lb)]}
-Which of the following variables in the formula are free?
A) The x that follows the I.
B) The x that follows the J.
C) The x that follows the K.
D) All of the above.
E) None of the above.

Question

Quizplus · Accepted Answer

The variable x is bound by the universal quantifier ∀, which means it is not free in any of its occurrences (following I, J, or K). The variables a and b are not quantified and thus could be considered free, but they are not options given.

Refer to the Following Formula