„Das Koinzidenzlemma in der Aussagenlogik beschreibt das Verhalten einer gegebenen aussagenlogischen Formel hinsichtlich der Belegung seiner Aussagenvariablen.“
„Het coincidentielemma in de propositielogica beschrijft het gedrag van een gegeven propositielogische formule met betrekking tot de valuatie van zijn propositievariabelen.
