refer to the following formula: (∃x)[(Ax • ∼Bx) • ∼(Cx $ \lor $ Dx)]
-Which variables are bound by the '(∃x)'?
A) The x that follows the A.
B) The x that follows the B.
C) The x that follows the C.
D) The x that follows the D.
E) All of the above.

Question

Quizplus · Accepted Answer

The '(∃x)' quantifier at the beginning of the formula binds all instances of 'x' within the scope of the formula, making all the variables 'x' in the formula bound by it.

Refer to the Following Formula: (∃X)[(Ax • ∼Bx) • ∼(Cx ∨ \lor ∨

Refer to the Following Formula: (∃X)[(Ax • ∼Bx) • ∼(Cx $\lor$