Что такое сложное высказывание в информатике

Что такое сложное высказывание в информатике

Простые и сложные высказывания, логиче­ские переменные и логические константы, логическое отрицание, логическое умноже­ние, логическое сложение, таблицы истин­ности для логических операций

Для описания рассуждений и правил выполне­ния действий с информацией используют специаль­ный язык, принятый в математической логике. В осно­ве рассуждений содержатся специальные предложе­ния, называемые высказываниями. В высказываниях всегда что-либо утверждается или отрицается об объ­ектах, их свойствах и отношениях между объекта­ми. Высказыванием является любое суждение, отно­сительно которого можно сказать, истинно оно или ложно. Высказываниями могут быть только повест­вовательные предложения. Вопросительные или по­будительные предложения высказываниями не явля­ются.

Высказывание — суждение, сформулированное в виде по­вествовательного предложения, о котором можно сказать, истинно оно или ложно.

Например, вопросительные предложения «В каком году было первое летописное упоминание о Москве?» и «Что является внешней памятью компьютера?» или побудительное предло­жение «Соблюдайте правила техники безопасности в компью­терном классе» высказываниями не являются. Повествователь­ные предложения «Первое летописное упоминание о Москве было в 1812 г.», «Оперативное запоминающее устройство являет­ся внешней памятью компьютера» и «В компьютерном классе не надо соблюдать правила техники безопасности» являются выска­зываниями, поскольку это суждения, о каждом из которых мож­но сказать, что оно ложно. Истинными высказываниями будут суждения «Первое летописное упоминание о Москве было в 1147 г.», «Жесткий магнитный диск является внешней памятью компьютера».

Каждому высказыванию соответствует только одно из двух значений: или «истина», или «ложь», которые являются логиче­скими константами. Истинное значение принято обозначать цифрой 1, а ложное значение — цифрой 0. Высказывания можно обозначать с помощью логических переменных, в качестве кото­рых используются заглавные латинские буквы. Логические пере­менные могут принимать только одно из двух возможных значе­ний: «истина» или «ложь». Например, высказывание «Информа­ция в компьютере кодируется с помощью двух знаков» можно обозначить логической переменной А, а высказывание «Прин­тер является устройством хранения информации» можно обо­значить логической переменной В. Поскольку первое выска­зывание соответствует действительности, то А = 1. Такая запись означает, что высказывание А истинно. Так как второе высказы­вание не соответствует действительности, то В = 0. Такая запись означает, что высказывание в ложно.

Высказывания могут быть простыми и сложными. Высказывание называется простым, если никакая его часть не является высказыванием. До сих пор были приведены примеры простых высказываний, которые обозначались логическими перемены ми. Выстраивая цепочку рассуждений, человек с помощью логических операций объединяет простые высказывания в сложнее’ высказывания. Чтобы узнать значение сложного высказывания нет необходимости вдумываться в его содержание. Достаточно знать значение простых высказываний, составляющих сложное высказывание, и правила выполнения логических операций.

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

Все рассуждения человека, а также работа современных тех­нических устройств основываются на типовых действиях с ин­формацией — трех логических операциях: логическом отрица­нии (инверсии), логическом умножении (конъюнкции) и логи­ческом сложении (дизъюнкции).

Логическое отрицание простого высказывания получают до­бавлением слов «Неверно, что» в начале простого высказывания.

■ ПРИМЕР 1. Имеется простое высказывание «Крокодилы уме­ют летать». Результатом логического отрицания будет высказы­вание «Неверно, что крокодилы умеют летать». Значение ис­ходного высказывания — «ложь», а значение нового — «истина».

■ ПРИМЕР 2. Имеется простое высказывание «Файл должен иметь имя». Результатом логического отрицания будет высказы­вание «Неверно, что файл должен иметь имя». Значение исход­ного высказывания — «истина», а значение нового высказыва­ния — «ложь».

Можно заметить, что логическое отрицание высказывания истинно, когда исходное высказывание ложно, и наоборот, ло­гическое отрицание высказывания ложно, когда исходное вы­сказывание истинно.

Логическое отрицание (инверсия) — логическая операция, ставящая в соответствие простому высказыванию новое высказывание, значение которого противоположно значе­нию исходного высказывания.

Обозначим простое высказывание логической переменной А. Тогда логическое отрицание этого высказывания будем обозначать НЕ А. Запишем все возможные значения логической переменной А и соответствующие результаты логического отрицания НЕ А в виде таблицы, которая называется таблицей истинности для логичес­кого отрицания (табл. 40).

