Логи́ческая фу́нкция, функция, определённая на множестве истинностных значений {И,Л} (или {1,0}) и принимающая значения в этом множестве. С каждой логической операцией $\frak A$ связана логическая функция $f_{\frak A}$: если $v_1,\ldots,v_n$ – некоторые истинностные значения, то $f_{\frak A}(v_1,\ldots,v_n)$ есть истинностное значение высказывания ${\frak A}(P_1,\ldots,P_n)$, где $P_1,\ldots,P_n$ – такие высказывания, что истинностное значение $P_i$ равно $v_i,\; i=1,\ldots,n$. Иногда логической функцией называют всякую $n$-местную функцию, определённую на некотором множестве $M$ и принимающую значения в множестве {И,Л}. Такие логические функции используются в математической логике как аналог понятия предиката.