refer to the following formula: (∃x)[Mx • (∼Nc $ \lor $ ∼Ox)] ≡ (Py • Pb)
-Which of the following variables in the formula are free?
A) The x that follows the M.
B) The y that follows the P.
C) The x that follows the O.
D) All of the above.
E) None of the above.

Question

Quizplus · Accepted Answer

The y that follows the P is free because it is not within the scope of any quantifier. The x is bound by the existential quantifier (∃x), and there are no quantifiers applying to y, making it the only free variable in the formula.

Refer to the Following Formula: (∃X)[Mx • (∼Nc ∨ \lor ∨

Refer to the Following Formula: (∃X)[Mx • (∼Nc $\lor$