Hmmm. Schwierig. duplex negatio affirmat ist der Name für die andere Regel. "Prinzip der doppelten Negation" ist nicht genau das. "Doppelte Negation Einführung" ist (obwohl ich das irgendwo gesehen hatte) allerdings tatsächlich ein bisschen schief, weil die Gentzen-Einführungen (hier mit E abgekürzt) nur ein Zeichen einführen und nicht zwei. - Ich denk nochmal drüber nach und suche weiter.-- Pacogo7 01:27, 29. Mär. 2017 (CEST)