Предикат

простой предикат — prime predicate
сильный предикат — strong predicate
унарный предикат — unary predicate
базисный предикат — basic predicate
числовой предикат — numerical predicate
предикат равенства — equality predicate
выразимый предикат — expressible predicate
частичный предикат — partial predicate
смысловой предикат — truth predicate
оценочный предикат — evaluative predicate
нуль-арный предикат — nullary predicate
разрешимый предикат — decidable predicate
двуместный предикат — binary predicate
формульный предикат — formula predicate
индивидный предикат — individual predicate
устойчивый предикат — persistent predicate
предикат предикатов — predicate of predicates
насыщенный предикат — saturable predicate
переменный предикат — variable predicate
вычислимый предикат — computable predicate
разложимый предикат — reducible predicate
определимый предикат — definable predicate
производный предикат — derived predicate
одноместный предикат — monadic predicate
примитивный предикат — primitive predicate
отобразимый предикат — resolvable predicate
выполняющий предикат — satisfying predicate