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

question 83

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