" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

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

Значение ЛОГИЧЕСКАЯ ФУНКЦИЯ в математической энциклопедии:

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

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