ТАБЛИЦА ИСТИННОСТИ ДЛЯ ЛОГИЧЕСКОГО ОТРИЦАНИЯ

Если/1 = 0, то НЕ А = 1 (см. пример 1).

Если А = 1, то НЕ А = 0 (см. пример 2)

Можно заметить, что в таблице истинности для логическо­го отрицания ноль меняется на единицу, а единица меняется на ноль.

Логическое умножение двух простых высказываний получа­ют объединением этих высказываний с помощью союза и. Разбе­рем на примерах 3—6, что будет являться результатом логическо­го умножения.

■ ПРИМЕР 3. Имеются два простых высказывания. Одно выска­зывание — «Карлсон живет в подвале». Другое высказывание — «Карлсон лечится мороженым».

Результатом логического умножения этих простых высказы­ваний будет сложное высказывание «Карлсон живет в подвале, и Карлсон лечится мороженым». Можно сформулировать новое высказывание более кратко: «Карлсон живет в подвале и лечится мороженым». Оба исходных высказывания ложны. Значение но­вого сложного высказывания также «ложь».

■ ПРИМЕР 4. Имеются два простых высказывания. Первое вы­сказывание — «Карлсон живет в подвале». Второе высказыва­ние — «Карлсон лечится вареньем».

Результатом логического умножения этих простых выска­зываний будет сложное высказывание «Карлсон живет в подва­ле и лечится вареньем». Первое исходное высказывание ложно, а второе истинно. Значение нового сложного высказывания — «ложь».

■ ПРИМЕР 5. Имеются два простых высказывания. Первое вы­сказывание — «Карлсон живет на крыше». Второе высказыва­ние — «Карлсон лечится мороженым».

Результатом логического умножения этих простых высказываний будет сложное высказывание «Карлсон живет на крыше и лечится мороженым». Первое исходное высказывание истин но, а второе ложно. Значение нового сложного высказывания «ложь».

Результатом логического умножения этих простых высказываний будет сложное высказывание «Карлсон живет на крыше и лечится вареньем». Оба исходных высказывания истинны. Зпачение нового сложного высказывания также «истина».

Можно заметить, что логическое умножение двух высказываний истинно только в одном случае — когда оба исходных высказывания истинн ы.

Логическое умножение (конъюнкция) — логическая опера­ция, ставящая в соответствие двум простым высказывани­ям новое высказывание, значение которого истинно тогда и только тогда, когда оба исходных высказывания истинны.

ТАБЛИЦА ИСТИННОСТИ ДЛЯ ЛОГИЧЕСКОГО УМНОЖЕНИЯ

Источник

Сложное высказывание

Вы будете перенаправлены на Автор24

Сложное высказывание

Высказывание является одним из ключевых понятий в логике. Точного определения, которое можно было бы использовать в равной мере во всех её разделах, нет. Но можно сказать, что это повествовательное предложение, в котором что-либо утверждается или отрицается. Кроме того, про любое высказывание можно сказать, истинно оно или ложно.

Высказывание будет считаться истинным, если то, что оно описывает соответствует реальной ситуации, и ложным, если описание не соответствует ей.

Из отдельных высказываний можно разными способами выстраивать новые высказывания. Так, из высказываний «Светит солнце» и «Дует ветер» можно образовать сложные высказывания «Светит солнце и дует ветер», «Либо светит солнце, либо дует ветер «, «Если светит солнце, то дует ветер» и т.п. Сложные высказывания образуются при помощи слов «и», «либо, либо», «если, то» и т.п., которые называются логическими связками.

Высказывание является простым, если в нём в качестве своих частей нет других высказываний.

Если высказывание с помощью логических связок получено из нескольких простых высказываний, то оно называется сложным.

В математической логике определены пять основных логических операций: инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность. Три первые операции являются базовыми, составляют полную систему операций, т.е. остальные могут быть нормализованы (выражены через них). В информатике обычно используются именно эти три операции.

Способы построения базовых сложных высказываний

Отрицание (инверсия)

В русском языке этой логической связке соответствует частица НЕ (иногда нужно применить оборот «неверно что. »).

Готовые работы на аналогичную тему

Отрицание (инверсию) можно представить в форме таблицы истинности, в которой «$1$» означает «истинно» и «$0$» – «ложно».

