  Leibniz's definition of a possibility is simply a proposition that can be shown to be such that a contradiction will never arise in its analysis. (A VI iv 758/LLP 61) And an impossibility, not surprisingly, is defined as a proposition that can be demonstrated to generate a contradiction in its analysis.