Предикатный

predicative

- predicate |ˈpredɪkət|  — предикативный
предикатный вывод — predicate inference
предикатный символ — predicate symbol
•