предикатом, а множество переменных в 
которое надо исследовать для определения 
называется носителем 
этого предиката.
Чтобы проиллюстрировать эти понятия, рассмотрим сетчатку, элементы которой расположены в виде квадрата 
(рис. 5.2). Допустим, нас интересует предикат
Элементы носителя предиката (3) обведены кружками. Очевидно, что 
принимает значение истина тогда и только тогда, когда эти элементы равны 1.
Рис. 5.2. Сетчатка, состоящая из 25 элементов, представлена в виде квадрата 
.
называется логическая функция, которая отображает множество изображений на множество {истина, ложь}. Можно представлять себе предикат как логическую функцию от 
двоичных переменных. Однако во многих интересных случаях для вычисления значения 
можно использовать не все, а лишь некоторые точки (переменные) из 
. В таких случаях 
называется частным
