Логическая Функция

N-местная функция, определенная на множестве истинностных и принимающая значения в этом множестве. С каждой логической операциейсвязана логич. функция — нек-рые истинностные значения, то есть истинностное значение высказывания — такие высказывания, что истинностное значение Р i равно Vi, i=1, . . ., n. Иногда Л. ф. наз. всякая n-местная функция, определенная на нек-ром множестве Ми принимающая значения в множестве . Такие функции используются в математич. логике как аналог понятия предиката. В. Е. Плиско.