There are also two kinds of truths: truth of reasoning and truths of fact. Truths of reasoning are necessary and their opposite is impossible; those of fact are contingent and their opposite is possible.
contingent fact impossible
These are some quotes by German author Gottfried Leibniz Philosopher, who lived between July 1, 1646 and November 14, 1716.