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