اصل نقیض مضاعف

principle of double negation