Конъюнкция (логическое умножение)

Если соединить два простых высказывания при помощи связки «и» («но», «а»), то получится сложное высказывание, которое называется конъюнкцией. Простые высказывания, которые соединяются таким способом, называются членами конъюнкции. Например, если высказывания «Вчера было солнечно» и «Сегодня тепло» соединить связкой «и», то получится конъюнкция «Вчера было солнечно и сегодня тепло «.

Конъюнкция истинна тогда и только тогда, когда все её составляющие являются истинными; в противном случае вся конъюнкция ложна.

Если конъюнкцию обозначить символом «&», то таблица истинности для конъюнкции будет выглядеть следующим образом

Дизъюнкция

Для формальной логики совершенно не важен смысл простых высказываний. Достаточно знать, являются ли они истинными или ложными. Соединив два высказывания с помощью связки «или», можно получить логическое сложение (дизъюнкцию) этих высказываний. Простые высказывания, которые соединяются таким способом, называются членами дизъюнкции.

Слово «или» в обычном языке имеет два разных смысла. Оно может означать «одно или другое, или оба вместе», а может означать «одно или другое, но не оба вместе». Высказывание «Я хочу в этом сезоне пойти на «Волшебную флейту» или на «Ивана Сусанина» допускает возможность дважды посетить оперу. Высказывание «Он учится в Саратовском или в Московском университете» подразумевает, что студент учится только в одном из заявленных университетов.

Таблица истинности для обоих видов дизъюнкции показывает, что неисключающая дизъюнкция истинна, тогда, когда истинна хотя бы одна из её составляющих; исключающая дизъюнкция истинна тогда, когда истинным является только один из ее членов, во всех остальных случаях она ложна.

Связка «или» в логике и математике всегда употребляется в неисключающем значении.

Импликация

Условное высказывание состоит из двух простых высказываний. То, что стоит за словом «если», называется предпосылкой, основанием, условием, или антецедентом (предыдущим); высказывание, которое идёт после слова «то», называется следствием, выводом, или консеквентом (последующим).

Условное высказывание в логике называется импликацией.

Импликация истинна в трех случаях:

когда истинны и ее основание, и ее следствие;

когда условие ложно, а следствие истинно;

когда и предпосылка, и вывод ложны.

И только в одном случае, когда условие истинно, а следствие ложно, вся импликация ложна.

Так, импликация ложна только в одном случае, когда из истинного основания следует ложный вывод.

Эквивалентность

Эквивалентность истинна тогда и только тогда, когда все составляющие ее высказывания либо ложны, либо истинны. Соответственно, эквивалентность является ложной, когда одно из входящих в нее высказываний истинно, а другое ложно.

Получи деньги за свои студенческие работы

Курсовые, рефераты или другие работы

Автор этой статьи Дата написания статьи: 01 04 2016

Источник

Презентация по информатике «Сложные высказывания. Построение таблиц истинности сложных высказываний.»»

Описание презентации по отдельным слайдам:

Описание слайда:

Основы логики.
Логические высказывания
и
таблицы истинности.

Описание слайда:

Высказывание является повествовательным предложением, о котором можно сказать истинно оно или нет.

Описание слайда:

Высказывание.
Простое – не содержит в себе других высказываний.

В=Нам живётся весело.

Описание слайда:

Простое (элементарное) высказывание.

Описание слайда:

Предложения, не являющиеся высказыванием.

Описание слайда:

Высказывание.
Составное – состоит из простых высказываний, объединённых в одно с помощью логических связок.
Идёт дождь.
У меня есть зонт.
Идёт дождь, а у меня нет зонта.

Описание слайда:

Описание слайда:

Описание слайда:

Простое (элементарное) высказывание.

Описание слайда:

Высказывание.
Общее – начинается или может начинаться со слов все, всякий, каждый, ни один и т.п.
Частное – начинается или может начинаться со слов некоторый, большинство и т.п.
Единичное – во всех остальных случаях.

Описание слайда:

Простое (элементарное) высказывание.

Описание слайда:

Описание слайда:

Для обозначения логических высказываний, им назначают имена – логические переменные (прописные буквы латинского алфавита).
А = В четверг был дождь
В = В пятницу было солнечно
Е = В четверг был дождь, а в пятницу было солнечно
Е=А & В
Здесь
А, В – логические высказывания (могут быть либо истинными, либо ложными),
& (и) – логическая связка.

