Question: Which of the following is not a valid inference rule in propositional logic?

A$)$ Modus ponens

B$)$ Modus tollens

C$)$ Conjunction elimination

D$)$ Double negation