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