Описание слайда:

Формализация
A – «Датчик № 1 неисправен».
B – «Датчик № 2 неисправен».
C – «Датчик № 3 неисправен».
Аварийный сигнал:
X – «Неисправны два датчика».
X – «Неисправны датчики № 1 и № 2» или
«Неисправны датчики № 1 и № 3» или
«Неисправны датчики № 2 и № 3».
логическая формула
Формализация – это переход к записи на формальном языке!
!
Прибор имеет три датчика и может работать, если два из них исправны. Записать в виде формулы ситуацию «авария».

Описание слайда:

Описание слайда:

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

Описание слайда:

Определить форму составного высказывания по имеющимся составным и простым, входящим в него, высказываниям:
Пример 1.
Е = Ваш приезд не является ни необходимым, ни желательным.
Составляющие простые высказывания:
А = Ваш приезд необходим;
В = Ваш приезд желателен.
Форма сложного высказывания:
Е = ¬(А)&¬(В)
Пример 2.
Е = Поиски врага длились уже три часа, но результатов не было, притаившийся враг ничем себя не выдавал.
Составляющие простые высказывания:
А = Поиски врага длились три часа;
В = Врага нашли (результат есть);
С = Враг себя выдал.
Форма сложного высказывания:
Е = ¬С => А & ¬(В)
Пример 3.
Е = Вчера было пасмурно, а сегодня ярко светит солнце.
Составляющие простые высказывания:
А = Вчера было пасмурно,
В = Сегодня ярко светит солнце.
Форма сложного высказывания:
Е=А& В.

Описание слайда:

По форме высказывания и выраженным на естественном языке составляющим его простым высказываниям получить фразу на естественном языке.
Пример 1.
Е = НЕ(А) & НЕ(В) => НЕ(С) & D
Составляющие простые высказывания:
А = Человек с детства давал нервам властвовать над собой;
В = Человек в юности давал нервам властвовать над собой;
С = Нервы привыкнут раздражаться;
D = Нервы будут послушны.
Фраза на естественном языке:
Е = Если человек с детства и в юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны. (К. Д. Ушинский.)
Пример 2.
Е = (В&НЕ(С))=>НЕ(А)
Составляющие простые высказывания:
А = Некто является врачом;
В = Больной поговорил с врачом;
С = Больному стало легче.
Фраза на естественном языке:
Е = Если больному после разговора с врачом не становится легче, то это не врач. (В. М. Бехтерев)

Описание слайда:

Описание слайда:

Задача1.
Из двух простых высказываний построить все возможные высказывания, используя логические операции. Определите их истинность.
Андрей старше Светы. Наташа старше Светы.
На полке стоят учебники. На полке стоят справочники.

Описание слайда:

Выполнить:
Практикум:
§ 3.2
№ 3.7 – 3.15

Описание слайда:

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

Описание слайда:

Алгоритм построения
таблицы истинности
Подсчитать количество переменных n в логическом выражении;
Определить количество строк m в таблице:
m=2n + 3
Подсчитать количество логических операций k в логическом выражении;

Описание слайда:

Определить количество столбцов таблицы h:
h=n + k;
Построить таблицу истинности, обозначить столбцы, внести всевозможные наборы исходных данных логических переменных.
Заполнить таблицу истинности, выполняя базовые логические операции в необходимой последовательности.
Алгоритм построения
таблицы истинности

Описание слайда:

Построение таблиц.
Построить таблицу истинности для следующего сложного (составного) логического выражения:

Описание слайда:

Построение таблиц.
D = ┐A ٨ (B ۷ C)
Количество переменных
n=3
Количество строк
m=23 + 3= 8+3=11
Количество логических операций
k=3
Количество столбцов
h=n + k=3+3=6
1
2
3

Описание слайда:

Описание слайда:

Вычисление логических выражений
Порядок вычислений:
скобки
НЕ
И
ИЛИ, исключающее ИЛИ
импликация
эквивалентность
A
B
+

+
B
C

A
С

1 4 2 5 3

Описание слайда:

Описание слайда:

Составление таблиц истинности
0
1
0
0
0
0
0
1
1
0
1
0
1
1
1
1
Логические выражения могут быть:
тождественно истинными (всегда 1, тавтология)
тождественно ложными (всегда 0, противоречие)
вычислимыми (зависят от исходных данных)

Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.

Курс повышения квалификации

