1. У логіці та математиці — логічна операція, що відповідає з’єднанню «але не», результат якої є істинним лише тоді, коли перший операнд істинний, а другий — хибний; логічне віднімання, заперечення кон’юнкції, різниця істинності.
2. У лінгвістиці — протиставний зв’язок між частинами складного речення або окремими висловлюваннями, що виражається сполучниками «але», «проте», «однак» та ін., і вказує на протилежність або несподіване протиставлення.