Then negation introduction and elimination are just special cases of implication introduction (conditional proof) and elimination (modus ponens).
Онда негација увода и елиминација су само посебни случајеви имплицитног увођења (conditional proof) и елиминације (модус поненс).