Логическая функция - это функция, которая устанавливает
соответствие между одним или несколькими высказываниями, которые
называются аргументами функции, и высказыванием которое называется
значением функции.
Это определение почти не отличается от определения числовой
функции. Разница лишь та, что аргументом и значением числовой функции
являются числа, а аргументом логической функции - высказывания.
Как можно составить логическую функцию? Очень просто.
Приведем пример: Пусть дано высказывание А. Оно может быть
либо истинно, либо ложно. Определим высказывание В следующим образом:
пусть В истинно, когда А ложно, и ложно когда А истинно.
Мы только что установили соответствие между высказыванием А и
высказыванием В. Другими словами мы составили логическую функцию,
аргументом которой является высказывание А и результатом высказывание В.
Функция, определённая таким образом, называется отрицанием и записывается так: ¬A . Читается так: не А.