Some Remarks on Negation and Quantification in Leibniz's Logic