w logice: wyrażenie, które w połączeniu z pewnymi innymi wyrażeniami, nazywanymi jego argumentami, tworzy nazwę lub zdanie