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