The supporting argument's use of de Morgan's Laws implicitly invokes double negation elimination, wh...