Negation elimination

1. REDIRECT Negation#Rules_of_inference {{Redirect category shell|

{{R to section}}

}}