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