The Following Inference Is an Application of Which Rule $\exists$ Y)~(My • Na)

Multiple Choice

The following inference is an application of which rule? ~( $\exists$ y) ~(My • Na) .Therefore, (y) (My • Na) .

A) quantifier negation
B) universal instantiation
C) existential generalization
D) existential instantiation
E) universal generalization