La regla de la doble negación. No es una regla primitiva (y otros juegos florales al respecto)

Resumen

Suponiendo que la división entre  reglas primitivas y derivadas del cálculo  de enunciados, es una división sostenible, defiendo que la regla de la eliminación de la doble negación no es una regla primitiva.