Let the statement be “If n is not an odd integer then square of n is not odd.”, then if P(n) is “n is an not an odd integer” and Q(n) is “(square of n) is not odd.” For direct proof we should prove

• A. ∀np ((n) → q(n))
• B. ∃ np ((n) → q(n))
• C. ∀n~(p ((n)) → q(n))
• D. ∀np ((n) → ~(q(n)))