There are also two kinds of truths, those of reasoning and those of fact. Truths of reasoning are necessary and their opposite is impossible: truths of fact are contingent and their opposite is possible. When a truth is necessary, reason can be found by analysis, resolving it into more simple ideas and truths, until we come to those which are primary.

Leibniz: Discourse on Metaphysics (ed. 1902)