Дистанционное обучение как современный формат преподавания

Курс повышения квалификации

Педагогическая деятельность в контексте профессионального стандарта педагога и ФГОС

Курс повышения квалификации

Современные педтехнологии в деятельности учителя

Ищем педагогов в команду «Инфоурок»

Найдите материал к любому уроку, указав свой предмет (категорию), класс, учебник и тему:

также Вы можете выбрать тип материала:

Краткое описание документа:

Тема: Сложные высказывания. Построение таблиц истинности сложных высказываний.Цель:üввести понятие простых и сложных высказываний;üсформировать у учащихся умение определять формы сложных высказываний;üсформировать у учащихся умение строить таблицы истинности сложных высказываний.План урока.1.Проверка домашнего задания. Фронтальный опрос.2.Изучение нового материала.3.Выполнение заданий на закрепление.4.Домашнее задание.

Общая информация

Похожие материалы

Реферат по имитационному моделированию на тему Моделирование в среде Unity.

Презентация по системе Octave

Конспект урока на тему «Информационная безопасность»

Урок информатики «Формулы в языке Паскаль» на английском языке

Учебно методическая разработка

Учебные среды программирования: Alice, Etoys, Scratch

Учебные среды программирования: Alice, Etoys, Scratch

Презентация.Моделирование циклических процессов в расширении языка Pascal

Не нашли то что искали?

Воспользуйтесь поиском по нашей базе из
5419200 материалов.

Вам будут интересны эти курсы:

Оставьте свой комментарий

Авторизуйтесь, чтобы задавать вопросы.

Учителя о ЕГЭ: секреты успешной подготовки

Время чтения: 11 минут

Путин поручил не считать выплаты за классное руководство в средней зарплате

Время чтения: 1 минута

Московские школьники победили на международной олимпиаде по информатике

Время чтения: 1 минута

В Госдуме проверят содержание учебников русского языка как иностранного

Время чтения: 2 минуты

Учителя о ЕГЭ: секреты успешной подготовки

Время чтения: 11 минут

Итоговое сочинение успешно написали более 97% выпускников школ

Время чтения: 2 минуты

Чем заняться с детьми в новогодние праздники в Москве

Время чтения: 4 минуты

Подарочные сертификаты

Ответственность за разрешение любых спорных моментов, касающихся самих материалов и их содержания, берут на себя пользователи, разместившие материал на сайте. Однако администрация сайта готова оказать всяческую поддержку в решении любых вопросов, связанных с работой и содержанием сайта. Если Вы заметили, что на данном сайте незаконно используются материалы, сообщите об этом администрации сайта через форму обратной связи.

Все материалы, размещенные на сайте, созданы авторами сайта либо размещены пользователями сайта и представлены на сайте исключительно для ознакомления. Авторские права на материалы принадлежат их законным авторам. Частичное или полное копирование материалов сайта без письменного разрешения администрации сайта запрещено! Мнение администрации может не совпадать с точкой зрения авторов.

Источник

Логика высказываний: теория и применение. Примеры решений задач

Будут и задачи для самостоятельного решения, к которым можно посмотреть ответы.

Логика высказываний: определение и применение

Высказываниями принято считать такие предложения (написанные на «словесном» либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными.

С математическими высказываний проще всего: они всегда имеют либо значение «истина», либо значение «ложь». Для высказываний, сделанных на «словесном» языке, понятия «истинности» и «ложности» несколько более расплывчаты. Однако, например, такие словесные формы, как «Иди домой» и «Идёт ли дождь?», не являются высказываниями. Поэтому понятно, что высказываниями являются такие словесные формы, в которых что-либо утверждается. Не являются высказываниями вопросительные или восклицательные предложения, обращения, а также пожелания или требования. Их невозможно оценить значениями «истина» и «ложь».

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

Логические операции над высказываниями

Итак, высказывания можно рассмотривать как величину, которая может принимать два значения: «истина» и «ложь».

Таблица истинности для конъюнкции:

Таблица истинности для дизъюнкции:

Таблица истинности для следования (импликации):

4. Четвёртая логическая операция над высказываниями, точнее над одним высказыванием, называется отрицанием высказывания A и обозначается

A (можно встретить также употребление не символа

, а символа ¬, а также верхнего надчёркивания над A).

A есть высказывание, которое ложно, когда A истинно, и истинно, когда A ложно.

Таблица истинности для отрицания:

Таблица истинности для эквивалентности:

В большинстве языков программирования есть специальные символы для обозначения логических значений высказываний, записываются они почти во всех языках как true (истина) и false (ложь).

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

Систематизируем в таблице ниже названия, обозначения и смысл логических операций над высказываниями (они нам вскоре вновь понадобятся для решения примеров).

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

Пример 1. Вычислите логические значения следующих высказываний:

3) («Сосна» = «Дуб») ИЛИ («Вишня» = «Клён») ;

