refer to the following formula: (∀x)[(Ex $ \lor $ Fx) ⊃ (Gx • Hd)]
-Which of the following variables in the formula are free?
A) The x that follows the E.
B) The x that follows the F.
C) The x that follows the G.
D) All of the above.
E) None of the above.

Question

Quizplus · Accepted Answer

The variable x is bound by the universal quantifier (∀x) at the beginning of the formula, meaning all instances of x within the scope of this quantifier are considered bound. The variable d in Hd is not quantified and thus would be the only free variable, but it is not an option given.

Refer to the Following Formula: (∀X)[(Ex ∨ \lor ∨ Fx) ⊃ (Gx • Hd)] -Which of the Following Variables

Refer to the Following Formula: (∀X)[(Ex $\lor$ Fx) ⊃ (Gx • Hd)]
-Which of the Following Variables