refer to the following formula: (∃x)[Mx • (∼Nc $ \lor $ ∼Ox)] ≡ (Py • Pb)
-Which wffs below are not in the scope of '(∃x)'?
A) ∼(Py • Pb)
B) Mx
C) Nc
D) Mx • (∼Nc $ \lor $ ∼Ox)
E) None of the above.

Question

Quizplus · Accepted Answer

The negation symbol (~) applies to the entire statement (Py • Pb), not just to Py or Pb individually, so it is not within the scope of (∃x).

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

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