Which derivation rule justifies the following argument? If n is a multiple of 8, then n is even. However, n is not even. Therefore, n is not a multiple of 8. O double negation O simplification De Morgan's Laws O modus ponens O modus tollens