double negation introduction

1. redirect Double negation#Elimination and introduction

{{rcatsh|

{{r to section}}

}}