Математическая энциклопедия - логическая функция

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985