6) («Глаза даны, чтобы видеть») И («Под третьим этажом находится второй этаж») ;

Пример 2. Запишите с помощью логических операций следующие сложные высказывания:

1) «Пользователь не зарегистрирован»;

2) «Сегодня воскресенье и некоторые сотрудники находятся на работе»;

3) «Пользователь зарегистрирован тогда и только тогда, когда отправленные пользователем данные признаны годными».

Решить примеры на логику высказываний самостоятельно, а затем посмотреть решения

Пример 3. Вычислите логические значения следующих высказываний:

1) («В минуте 70 секунд») ИЛИ («Работающие часы показывают время») ;

2) (28 > 7) И (300/5 = 60) ;

4) Не((300 > 100) ИЛИ («Жажду можно утолить водой»)) ;

Пример 4. Запишите с помощью логических операций следующие сложные высказывания и вычислите их логические значения:

1) «Если часы неправильно показывают время, то можно невовремя прийти на занятия»;

Пример 5. Определите логическое значение выражения

Формулы логики высказываний

Понятие логической формы сложного высказывания уточняется с помощью понятия формулы логики высказываний.

В примерах 1 и 2 мы учились записывать с помощью логических операций сложные высказывания. Вообще-то они называются формулами логики высказываний.

Для обозначения высказываний, как и упомянутом примере, будем продолжать использовать буквы

Эти буквы будут играть роль переменных, принимающих в качестве значений истинностные значения «истина» и «ложь». Эти переменные называются также пропозициональными переменными. Мы будем далее называть их элементарными формулами или атомами.

Для построения формул логики высказываний кроме указанных выше букв используются знаки логических операций

Понятие формулы логики высказываний определим следуюшим образом:

1) элементарные формулы (атомы) являются формулами логики высказываний;

3) только те выражения являются формулами логики высказываний, для которых это следует из 1) и 2).

Определение формулы логики высказываний содержит перечисление правил образования этих формул. Согласно определению, всякая формула логики высказываний либо есть атом, либо образуется из атомов в результате последовательного применения правила 2).

1) ;

2) ;

3) ;

4) ;

5) ;

6) .

1) «нет действительных чисел, которые являются рациональными»;

2) «если не все рациональные числа являются действительными, то нет рациональных чисел, являющихся действительными»;

5) «все рациональные числа являются действительными тогда и только тогда, когда не имеет место быть, что не все рациональные числа являются действительными»;

6) «не имеет места быть, что не имеет место быть, что не все рациональные числа являются действительными и нет действительных чисел, которые являются рациональными или нет рациональных чисел, которые являются действительными».

p	q	r					f
И	И	И	И	И	И	И	И
И	И	Л	И	И	И	Л	И
И	Л	И	И	Л	Л	Л	Л
И	Л	Л	И	Л	Л	И	И
Л	И	И	Л	И	Л	И	И
Л	И	Л	Л	И	Л	И	Л
Л	Л	И	И	И	И	И	И
Л	Л	Л	И	И	И	Л	И

Заметим, что никакой атом не имеет вида

Число скобок в формулах логики высказываний можно уменьшить, если принять, что

1) в сложной формуле будем опускать внешнюю пару скобок;

2) упорядочим знаки логических операций «по старшинству»:

В этом списке знак ↔ имеет самую большую область действия, а знак

— самую маленькую. Под областью действия знака операции понимаются те части формулы логики высказываний, к которым применяется (на которые действует) рассматриваемое вхождение этого знака. Таким образом, можно опускать во всякой формуле те пары скобок, которые можно восстановить, учитывая «порядок старшинства». А при восстановлении скобок сначала расставляются все скобки, относящиеся ко всем вхождениям знака

(при этом мы продвигаемся слева направо), затем ко всем вхождениям знака ∧ и так далее.

Пример 8. Восстановите скобки в формуле логики высказываний B ↔

Решение. Скобки восстанавливаются пошагово следующим образом:

