ЛОГИЧЕСКАЯ ФУНКЦИЯ

n-местная функция, определенная на множестве истинностных значений{И, Л} и принимающая значения в этом множестве. С каждой логической операциейсвязана логич. функция - нек-рые истинностные значения, то есть истинностное значение высказывания - такие высказывания, что истинностное значение Р _i равно V_i, i=1, . . ., n.

Иногда Л. ф. наз. всякая n-местная функция, определенная на нек-ром множестве Ми принимающая значения в множестве {И, Л}. Такие функции используются в математич. логике как аналог понятия предиката. В. Е. Плиско.