Высказывание истинно тогда и только тогда когда и в истинны одновременно

Обновлено: 22.12.2024

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

Для автоматизации информационных процессов необходимо уметь не только единообразно представ­лять информацию различных видов (числовую, текс­товую, графическую, звуковую) в виде последова­тельностей нулей и единиц, но и определять дейст­вия, которые можно выполнять над информацией. Выполнение таких действий производится в соответ­ствии с правилами, которым подчиняется процесс мышления. Говоря иначе, в соответствии с законами логики. Термин «логика» образован от древнегрече­ского слова 1 о§ 08 , означающего «мысль, рассуждение, закон». Наука логика изучает законы и формы мыш­ления, способы доказательств.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Читайте также: