Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Основные операции алгебры логикиКаждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение: (1) Операция, выражаемая словом " не ", называется отрицанием и обозначается чертой над высказыванием (или знаком). Высказывание истинно, когда A ложно, и ложно, когда A истинно. Пример: " Луна - спутник Земли " (А); " Луна - не спутник Земли " (). (2) Операция, выражаемая связкой " и ", называется конъюнкцией (лат. conjunctio - соединение) или логическим умножением и обозначается точкой " · " (может также обозначаться знаками ^ или &). Высказывание А · В истинно тогда и только тогда, когда оба высказывания А и В истинны. Например, высказывание
истинно, а высказывания
ложны. (3) Операция, выражаемая связкой " или " (в неразделительном, неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio - разделение) или логическим сложением и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны. Например, высказывание
ложно, а высказывания
истинны. (4) Операция, выражаемая связками " если..., то ", " из... следует ", " ... влечет... ", называется импликацией (лат. implico - тесно связаны) и обозначается знаком . Высказывание А В ложно тогда и только тогда, когда А истинно, а В - ложно. Каким же образом импликация связывает два элементарных высказывания? Покажем это на примере высказываний: " данный четырёхугольник - квадрат " (А) и " около данного четырёхугольника можно описать окружность " (В). Рассмотрим составное высказывание А В, понимаемое как " если данный четырёхугольник квадрат, то около него можно описать окружность ". Есть три варианта, когда высказывание А В истинно:
Ложен только один вариант: А истинно и В ложно, то есть данный четырёхугольник является квадратом, но около него нельзя описать окружность. В обычной речи связка " если..., то " описывает причинно-следственную связь между высказываниями. Но в логических операциях смысл высказываний не учитывается. Рассматривается только их истинность или ложность. Поэтому не надо смущаться "бессмысленностью" импликаций, образованных высказываниями, совершенно не связанными по содержанию. Например, такими:
(5) Операция, выражаемая связками " тогда и только тогда ", " необходимо и достаточно ", "... равносильно...", называется эквиваленцией или двойной импликацией и обозначается знаком или ~. Высказывание А B истинно тогда и только тогда, когда значения А и В совпадают. Например, высказывания
истинны, а высказывания
ложны. Высказывания А и В, образующие составное высказывание А В, могут быть совершенно не связаны по содержанию, например: " три больше двух?"(А), " пингвины живут в Антарктиде " (В). Отрицаниями этих высказываний являются высказывания " три не больше двух " (), " пингвины не живут в Антарктиде " (). Образованные из высказываний А, B составные высказывания A B и истинны, а высказывания A и B - ложны.
Итак, нами рассмотрены пять логических операций: отрицание, конъюнкция, дизъюнкция, импликация и эквиваленция. Операций отрицания, дизъюнкции и конъюнкции достаточно, чтобы описывать и обрабатывать логические высказывания. Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания ("не"), затем конъюнкция ("и"), после конъюнкции - дизъюнкция ("или") и в последнюю очередь - импликация.
|