Не всякая формула логики высказываний может быть записана без скобок. Например, в формулах А → (B → C) и

(A → B) дальнейшее исключение скобок невозможно.

Тавтологии и противоречия

Так как истинность или ложность сложных высказываний зависит лишь от значений, а не от содержания высказываний, каждому из которых соответствует определённая буква, то проверку того, является ли данное высказывание тавтологией, можно подставить следующим способом. В исследуемом выражении на место букв подставляются значения 1 и 0 (соответственно «истина» и «ложь») всеми возможными способами и с использованием логических операций вычисляются логические значения выражений. Если все эти значения равны 1, то исследуемое выражение есть тавтология, а если хотя бы одна подстановка даёт 0, то это не тавтология.

Таким образом, формула логики высказываний, которая принимает значение «истина» при любом распределении значений входящих в эту формулу атомов, называется тождественно истинной формулой или тавтологией.

Противоположный смысл имеет логическое противоречие. Если все значения высказываний равны 0, то выражение есть логическое противоречие.

Таким образом, формула логики высказываний, которая принимает значение «ложь» при любом распределении значений входящих в эту формулу атомов, называется тождественно ложной формулой или противоречием.

Кроме тавтологий и логических противоречий существуют такие формулы логики высказываний, которые не являются ни тавтологиями, ни противоречиями.

Пример 9. Составьте таблицу истинности для формулы логики высказываний и определите, является ли она тавтологией, противоречием или ни тем, ни другим.

Решение. Составляем таблицу истинности:

И	И	И	И	И
И	Л	Л	Л	И
Л	И	Л	И	И
Л	Л	Л	Л	И

В значениях импликации не встречаем строку, в которой из «истины» следует «ложь». Все значения исходного высказывания равны «истине». Следовательно, данная формула логики высказываний является тавтологией.

Пример 10. Составьте таблицу истинности для формулы логики высказываний и определите, является ли она тавтологией, противоречием или ни тем, ни другим.

Решение. Составляем таблицу истинности:

И	И	И	И	И	И
И	И	Л	И	Л	Л
И	Л	И	Л	И	И
И	Л	Л	Л	Л	И
Л	И	И	Л	И	И
Л	И	Л	Л	Л	И
Л	Л	И	Л	И	И
Л	Л	Л	Л	Л	И

Как видно ниже, таблица истинности для такой замещающей логической операции идентична таблице истинности для импликации.

И	И	И
И	Л	Л
Л	И	И
Л	Л	И

Пример 11. Перепишите формулу логики высказываний без использования импликации и эквиваленции, пользуясь тождеством и законами де Моргана:

;

.

Заменяем импликацию между двумя парами скобок, отрицая самый левый знак отрицания:

.

Убираем эквиваленцию между p и q и между q и не r :

.

Используя закон де Моргана, немного упрощаем и окончательно получаем:

.

Посылки и выводы. Валидный и не валидный аргумент

Пример валидного аргумента:

То есть, из посылок логически следует вывод.

Пример не валидного аргумента:

То есть, из посылок логически не следует вывод.

Пример 12. Проверьте валидность аргумента, если

Решение. Составляем таблицу истинности:

И	И	Л	И	И	И
И	Л	Л	Л	Л	И
Л	И	И	И	И	Л
Л	Л	И	И	И	И

Применение логики высказываний в информатике и программировании

Так, может быть объявлена логическая переменная с именем «ПользовательЗарегистрирован» (или его англоязычный аналог), имеющая форму высказывания, которой может быть присвоено логическое значение «истина» при выполнении условий, что данные для регистрации отправлены пользователем и эти данные программой признаны годными. В дальнейших вычислениях значения переменных могут меняться в зависимости от того, какое логическое значение («истина» или «ложь») имеет переменная «ПользовательЗарегистрирован». В других случах переменной, например, с именем «ДоДняХОсталосьБолееТрёхДней», может быть присвоено значение «Истина» до некоторого блока вычислений, а в ходе дальнейшего исполнения программы это значение может сохраняться или меняться на «ложь» и от значения этой переменной зависит ход дальнейшего исполнения программы.

Если в программе используются несколько логических переменных, имена которых имеют форму высказываний, и из них строятся более сложные высказывания, то намного проще разрабатывать программу, если перед её разработкой записать все операции с высказываний в виде формул, применяемых в логике высказываний, чем мы в ходе этого урока и займёмся.

Источник