1. У логіці та математиці — операція, що перетворює умовний вислів “якщо A, то B” на еквівалентний йому вислів “якщо не B, то не A”.
2. У музиці — техніка композиції або прийом розвитку музичної теми, що полягає у протиставленні (контрасті) та подальшому поєднанні двох експозиційних розділів, які відрізняються за характером, тональністю або іншими параметрами.