Ein Satz ist analytisch wahr, wenn er seinem Subjekt nur solche Prädikate zuschreibt, welche bereits im Begriff des Subjekts liegen.
Ein Satz ist synthetisch wahr, wenn er wahr ist, ohne analytisch wahr zu sein.
Z.B. ist der Satz
Diese Amme ist eine Frau.
analytisch wahr, weil Frau ein Hyperonym von Amme ist. Dagegen ist der Satz
Der derzeitige Bundeskanzler der Bundesrepublik Deutschland ist eine Frau.
in der Geschichte der Republik gelegentlich (z.B. 2007) wahr gewesen und gelegentlich (z.B. 1999) falsch gewesen. Wenn er wahr war, war er synthetisch wahr, denn es liegt nicht im Begriff des Bundeskanzlers, eine Frau zu sein.