Логические операции

Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.

Логическое отрицание (инверсия) Логическое отрицание образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что …». Например: Я не знаю китайского языка. Неверно, что я знаю китайский язык Обозначение инверсии: НЕ А; А; A; NOT A

Таблица истинности для инверсии АА Смысл высказывания А для указанных значений Значение высказывания: Я не знаю китайского языка Я не знаю китайского языка Истина Я знаю китайский языкЛожь Из таблицы истинности следует, что инверсия высказывания истинна, когда высказывание ложно.

Логическое умножение (конъюнкция) Логическое умножение образуется соединением двух высказываний в одно с помощью союза «и». Например: На автостоянке обычно стоят две машины: «Мерседес» и «Жигули», но может находиться и какая-то одна из них или не быть ни одной. Обозначим высказывания: А=На автостоянке стоит «Мерседес». В=На автостоянке стоят «Жигули». (А конъюнкция В) = На автостоянке стоят «Мерседес» и «Жигули». Обозначение конъюнкции: А И В; А В; А&B; A AND B.

Таблица истинности для конъюнкции АВА&BСмысл высказываний А и В для указанных значений Значение высказывания На автостоянке стоят «Мерседес» и «Жигули» 000«Мерседес» не стоит «Жигули» не стоят Ложь 010«Мерседес» не стоит «Жигули» стоят Ложь 100«Мерседес» стоит «Жигули» не стоят Ложь 111«Мерседес» стоит «Жигули» стоят Истина Из таблицы истинности следует, что конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно.

Логическое сложение (дизъюнкция) Логическое сложение образуется соединением двух высказываний в одно с помощью союза «или». Например: На автостоянке обычно стоят две машины: «Мерседес» и «Жигули», но может находиться и какая-то одна из них или не быть ни одной. Обозначим высказывания: А=На автостоянке стоит «Мерседес». В=На автостоянке стоят «Жигули». (А дизъюнкция В) = На автостоянке стоят «Мерседес» или «Жигули». Обозначение дизъюнкции: А ИЛИ В; А В; А B; A OR B; А+В.

Таблица истинности для дизъюнкции АВАvBСмысл высказываний А и В для указанных значений Значение высказывания На автостоянке стоят «Мерседес» и «Жигули» 000«Мерседес» не стоит «Жигули» не стоят Ложь 011«Мерседес» не стоит «Жигули» стоят Истина 101«Мерседес» стоит «Жигули» не стоят Истина 111«Мерседес» стоит «Жигули» стоят Истина Из таблицы истинности следует, что дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно высказывание истинно.

Логическое следование (импликация) Логическое следование образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …». Например: А=Если клятва дана, то она должна выполнятся. В=Если число делится на 9, то оно делится на 3. В логике допустимо рассматривать и бессмысленные с житейской точки зрения высказывания. С = Если коровы летают, то 2+2=5. Пусть даны высказывания: А=На улице дождь.В=Асфальт мокрый. (А импликация В)= Если на улице дождь, то асфальт мокрый. Обозначение конъюнкции: А В; А B; если А, то В; А влечет В; В следует из А.

Таблица истинности для импликации АВ А B Смысл высказываний А и В для указанных значений Значение высказывания Если на улице дождь, то асфальт мокрый 001Дождя нетАсфальт сухой Истина 011Дождя нетАсфальт мокрый Истина 100Дождь идетАсфальт сухой Ложь 111Дождь идетАсфальт мокрый Истина Из таблицы истинности следует, что импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное.

Логическое равенство (эквивалентность) Логическое равенство образуется соединением двух высказываний в одно с помощью оборота речи «…тогда и только тогда, когда …». Например: Угол называется прямым тогда, когда он равен 90 градусам. Обозначим высказывания: А=Число делится на 3 без остатка. В=Сумма цифр числа делится нацело на 3. (А эквивалентно В) = Число кратно 3 тогда и только тогда, когда сумма его цифр делится нацело на 3. Обозначение эквивалентности: А В; А B; А В.

Таблица истинности для эквивалентности АВ А B Смысл высказываний А и В для указанных значений Значение высказывания Число кратно трем тогда и только тогда, когда сумма его цифр делится нацело на 3 001Число не кратно трем Сумма цифр не кратна трем Истина 010Число не кратно трем Сумма цифр кратна трем Ложь 100Число кратно трем Сумма цифр не кратна трем Ложь 111Число кратно трем Сумма цифр кратна трем Истина Из таблицы истинности следует, что эквивалентность двух высказываний ложна тогда и только тогда, когда оба высказывания истинны или оба ложны.

Опорный конспект «Свойства логических операций» Инверсия истинна Тогда и только тогда, когда Высказывание ложно Дизъюнкция ложна Конъюнкция истинна ложны оба высказывания истинны Дизъюнкция истинна конъюнкция ложна истинно хотя бы одно высказывание ложно Импликация ложнаИз истинного высказывания следует ложное высказывание Эквивалентность истинна Оба высказывания ложны или оба истинны