„Das Koinzidenzlemma in der Aussagenlogik beschreibt das Verhalten einer gegebenen aussagenlogischen Formel hinsichtlich der Belegung seiner Aussagenvariablen.“
« En calcul des propositions, le lemme de coïncidence décrit le comportement d'une formule propositionnelle donnée par rapport à l'assignation de ses variables propositionnelles. »