Простые цитаты. Умные и мудрые цитаты и высказывания о жизни. Ошибки… у кого их не бывает
Под высказыванием понимается языковое выражение, о котором можно сказать только одно из двух: истинно оно или ложно. Высказывание, в отличие от суждений, не имеет личностного характера.
Вопросы, просьбы, приказы, восклицания, отдельные слова (кроме случаев, когда они выступают представителями высказываний типа «вечереет», «похолодало» и т. п.) не являются высказываниями. Истинность и ложность высказываний являются их логическими значениями.
Высказывания делятся на атрибутивные, экзистенциальные и реляционные.
Атрибутивными называются высказывания, в которых утверждается или отрицается свойство или состояние предмета.
Экзистенциальными называются высказывания, которые утверждают или отрицают факт существования.
Реляционными называются высказывания, выражающие отношения между предметами.
Высказывания, как и их логические формы, бывают простыми и сложными. Сложное высказывание можно разбить на простые. Простые высказывания на более простые не расчленяются.
Простое атрибутивное высказывание имеет структуру, в которую входят субъект, предикат и связка.
Субъект высказывания (S) - это та часть высказывания, которая выражает предмет мысли.
Предикат высказывания (Р) - это часть высказывания, в которой отображается признак предмета мысли, его свойство, состояние, отношение.
Субъект (S) и предикат (Р) называются терминами. Связка указывает на то, в каком взаимоотношении находятся между собой термины (S и Р).
В атрибутивных высказываниях часто используются кванторы существования и общности.
Атрибутивные высказывания делятся по качеству и количеству.
По качеству они делятся на утвердительные и отрицательные. В утвердительных указывается на принадлежность (наличие) признака, мыслимого в предикате, субъекту высказывания: «S есть Р». Например: «Платон - философ-идеалист». В отрицательных указывается на непринадлежность предиката его субъекту: «S не есть Р».
По количеству высказывания делятся на единичные, частные и общие. Имеется в виду совокупность (число, количество) индивидуальных предметов, составляющих имя класса субъекта.
В единичных высказываниях субъект состоит из одного предмета.
Частные высказывания имеют форму: «Некоторые S есть (не есть) Р».
В общих высказываниях субъект охватывает все предметы. Такие высказывания имеют форму: «Все S есть (не есть) Р».
Высказывания классифицируются по качеству и количеству. Выделяются 4 класса высказываний:
1) общеутвердительное (А) - общее по количеству и утвердительное по качеству («Все S есть Р»);
2) частноутвердительное (J) - частное по количеству и утвердительное по качеству («Некоторые S есть Р»);
3) общеотрицательное (Е) - общее по количеству и отрицательное по качеству («Ни одно S не есть Р»);
4) частноотрицательное (О) - частное по количеству и отрицательное по качеству («Некоторые S не есть Р»).
В каждом классе высказываний соотношение объемов S и Р (терминов) различно. В логике проблема соотношения объемов S и Р называется проблемой распределенности терминов. Термин распределен, если он полностью входит в объем другого термина или полностью из него исключается.
В классе А |Все S есть Р| субъект полностью распределен в предикате, а предикат не распределен.
Математическая логика (ЧАСТЬ 1)
Что такое логический вывод?
Пусть дано два утверждения:
1. Фрукты могут расти на деревьях.
2. Яблоко это фрукт.
Так как оба эти утверждения истинны, то можно сказать, что утверждение «Яблоки могут расти на деревьях» также истинно. Это третье утверждение никак не содержится в двух первых, оно из них следует. Или, иначе говоря, третье утверждение является логическим выводом из первых двух.
Это был простой пример. Сейчас рассмотрим пример посложнее. Попробуем решить задачу из книги профессора Р.М. Смаллиана, «Принцесса или тигр».
Условие. В этой задаче необходимо выяснить: в какой из двух комнат находится принцесса, а в какой тигр. На дверях каждой из комнат есть таблички с некоторыми утверждениями, кроме того, дополнительно известно, что на одной табличке написана правда, а на другой нет, но на какой правда, а на какой ложь не известно. И ещё известно, что в каждой комнате кто-то есть.
1. В этой комнате находится принцесса, а в другой комнате сидит тигр. | 2. В одной из этих комнат находится принцесса; кроме того, в одной из этих комнат сидит тигр. |
Решение. Утверждения на табличках не могут быть одновременно истинными или ложными. Следовательно, возможны только две ситуации. Первая: первое истинно, а второе ложно и вторая: первое ложно, а второе истинно. Рассмотрим их.
Ситуация 1. Из истинности первого утверждения следует, что принцесса находится в первой комнате, а тигр во второй. В это же время из ложности второго утверждения следует, что нет комнаты, в которой находится принцесса и нет комнаты в которой сидит тигр. Следовательно, истинность первого утверждения и ложность второго невозможны одновременно.
Ситуация 2. Из истинности второго утверждения следует только то, что и тигр и принцесса имеются в наличии. Из ложности же первого следует, что принцесса находится во второй комнате, а тигр в первой. Анализируя вторую ситуацию, мы не получили противоречия, следовательно ситуация 2 и есть решение задачи.
Решение данной задачи есть пример более сложного рассуждения. Однако нетрудно заметить общий принцип. В этом рассуждении, так же как и в первом примере есть элементарные утверждения из истинности, которых следует истинность или ложность других утверждений. А цель логического вывода как раз и заключается в установлении истинности или ложности различных утверждений.
Логический вывод опирается на вроде бы очевидное утверждение, что при истинных исходных утверждениях и правильном логическом выводе, утверждение которое получается в результате такого вывода также истинно.
Остается выяснить, что такое правильный логический вывод. А это уже очень сложный вопрос. Чтобы на него ответить и нужна целая наука, называемая математической логикой. А сейчас нам нужно несколько определений.
Понятие высказывания
У всех утверждений, которые мы использовали выше в качестве примеров, есть одно общее свойство. Независимо от их смысла они могут быть либо истинными, либо ложными. Утверждения, обладающие таким свойством, называются высказываниями. Не всякое утверждение может быть высказыванием. К примеру, следующее утверждение: «Малахит самый красивый камень из всех известных самоцветов» высказыванием быть не может, так как это вопрос вкуса.
Бывают утверждения истинность или ложность, которых в принципе проверить можно, но только в принципе, реально же это невозможно. Например, невозможно проверить истинность следующего утверждения: «На планете Земля в настоящее время есть одно и только одно дерево, на котором растет ровно 10000 листьев». Теоретически это проверить можно, но только теоретически, так как для такой проверки придётся использовать слишком большое количество проверяющих, значительно большее чем проживает на планете людей.
Таким образом, математическая логика изучает только высказывания, и только то, как определять их истинность или ложность. Математическая логика не исследует смысл высказываний, из чего следует, что формулировка высказывания роли не играет и для высказывания достаточно ввести простое обозначение.
Собственно так и происходит. Высказывания обозначают просто буквами: А, В, С и т.д. и говорят о них только то, что они истинны или ложны.
Сложные высказывания. Логические операции
Ранее, мы говорили только о простых высказываниях, высказывания же могут быть и сложными состоящими из нескольких простых. Приведем пример:
Помидор может быть красным и помидор может быть круглым.
Это высказывание состоит из двух простых: «Помидор может быть красным», «Помидор может быть круглым» соединённых логической связкой «И». Объединение двух и более простых высказываний логической связкой «И» называется логической операцией конъюнкции. Результатом конъюнкции является сложное высказывание, истинность которого зависит от истинности входящих в него простых высказываний и определяется следующим правилом: Конъюнкция является истинной тогда и только тогда, когда истинны все входящие в неё высказывания.
В математической логике есть общепринятое обозначение конъюнкции – Ù. Если в конъюнкции участвуют два простых высказывания A и B, то это записывается так A Ù B.
Правило истинности для конъюнкции можно представить в виде следующей таблицы:
A | B | A and B |
Истинность в этой таблице записывается единицей, а ложность нулем. Если A имеет значение 0 и B имеет значение 1, то конъюнкция будет такая: 0 and 1 = 0, то есть ложь.
Конечно, конъюнкция не единственная логическая операция позволяющая строить из простых высказываний сложные. Дадим определение ещё нескольких:
Дизъюнкция. Сложное высказывание являющееся дизъюнкцией двух простых истинно, если истинно хотя бы одно простое высказывание, входящее в дизъюнкцию. Обозначается дизъюнкция следующим образом:
A Ú B. Её таблица истинности:
Эквиваленция. Сложное высказывание, построенное с помощью операции эквиваленции истинно в том случае, когда оба входящие в него высказывания одновременно истинны или одновременно ложны. Обозначается эквиваленция так: A ~ B. Таблица истинности приведена ниже.
С помощью логических операций можно строить логические выражения любой степени сложности, истинность которых также можно определять с помощью таблицы истинности. Возьмём в качестве примера следующее выражение: (A Ù B) ® (A Ú B) и построим для него таблицу истинности:
Из таблицы истинности данного выражения видно, что оно принимает истинное значение при любых значениях простых высказываний A и B. Такие выражения называются тождественно истинными. Выражения, принимающие всегда значение ложь, называются тождественно ложными.
Проверка истинности с помощью таблиц истинности не всегда проста. Логические выражения могут включать в себя много операций, количество элементарных высказываний, обозначаемых буквами, также может быть велико, а при достаточно большом количестве элементарных высказываний, таблица истинности может быть настолько велика, что построить её окажется просто невозможным.
Из таблиц приведённых выше видно, что, для их построения необходимо перебрать все возможные комбинации истинности и ложности элементарных высказываний. Для двух высказываний возможны четыре комбинации. Для трех, количество комбинаций равно 8. Для N высказываний количество комбинаций равно числу 2 N . То есть, например для N=10 2 N = 2 10 = 1024. Это уже слишком много.
В таких ситуациях уже нужны специальные приёмы для выяснения истинности и ложности выражения. Эти приёмы заключаются в упрощении исходного выражения, приведения его к стандартному, более простому виду. Под более простым видом, обычно понимается более короткое выражение, однако сократить логическое выражение может не получиться. Однако всегда можно уменьшить количество логических операций и всегда можно упростить форму логического выражения.
Существуют две стандартные формы, к которым можно привести любое логическое выражение.
Дизъюнктивная нормальная форма. Это логическое выражение представляющее собой дизъюнкцию элементарных конъюнкций, в которые входят элементарные высказывания или их отрицания.
Пример
(AÙBÙC)Ú(AÙùBÙùC)Ú(AÙBÙùC)
Конъюнктивная нормальная форма. Это логическое выражение представляющее собой конъюнкцию элементарных дизъюнкций, в которые входят элементарные высказывания или их отрицания.
(AÚùBÚC) Ù(AÚùBÚC)Ù (AÚBÚùC)
Истинность выражения представленного в нормальной форме проверяется значительно проще. Дизъюнктивная нормальная форма истинна если истинна хотя бы одна элементарная конъюнкция. Конъюнктивная нормальная форма ложна если ложна хотя бы одна элементарная дизъюнкция. Элементарная дизъюнкция истинна, если истинно хотя бы одно элементарное высказывание в неё входящее. Элементарная конъюнкция ложна, если ложно хотя бы одно элементарное высказывание в неё входящее (Отрицание высказывания элементарным не является).
Для того чтобы привести логическое выражение к одной из указанных выше форм применятся правила подстановки, переводящие логическое выражение в равнозначное (то есть имеющее точно такую же таблицу истинности). Ниже приведен список таких правил.
©2015-2019 сайт
Все права принадлежать их авторам. Данный сайт не претендует на авторства, а предоставляет бесплатное использование.
Дата создания страницы: 2016-04-11
Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно. В алгебре простым высказываниям ставятся в соответствии логические переменные (А, В, С и т.д.)
Логическая переменная
– это простое высказывание.
Логические переменные обозначаются прописными и строчными латинскими буквами (a-z, A-Z) и могут принимать всего два значения – 1, если высказывание истинно, или 0, если высказывание ложно.
Пример высказываний:
Логическая функция – это сложное высказывание, которое получается в результате проведения логических операций над простыми высказываниями.
Для образования сложных высказываний наиболее часто используются базовые логические операции
, выражаемые с помощью логических связок «и», «или», «не».
Например,
Многие люди не любят сырую погоду .
Пусть А = «Многие люди любят сырую погоду». Получаем логическую функцию F(A) = не А.
Связки “НЕ”, “И”, “ИЛИ” заменяются логическими операциями инверсия , конъюнкция , дизъюнкция . Это основные логические операции , при помощи которых можно записать любое логическое выражение.
Логическая формула (логическое выражение) – формула, содержащая лишь логические величины и знаки логических операций. Результатом вычисления логической формулы является ИСТИНА (1) или ЛОЖЬ (0).
Значение логической функции зависит от значений входящих в нее логических переменных. Поэтому значение логической функции можно определить с помощью специальной таблицы (таблицы истинности ), в которой перечислены все возможные значения входящих логических переменных и соответствующие им значения функции.
Основные (базовые) логические операции:
1. Логическое умножение (конъюнкция)
, от лат. konjunctio – связываю:
Объединение двух (или нескольких) высказываний в одно с помощью союза И;
в языках программирования – And.
Принятые обозначения: /\ , , и, and.
В алгебре множеств конъюнкции соответствует операция пересечения множеств.
Конъюнкция истинна тогда и только тогда, все, входящие в нее высказывания истинны.
Пример:
Рассмотрим составное высказывание «2 2 = 4 и 3 3 = 10». Выделим простые высказывания:
В = «3 3 = 10» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A /\ B = 1 /\ 0 = 0 (в соответствии с таблицей истинности), то есть данное составное высказывание ложное.
2. Логическое сложение (дизъюнкция)
, от лат. disjunctio – различаю:
Объединение двух (или нескольких) высказываний в одно с помощью союза ИЛИ;
в языках программирования – Or.
Обозначение: \/, +, или, or.
В алгебре множеств дизъюнкции соответствует операция объединения множеств.
Дизъюнкция ложна тогда и только тогда, все, входящие в нее высказывания ложны.
Пример:
Рассмотрим составное высказывание «2 2 = 4 или 2 2 = 5». Выделим простые выска-зывания:
А = «2 2 = 4» = 1 (т.к. это истинное высказывание)
В = «2 2 = 5» = 0 (т.к. это ложное высказывание)
Поэтому, логическая функция F(A, B) = A \/ B = 1 \/ 0 = 1 (в соответствии с таблицей истинности), то есть данное составное высказывание истинно.
3. Отрицание (инверсия) , от лат. InVersion – переворачиваю:
Соответствует частице НЕ, словосочетаниям НЕВЕРНО, ЧТО или НЕ ЯВЛЯЕТСЯ ИСТИНОЙ, ЧТО;
в языках программирования – Not;
Обозначение: не А, ¬А, not
В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества.
Инверси я логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.
Пример:
А = {два умножить на два равно четырем} = 1.
¬A= {Неверно, что два умножить на два равно четырем}= 0.
Рассмотрим высказывание А: “Луна - спутник Земли “; тогда ¬А будет формулироваться так: “Луна - не спутник Земли “.
Рассмотрим высказывание: «Неверно, что 4 делится на 3». Обозначим через А простое высказывание «4 делится на 3». Тогда логическая форма отрицания этого высказывания имеет вид ¬А
Приоритет логических операций:
Операции в логическом выражении выполняются слева направо с учетом скобок в
следующем порядке
:
1. инверсия;
2. конъюнкция;
3. дизъюнкция;
Для изменения указанного порядка выполнения логических операций используются круглые скобки.
Составные логические выражения
алгебры высказываний называют формулами.
Истинно или ложно значение формулы можно определить законами алгебры логики, не обращаясь к смыслу:
F = (0 \/ 1) /\ (¬0 \/ ¬1) = (0 \/ 1) /\ (1 \/ 0) =1 /\ 1=1 – истина
F = (¬0 /\ ¬1) \/ (¬1 \/ ¬1) = (1 /\ 0) \/ (0 \/ 0) = 0 \/ 0 = 0 – ложь
Простые и сложные высказывания, логические переменные и логические константы, логическое отрицание, логическое умножение, логическое сложение, таблицы истинности для логических операций
Для автоматизации информационных процессов необходимо уметь не только единообразно представлять информацию различных видов (числовую, текстовую, графическую, звуковую) в виде последовательностей нулей и единиц, но и определять действия, которые можно выполнять над информацией. Выполнение таких действий производится в соответствии с правилами, которым подчиняется процесс мышления. Говоря иначе, в соответствии с законами логики. Термин «логика» образован от древнегреческого слова 1 о§ 08 , означающего «мысль, рассуждение, закон». Наука логика изучает законы и формы мышления, способы доказательств.
Для описания рассуждений и правил выполнения действий с информацией используют специальный язык, принятый в математической логике. В основе рассуждений содержатся специальные предложения, называемые высказываниями. В высказываниях всегда что-либо утверждается или отрицается об объектах, их свойствах и отношениях между объектами. Высказыванием является любое суждение, относительно которого можно сказать, истинно оно или ложно. Высказываниями могут быть только повествовательные предложения. Вопросительные или побудительные предложения высказываниями не являются.
Высказывание - суждение, сформулированное в виде повествовательного предложения, о котором можно сказать, истинно оно или ложно.
Например, вопросительные предложения «В каком году было первое летописное упоминание о Москве?» и «Что является внешней памятью компьютера?» или побудительное предложение «Соблюдайте правила техники безопасности в компьютерном классе» высказываниями не являются. Повествовательные предложения «Первое летописное упоминание о Москве было в 1812 г.», «Оперативное запоминающее устройство является внешней памятью компьютера» и «В компьютерном классе не надо соблюдать правила техники безопасности» являются высказываниями, поскольку это суждения, о каждом из которых можно сказать, что оно ложно. Истинными высказываниями будут суждения «Первое летописное упоминание о Москве было в 1147 г.», «Жесткий магнитный диск является внешней памятью компьютера».
Каждому высказыванию соответствует только одно из двух значений: или «истина», или «ложь», которые являются логическими константами. Истинное значение принято обозначать цифрой 1, а ложное значение - цифрой 0. Высказывания можно обозначать с помощью логических переменных, в качестве которых используются заглавные латинские буквы. Логические переменные могут принимать только одно из двух возможных значений: «истина» или «ложь». Например, высказывание «Информация в компьютере кодируется с помощью двух знаков» можно обозначить логической переменной А, а высказывание «Принтер является устройством хранения информации» можно обозначить логической переменной В. Поскольку первое высказывание соответствует действительности, то А = 1. Такая запись означает, что высказывание А истинно. Так как второе высказывание не соответствует действительности, то В = 0. Такая запись означает, что высказывание в ложно.
Высказывания могут быть простыми и сложными. Высказывание называется простым, если никакая его часть не является высказыванием. До сих пор были приведены примеры простых высказываний, которые обозначались логическими перемены ми. Выстраивая цепочку рассуждений, человек с помощью логических операций объединяет простые высказывания в сложнее" высказывания. Чтобы узнать значение сложного высказывания нет необходимости вдумываться в его содержание. Достаточно знать значение простых высказываний, составляющих сложное высказывание, и правила выполнения логических операций.
Логическая операция - действие, позволяющее составлять сложное высказывание из простых высказываний.
Все рассуждения человека, а также работа современных технических устройств основываются на типовых действиях с информацией - трех логических операциях: логическом отрицании (инверсии), логическом умножении (конъюнкции) и логическом сложении (дизъюнкции).
Логическое отрицание простого высказывания получают добавлением слов «Неверно, что» в начале простого высказывания.
■ ПРИМЕР 1. Имеется простое высказывание «Крокодилы умеют летать». Результатом логического отрицания будет высказывание «Неверно, что крокодилы умеют летать». Значение исходного высказывания - «ложь», а значение нового - «истина».
■ ПРИМЕР 2. Имеется простое высказывание «Файл должен иметь имя». Результатом логического отрицания будет высказывание «Неверно, что файл должен иметь имя». Значение исходного высказывания - «истина», а значение нового высказывания - «ложь».
Можно заметить, что логическое отрицание высказывания истинно, когда исходное высказывание ложно, и наоборот, логическое отрицание высказывания ложно, когда исходное высказывание истинно.
Логическое отрицание (инверсия) - логическая операция, ставящая в соответствие простому высказыванию новое высказывание, значение которого противоположно значению исходного высказывания.
Обозначим простое высказывание логической переменной А. Тогда логическое отрицание этого высказывания будем обозначать НЕ А. Запишем все возможные значения логической переменной А и соответствующие результаты логического отрицания НЕ А в виде таблицы, которая называется таблицей истинности для логического отрицания (табл. 40).
ТАБЛИЦА ИСТИННОСТИ ДЛЯ ЛОГИЧЕСКОГО ОТРИЦАНИЯ
Если/1 = 0, то НЕ А = 1 (см. пример 1). Если А = 1, то НЕ А = 0 (см. пример 2) |
|
Можно заметить, что в таблице истинности для логического отрицания ноль меняется на единицу, а единица меняется на ноль.
Логическое умножение двух простых высказываний получают объединением этих высказываний с помощью союза и. Разберем на примерах 3-6, что будет являться результатом логического умножения.
■ ПРИМЕР 3. Имеются два простых высказывания. Одно высказывание - «Карлсон живет в подвале». Другое высказывание - «Карлсон лечится мороженым».
Результатом логического умножения этих простых высказываний будет сложное высказывание «Карлсон живет в подвале, и Карлсон лечится мороженым». Можно сформулировать новое высказывание более кратко: «Карлсон живет в подвале и лечится мороженым». Оба исходных высказывания ложны. Значение нового сложного высказывания также «ложь».
■ ПРИМЕР 4. Имеются два простых высказывания. Первое высказывание - «Карлсон живет в подвале». Второе высказывание - «Карлсон лечится вареньем».
Результатом логического умножения этих простых высказываний будет сложное высказывание «Карлсон живет в подвале и лечится вареньем». Первое исходное высказывание ложно, а второе истинно. Значение нового сложного высказывания - «ложь».
■ ПРИМЕР 5. Имеются два простых высказывания. Первое высказывание - «Карлсон живет на крыше». Второе высказывание - «Карлсон лечится мороженым».
Результатом логического умножения этих простых высказываний будет сложное высказывание «Карлсон живет на крыше и лечится мороженым». Первое исходное высказывание истин но, а второе ложно. Значение нового сложного высказывания «ложь».
* ПРИМЕР б . Имеются два простых высказывания. Одно высказывание - «Карлсон живет на крыше». Другое высказывание «Карлсон лечится вареньем».
Результатом логического умножения этих простых высказываний будет сложное высказывание «Карлсон живет на крыше и лечится вареньем». Оба исходных высказывания истинны. Зпачение нового сложного высказывания также «истина».
Можно заметить, что логическое умножение двух высказываний истинно только в одном случае - когда оба исходных высказывания истинн ы.
Логическое умножение (конъюнкция) - логическая операция, ставящая в соответствие двум простым высказываниям новое высказывание, значение которого истинно тогда и только тогда, когда оба исходных высказывания истинны.
ТАБЛИЦА ИСТИННОСТИ ДЛЯ ЛОГИЧЕСКОГО УМНОЖЕНИЯ
Таблица 41
A и B |
||
Если А = 0, В =0, то А И В- 0 (см. пример 3). Если А = 0, 7? = 1, то А И В - 0 (см. пример 4). Если/1 = 1, В = 0, то А И й=0 (см. пример 5). Если Л = \, В = \, то А\\ В = \ (см. пример 6).
Можно заметить, что результаты логического умножения совпадают с результатами обычного умножения нулей и единиц.
Логическое сложение двух простых высказываний получают объединением этих высказываний с помощью союза или. Разберем на примерах 7-10, что будет являться результатом логического сложения.
ПРИМЕР 7 . Имеются два простых высказывания. Одно высказывание - «Комедию «Ревизор» написал М. Ю. Лермонтов». Другое высказывание - «Комедию «Ревизор» написал И. А. Крылов».
Результатом логического сложения этих простых высказываний будет сложное высказывание «Комедию «Ревизор» написал М. Ю. Лермонтов или И. А. Крылов». Оба исходных высказываний ложны. Значение нового сложного высказывания также «ложь».
ПРИМЕР 8. Имеются два простых высказывания. Первое высказывание - «Комедию «Ревизор» написал М. Ю. Лермонтов». Второе высказывание - «Комедию «Ревизор» написал Н. В. Гоголь».
Результатом логического сложения этих простых высказыва ний будет сложное высказывание «Комедию «Ревизор» написал М, К). Лермонтов или Н. В. Гоголь». Первое исходное вы ысказывание ложно, а второе истинно. Значение нового сложного высказывания - «истина» .
ПРИМЕР 9 . Имеются два простых высказывания. Первое высказывание - «Поэму «Мцыри» написал М. Ю. Лермонтов». Второе высказывание - «Поэму «Мцыри» написал Н. В. Гоголь» . Результатом логического сложения этих простых высказываний будет сложное высказывание «Поэму «Мцыри» написал М. Ю. Лермонтов или Н. В. Гоголь». Первое исходное высказывание истинно, а второе ложно. Значение нового сложного высказывания - «истина» .
ПРИМЕР 10 . Имеются два простых высказывания. Одно высказывание - «А. С. Пушкин писал стихи» Другое высказывание -«А. С. Пушкин писал прозу». Результатом логического сложения этих простых высказываний будет сложное высказывание «А. С. Пушкин писал стихи или прозу». Оба исходных высказывания истинны. Значение нового сложного высказывания также «истина» .
Можно заметить, что логическое сложение двух высказываний ложно только в одном случае - когда оба исходных высказывания ложны.
Логическое сложение (дизъюнкция) - логическая операция, ставящая в соответствие двум простым высказываниям новое высказывание, значение которого ложно тогда и только тогда, когда оба исходных высказывания ложны.
Обозначим одно простое высказывание логической переменной А, а другое простое высказывание логической переменной В.
Тогда логическое сложение этих высказываний будем обозначать А ИЛИ В
Запишем все возможные значения логических переменных A , B , а так же соответствующий результат логического сложения А ИЛИ В в виде таблицы которая называется таблицей истинности.
Действия с двоичными знаками выполняются в соответствии с таблицами истинности для логического сложения
Если А=0, В =0, то А ИЛИ В =0 (см.пример 7) Если А=0, В =1, то А ИЛИ В =1 (см.пример 8) Если А=1, В =0, то А ИЛИ В =1 (см.пример 9) Если А=1, В =1, то А ИЛИ В =1 (см.пример 10) |
|
Можно заметить, что результаты логического сложения, кроме последней строки, совпадают с результатами обычного сложения нулей и единиц.
Таким образом, используя язык логики, рассуждения можно заменить действиями с высказываниями. Высказываниям, в свою очередь, можно поставить в соответствие двоичный знак - 0 или 1. Действия с двоичными знаками выполняются в соответствии с таблицами истинности для основных логических операций логического отрицания, логического умножения и логического сложения (см. табл. 40-42)
23. Высказывания. Логические операции
Логическое сложение (дизъюнкция) двух высказываний ложно
1) тогда и только тогда, когда оба высказывания истинны
2) тогда и только тогда, когда оба высказывания ложны
3) когда хотя бы одно высказывание истинно
4) когда хотя бы одно высказывание ложно
Логические выражения. Выполнение логических операций
Запись логических выражений, приоритет выполнения логических операций, нахождение значения логического выражения, выполнение логических операций с информацией различного вида Логическое отрицание, логическое умножение и логическое сложение образуют полную систему логических операций, с помощью которой можно составить любое сложное высказывание и определить его истинность. При описании рассуждений с помощью языка математической логики простые высказывания обозначаются логическими переменными (латинскими буквами), значения высказываний обозначаются логическими константами (нулями или единицами), а логические операции обозначаются специальными связками (НЕ, И, ИЛИ). Запись, составляемая с помощью таких переменных, констант и связок, получила название логического выражения.
Логическое выражение - символическая запись на языке математической логики, составленная из логических переменных или логических констант, объединенных логическими операциями (связками).
При нахождении значения логического выражения логические операции выполняются в определенном порядке, согласно их приоритету - вначале логическое отрицание, потом логическое умножение и лишь затем логическое сложение. Логические операции, имеющие один и тот же приоритет, выполняются слева направо. Для изменения порядка выполнения логических операций используются скобки.
■ ПРИМЕР 1. Дано простое истинное высказывание А = «Аристотель - древнегреческий философ» и простое ложное высказывание В = «Аристотель - древнерусский философ».
Действия над информацией. Основные операции
значения сложных высказываний, которые соответствуют следующим логическим выражениям:
1) НЕ А;
2) А ИЛИ В;
3) А И (НЕВ).
Решение. 1) Результатом логического отрицания высказывания А будет высказывание «Неверно, что Аристотель - древнегреческий философ». Поскольку значение исходного высказывания «истина» А = 1, то значение логического отрицания этого высказывания «ложь» НЕ А =0 (см. табл. 40). 2) Результатом логического сложения двух высказываний будет высказывание «Аристотель - древнегреческий или Аристотель -древнерусский философ». Поскольку значение первого исходного высказывания «истина» А = 1, а значение второго исходного высказывания «ложь» В = 0, то значение логического сложения этих высказываний «истина» А ИЛИ В =1 (см. табл. 42). 3) Результатом логического умножения высказывания А и логического отрицания высказывания В будет высказывание «Аристотель - древнегреческий философ, и неверно, что Аристотель - древнерусский философ». Вначале выполняем логическое отрицание высказывания В. Поскольку значение исходного высказывания «ложь» В = 0, то значение логического отрицания этого высказывания «истина» НЕ В = 1 (см. табл. 40). Поскольку значение первого исходного высказывания «истина» А = 1 и значение логического отрицания второго исходного высказывания «истина» НЕ В =1, то значение логического умножения этих высказываний «истина» А И (НЕ В) =1
(см. табл. 41)
Ответ. 1) «Ложь»; 2) «истина»; 3) «истина». Для нахождения значения сложного высказывания достаточно знать значения простых высказываний, входящих в сложное высказывание, и правила выполнения логических операций, которые объединяют эти простые высказывания.
■ ПРИМЕР 2. Найти значение логического выражения НЕ А ИЛИ (0 ИЛИ 1) И (НЕ В И 1), если значения логических переменных А =1, В =0.
Решение . 1) Заменим в логическом выражении логические переменные логическими константами. НЕАИЛИ(0ИЛИ 1)И(НЕВИ 1)= =НЕ1ИЛИ(0ИЛИ1)И(НЕ0И1).
2) Определим последовательность выполнения логических операций в соответствии с их приоритетом. НЕ4 1 ИЛИ6 (0 ИЛИ1 1) И5 (НЕг 0 И3 1).
Высказывания отрицания
Среди высказываний отрицания различают высказывания с внешним и внутренним отрицанием. В зависимости от задач исследования высказывание отрицания можно рассматривать или как простое, или как сложное высказывание.
При рассмотрении высказывания отрицания как простого высказывания важной задачей является определение правильной логической формы высказывания:
Простое высказывание, содержащее внутреннее отрицание, принято относить к отрицательным высказываниям (см. «Виды атрибутивных высказывания по качеству»). Например: «Некоторые жители Республики Беларусь не пользуются банковскими кредитами», «Ни один заяц не является хищником»;
Правильной логической формой простого высказывания с внешним отрицанием является противоречащее данному высказывание (см. «Логические отношения между высказываниями. Логический квадрат»). Например: высказыванию «Не все люди жадные» соответствует высказывание «Некоторые люди не являются жадными ».
Рассматривая высказывание отрицания как сложное высказывание, необходимо определить его логическое значение.
Исходное высказывание: Солнце светит (р).
Высказывание отрицания: Солнце не светит (┐р).
Высказывание двойного отрицания: Неверно, что солнце не светит (┐┐р).
р | ┐р | ┐┐р |
И | Л | И |
Л | И | Л |
Рис. 16 |
Высказывание отрицание истинно лишь тогда, когда исходное высказывание ложно, и наоборот. С высказыванием отрицания связан закон двойного отрицания: двойное отрицание произвольного высказывания равносильно самому этому высказыванию. Условия истинности высказывания отрицания изображены на рис. 16.
Сложным считается высказывание, состоящее из нескольких простых высказываний, соединенных при помощи логических союзов «и», «или», «если…, то…» и т. д. К сложным высказываниям относят соединительные, разделительные, условные, эквивалентные высказывания, а также высказывания отрицания.
Соединительное высказывание (конъюнкция) – это сложное высказывание, состоящее из простых, соединенных при помощи логической связки «и». Логический союз «и» (конъюнкция) может выражаться в естественном языке грамматическими союзами «и», «но», «однако», «а также» и т. д. Например: «Набежали тучи, и пошел дождь», «И большие и малые радуются хорошему дню» . На символическом языке логики данные высказывания записываются следующим образом: p∧q . Конъюнкция истинна лишь тогда, когда истинны все ее составляющие простые высказывания (рис. 17).
Разделительное высказывание (дизъюнкция). Различают слабую и сильную дизъюнкцию. Слабой дизъюнкции соответствует употребление союза «или» в соединительно-разделительном смысле (или то, или другое, или то и другое вместе). Например: «Этот студент спортсмен или отличник» (p⋁q ), «Наследственные факторы, плохая экология и вредные привычки являются причинами большинства заболеваний» (p⋁q⋁r ). Слабая дизъюнкция истинна тогда, когда истинно хотя бы одно из входящих в ее состав простых высказываний (см. рис. 17).
Сильной дизъюнкции соответствует употребление союза «либо» в исключающе-разделительном смысле (либо то, либо другое, но не то и другое вместе). Например: «Вечером я буду на занятиях или пойду на дискотеку», «Человек либо жив, либо мертв» . Символическая запись p⊻q . Сильная дизъюнкция истинна тогда, когда истинно только одно из входящих в ее состав простых высказываний (см. рис. 17).
Условное высказывание (импликация) – это сложное высказывание, состоящее из двух частей, соединенных с помощью логического союза «если…, то…». Высказывание, стоящее после частицы «если», называют основанием, а высказывание, стоящее после «то» – следствием. При логическом анализе условных высказываний основание импликации всегда ставится вначале. В естественном языке это правило часто не соблюдается. Пример условного высказывания: «Если ласточки низко летают, то будет дождь» (p→q ). Импликация ложна лишь в одном случае, когда ее основание истинно, а следствие – ложно (см. рис. 17).
Эквивалентное высказывание – это высказывание, состоящее из простых, соединенных с помощью логического союза «тогда и только тогда, когда» («если и только если…, то…). В эквивалентном высказывании подразумевается одновременное наличие или отсутствие двух ситуаций. В естественном языке эквиваленция может выражаться грамматическими союзами «если…, то…», «лишь в том случае, когда…» и т. д. Например: «Наша команда выиграет лишь в том случае, если хорошо подготовится » (p↔q ). Эквивалентное высказывание будет истинным тогда, когда составляющие его высказывания являются либо одновременно истинными, либо одновременно ложными (см. рис. 17).
Для формализации рассуждения необходимо:
1) найти и обозначить малыми согласными буквами латинского алфавита простые высказывания, входящие в состав сложного. Переменные присваиваются произвольно, но если одно и то же простое высказывание встречается несколько раз, то столько же раз используется соответствующая переменная;
2) найти и обозначить логическими константами логические союзы (∧, ⋁, ⊻, →. ↔, ┐);
3) в случае необходимости расставить технические знаки [...], (...).
На рис. 18 изображен пример формализации сложного высказывания.
Я уже освободился (p) и (∧) , если меня не задержат (┐q ) или (⋁)не сломается автомобиль (┐r), то(→) я скоро приеду (s) .
p ∧ ((┐q ⋁ ┐r) → s
Рис. 18
После того как высказывание записано в символическом виде, можно определить тип формулы. В логике различают тождественно-истинные, тождественно-ложные и нейтральные формулы. Тождественно-истинные формулы независимо от значений входящих в их состав переменных всегда принимают значение «истина», а тождественно-ложные – значение «ложно». Нейтральные формулы принимают как значение «истина», так и значение «ложно».
Для определения типа формулы используется табличный способ, сокращенный способ проверки формулы на истинность методом «сведения к абсурду» и приведение формулы к нормальной форме. Нормальной формой некоторой формулы является такое ее выражение, которое соответствует следующим условиям:
Не содержит знаков импликации, эквиваленции, строгой дизъюнкции и двойного отрицания;
Знаки отрицания находятся только при переменных.
Табличный способ определения типа формулы:
1. Строят столбцы входных значений для каждой из имеющихся переменных. Эти столбцы называют свободными (независимыми), в них учитывают все возможные комбинации значений переменных. Если в формуле две переменные, то строят два свободных столбца, если же три переменные, то три столбца и т. д.
2. Для каждой подформулы, то есть части формулы, содержащей хотя бы один союз, строят столбец ее значений. При этом учитываются значения свободных столбцов и особенности логического союза (см. рис. 17).
3. Строят столбец выходных значений для всей формулы в целом. По значениям, полученным в выходном столбце, определяют тип формулы. Так, если в выходном столбце имеется только значение «истина», то формула будет относиться к тождественно-истинным и т.д.
Таблица истинности для формулы (p ^ q) → r | ||||
p | q | r | p ^ q | (p ^ q) → r |
И | И | И | И | И |
Л | И | Л | Л | И |
Л | Л | И | Л | И |
И | Л | Л | Л | И |
И | И | Л | И | Л |
И | Л | И | Л | И |
Л | И | И | Л | И |
Л | Л | Л | Л | И |
Рис. 19 |
Число столбцов в таблице равняется сумме переменных, входящих в формулу, и имеющихся в ней союзов. (Например: в формуле на рис. 18 четыре переменных и пять союзов, следовательно, в таблице будет девять столбцов).
Количество строк в таблице вычисляется по формуле С = 2 n , где n – количество переменных. (В таблице по формуле на рис. 18 должно быть шестнадцать строк.)
На рис. 19 изображен пример таблицы истинности.
Сокращенный способ проверки формулы на истинность методом сведения к абсурду:
((p⋁q)⋁r)→(p⋁(q⋁r))
1. Предположим, что данная формула не является тождественно-истинной. Следовательно, при некотором наборе значений она принимает значение «ложно».
2. Данная формула может принимать значение «ложно» только в том случае, если основание импликации (p⋁q)⋁r будет «истинно», а следствие p⋁(q⋁r) – «ложно».
3. Следствие импликации p⋁(q⋁r) будет ложным в том случае, когда р – «ложно» и q⋁r – «ложно» (см. значение слабой дизъюнкции на рис. 17).
4. Если q⋁r – «ложно», то и q и r – «ложно».
5. Мы установили что р – «ложно», q – «ложно» и r – «ложно». Основание импликации (p⋁q)⋁r представляет собой слабую дизъюнкцию этих переменных. Так как слабая дизъюнкция принимает значение «ложно» тогда, когда ложными являются все ее составляющие, то основание импликации (p⋁q)⋁r тоже будет «ложным».
6. В п. 2 установили, что основание импликации (p⋁q)⋁r – «истинно», а в п. 5 что оно является «ложным». Возникшее противоречие свидетельствует о том, что предположение, сделанное нами в п. 1, ошибочно.
7. Так как данная формула ни при каком наборе значений своих переменных не принимает значение «ложно», то она является тождественно-истинной.
3.8. Логические отношения между высказываниями
(логический квадрат)
Между высказываниями, имеющими сходный смысл, устанавливаются связи. Рассмотрим отношения между простыми и сложными высказываниями.
В логике всю совокупность высказываний разделяют на сравнимые и несравнимые. Несравнимыми среди простых высказываний являются высказывания, имеющие различные субъекты или предикаты. Например: «Все студенты – учащиеся» и «Некоторые студенты – отличники» .
Сравнимыми являются высказывания с одинаковыми субъектами и предикатами и различающиеся связкой и квантором. Например: «Все граждане Республики Беларусь имеют право на отдых» и «Ни один гражданин Республики Беларусь не имеет право на отдых».
|
Среди сравнимых высказываний различают совместимые и несовместимые.
Отношение совместимости
1. Эквивалентность (полная совместимость) – высказывания, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную утвердительную или отрицательную связку, одну и ту же логическую характеристику. Эквивалентные высказывания различаются словесным выражением одной и той же мысли. С помощью логического квадрата отношения между данными высказываниями не иллюстрируются.
2. Частичная совместимость (подпротивность, субконтрарность ). В этом отношении находятся частноутвердительное и частноотрицательное высказывания (I и О). Это означает, что два таких высказывания могут быть одновременно истинными, но не могут быть одновременно ложными. Если одно из них ложно, то второе обязательно истинно. Если же одно из них истинно, то второе неопределенно.
3. Подчинение (субординация ). В этом отношении находятся общеутвердительное и частноутвердительное высказывания (А и I), а также общеотрицательное и частноотрицательное высказывания (Е и О).
Из истинности общего высказывания всегда следует истинность частного. В то время как истинность частного высказывания свидетельствует о неопределенности общего высказывания.
Из ложности частного высказывания всегда следует ложность общего высказывания, но не наоборот.
Отношение несовместимости. Несовместимыми являются высказывания, которые не могут быть одновременно истинными:
1. Противоположность (противность, контрарность) – в этом отношении находятся общеутвердительное и общеотрицательное высказывания (А и Е). Это отношение означает, что два таких высказывания не могут быть одновременно истинными, но могут быть одновременно ложными. Если одно из них истинно, то второе обязательно – ложно. Если же одно из них ложно, то второе неопределенно.
2. Противоречие (контрадикторность) – в нем находятся обще-утвердительное и частноотрицательное высказывания (A и О), а также общеотрицательное и частноутвердительное высказывания (Е и I). Два противоречащих высказывания не могут быть ни одновременно ложными, ни одновременно истинными. Одно обязательно истинно, а другое ложно.
Сравнимыми среди сложных высказываний являются высказывания, имеющие хотя бы одну одинаковую составляющую. В противном случае сложные высказывания несравнимы.
Сравнимые сложные высказывания могут быть совместимыми или несовместимыми.
Отношение совместимости означает, что высказывания могут быть одновременно истинными:
p | q | p→q | q→p |
И | И | И | И |
И | Л | Л | И |
Л | И | И | Л |
Л | Л | И | И |
Рис. 22 |
3. Отношение следования (подчинения ) означает, что из истинности одного высказывания следует истинность другого, но не наоборот (рис. 23). |
|
||||||||||||||||||||||||||||||||||||||||||||||
4. Отношение сцепления означает, что истинность (ложность) одного высказывания не исключает ложности (истинности) другого (рис. 24). |
|
Отношение несовместимости означает, что высказывания не могут быть одновременно истинными:
p | q | p→q | p∧┐q |
И | И | И | Л |
И | Л | Л | И |
Л | И | И | Л |
Л | Л | И | Л |
Рис. 26 |