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