Конъюнкция
Конъюнкция 1 – это суждение, полученное из любых двух других суждений посредством логического союза «и».
Пример. Если суждения «Сегодня жарко» и «Вчера было холодно» соединить связкой «и», получится конъюнкция «Сегодня жарко и вчера было холодно».
Конъюнкция истинна только в случае, когда оба входящих в нее суждения являются истинными.
Если хотя бы один из ее членов ложен, то и вся конъюнкция ложна.
Суждение А может быть либо истинным, либо ложным, и то же самое можно сказать о суждении В. Следовательно, возможны четыре пары значений истинности для этих суждений.
Обозначим конъюнкцию символом «˄». Используется также символ «&». Таблица истинности для конъюнкции такова.
Дизъюнкция
Нестрогая дизъюнкция 2 – это суждение, полученное из любых двух суждений при помощи логического союза «или».
В повседневном языке слово «или» имеет два разных смысла. Иногда оно означает «одно или другое или оба», а иногда «одно или другое, но не оба вместе». В логике и математике слово «или» всегда употребляется в неисключающем значении.
Итак, дизъюнкция является нестрогой, если ее члены не исключают друг друга.
Пример. Суждение «В этом сезоне я хочу пойти на “Пиковую даму” или на “Аиду”» является нестрогой дизъюнкцией.
Строгая дизъюнкция ‒ это суждение, полученное из любых двух суждений при помощи логического союза «либо…, либо…».
Суждение, содержащее строгую дизъюнкцию, иногда называется альтернативным.
Пример. В суждении «Он учится в Московском или в Саратовском университете» подразумевается, что упоминаемый человек учится только в одном из этих университетов.
Нестрогая дизъюнкция означает, что, по крайней мере, одно из этих суждений истинно, независимо от того, истинны они оба или нет. Строгая дизъюнкция означает, что одно из них истинно, а второе – ложно.
Символ «v» обозначает нестрогую дизъюнкцию, символ «V» – строгую дизъюнкцию. Применяются также другие обозначения.
Нестрогая дизъюнкция истинна, когда хотя бы одно из входящих в нее суждений истинно, и ложна тогда, когда оба ее члена ложны.
Строгая дизъюнкция истинна, когда истинным является только один из ее членов, и она ложна, когда оба ее члена истинны или оба ложны.
Таблица истинности для дизъюнкции такова.
A v В
A V B
Импликация
Импликация 3 – это суждение, полученное из любых двух суждений посредством логического союза «если …, то …».
Примеры. «Если есть огонь, то есть дым», «Если число делится на 9, то оно делится на 3» и т.п.
Суждение, которому предпослано слово «если», называется основанием, или антецедентом 4 . Суждение, идущее после слова «то», называется следствием, или консеквентом 5 . Антецедент ‒ достаточное условие для консеквента, консеквент – необходимое условие для антецедента.
Логический союз «если . то . » может выражаться с помощью различных языковых средств.
Пример. «Так как вода ‒ жидкость, она передает давление во все стороны равномерно».
Импликация не предполагает, что суждения А и В как-то связаны между собой по содержанию. В случае истинности В суждение «если А, то В» истинно независимо от того, является А истинным или ложным и связано оно по смыслу с В или нет.
Не может случиться так, чтобы основание было истинным, а следствие – ложным.
Только когда основание истинно, а следствие ложно, вся импликация ложна.
Примеры. Истинными считаются суждения: «Если на Солнце есть жизнь, то дважды два равно четырем», «Если Волга – озеро, то Токио – большой город» и т.п. К истинным относятся, к примеру, высказывания: «Если Солнце – куб, то Земля – треугольник», «Если дважды два равно пяти, то Токио ‒ маленький город» и т.п.
В обычном рассуждении все эти суждения вряд ли будут рассматриваться как имеющие смысл и еще в меньшей степени как истинные.
Будем обозначать импликацию символом «→». Таблица истинности для импликации такова.
Основы логики. Логические операции и таблицы истинности
На данной странице будут рассмотренны 5 логических операций: конъюнкция, дизъюнкция, инверсия, импликация и эквивалентность, которых Вам будет достаточно для решения сложных логических выражений. Также мы рассмотрим порядок выполнения данных логических операций в сложных логических выражениях и представим таблицы истинности для каждой логической операции. Советуем Вам воспользоваться нашими программами для решения задач по математике, геометрии и теории вероятности. Помоми большого количества программ для решения задач на сайте работает форум, на котором Вы всегда можете задать вопрос и на котором Вам всегда помогуть с решением задач. Пользуйтесь нашими сервисами на здоровье!
Глоссарий, определения логики
Высказывание — это повествовательное предложение, про которое можно определенно сказать истинно оно или ложно (истина (логическая 1), ложь (логический 0)).
Логические операции — мыслительные действия, результатом которых является изменение содержания или объема понятий, а также образование новых понятий.
Логическое выражение — устное утверждение или запись, в которое, наряду с постоянными величинами, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных величин (объектов) логическое выражение может принимать одно из двух возможных значений: истина (логическая 1) или ложь (логический 0).
Сложное логическое выражение — логическое выражение, состоящее из одного или нескольких простых логических выражений (или сложных логических выражений), соединенных с помощью логических операций.
Логические операции и таблицы истинности
1) Логическое умножение или конъюнкция:
Конъюнкция — это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.
Обозначение: F = A & B.
Таблица истинности для конъюнкции
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
2) Логическое сложение или дизъюнкция:
Дизъюнкция — это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны.
Обозначение: F = A + B.
Таблица истинности для дизъюнкции
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
3) Логическое отрицание или инверсия:
Инверсия — это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.
Таблица истинности для инверсии
| A | неА |
| 1 | 0 |
| 0 | 1 |
4) Логическое следование или импликация:
Импликация — это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. Тоесть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.
Таблица истинности для импликации
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
5) Логическая равнозначность или эквивалентность:
Эквивалентность — это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность.
Таблица истинности для эквивалентности
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
Порядок выполнения логических операций в сложном логическом выражении
1. Инверсия;
2. Конъюнкция;
3. Дизъюнкция;
4. Импликация;
5. Эквивалентность.
Для изменения указанного порядка выполнения логических операций используются скобки.
Основы математической логики
Второй урок практического курса высшей алгебры будет посвящён основам математической логики, которая представляет собой не только отдельный раздел математики, но и имеет огромное значение при изучении всей вышки (да и не только вышки). «Существует и единственно», «из этого следует это», «необходимое условие», «достаточность», «тогда и только тогда» – знакомые обороты, не правда ли? И это не просто «дежурные» штампы, которыми можно пренебречь – это устойчивые выражения, обладающие строгим смыслом, с которым мы и познакомимся в данной статье. Кроме того, материал будет полезен начинающим изучать непосредственно математическую логику – я рассмотрю её базу: высказывания и действия над ними, формулы, основные законы + некоторые практические задачи. И, конечно же, вы узнаете очень важное, а местами и весьма забавное отличие матлогики от нашей «обычной» логики. Начинаем закладывать фундамент:
Высказывания и высказывательные формы
Высказывание – это предложение, о котором можно сказать, истинно оно или ложно. Высказывания обычно обозначают строчными латинскими буквами , а их истинность/ложность единицей и нулём соответственно:
– данная запись (не путать с модулем!) говорит нам о том, что высказывание истинно;
– а эта запись – о том, что высказывание ложно.
– черепахи не летают;
– Луна квадратная;
– дважды два будет два;
– пять больше, чем три.
Совершенно понятно, что высказывания и истинны: ,
а высказывания и – ложны:
Разумеется, далеко не все предложения являются высказываниями. К таковым, в частности относятся вопросительные и побудительные предложения:
Вы не подскажете, как пройти в библиотеку?
Пойдём в баню!
Очевидно, что здесь не идёт речи об истине или лжи. Как не идёт о них речи и в случае неопределённости либо неполной информации:
Завтра Петя сдаст экзамен – даже если он всё выучил, то не факт, что сдаст; и наоборот – если ничего не знает, то может и сдаст «на шару».
…да ладно, Петь, не переживай – сдашь =)
– а тут мы не знаем, чему равно «эн», поэтому это тоже не высказывание.
Однако последнее предложение можно доопределить до высказывания, а точнее, до высказывательной формы, указав дополнительную информацию об «эн». Как правило, высказывательные формы записываются с так называемыми кванторами. Их два:
– квантор общности (перевёрнутая буква A – от англ. All) понимается и читается как «для всех», «для любого (ой) (ых) »;
– квантор существования (развёрнутая буква E – от англ. Exist) понимается и читается как «существует».
– для любого натурального числа выполнено неравенство . Данная высказывательная форма ложна, поскольку ей, очевидно, не соответствуют натуральные числа .
– а вот это высказывательная форма уже истинна, как истинно и, например, такое утверждение:
…ну а что, разве существует натуральное число, которое меньше, чем –10?
Предостерегаю вас от опрометчивого использования данного квантора, ибо «для любого» может на поверку оказаться вовсе и «не для любого».
Внимание! Если вам что-то не понятно в обозначениях, пожалуйста, вернитесь к уроку о множествах.
– существует натуральное число, которое больше двух. Истина …и, главное, не поспоришь =)
Нередко кванторы «работают в одной упряжке»:
– для любого вектора существует противоположный ему вектор. Прописная истина, а точнее, аксиома (утверждение, принимаемое без доказательства) векторного пространства.
Обратите внимание, что квантор существования подразумевает сам факт существования объекта (хотя бы одного), который удовлетворяет определённым характеристикам. Пусть в мире существуют единственная белая ворона, но существуют же. Более того, в математике (как школьной, так и высшей) доказывается великое множество теорем на существование и как раз единственность чего-либо. Доказательство такой теоремы состоит из двух частей:
1) Существование объекта, удовлетворяющего определённым критериям. В этой части обосновывается сам факт его существования.
2) Единственность данного объекта. Этот пункт доказывается, как правило, методом от противного, т.е. предполагается, что существует 2-й объект с точно такими же характеристиками и далее это предположение опровергается.
Школьников, впрочем, стараются не пугать подобной терминологией, и теорема часто преподносится в завуалированном виде, например:
В любой треугольник можно вписать окружность и, причём только одну
Кстати, а что такое вообще теорема? Логическую суть этого страшного слова мы узнаем очень скоро….
Логические операции (действия над высказываниями)
Подобно тому, как с числами можно проводить арифметические действия (складывать, умножать и т.д.), к высказываниям тоже применимы свои операции. Существует три базовых логических операции:
отрицание высказывания;
конъюнкция или логическое умножение высказываний;
дизъюнкция или логическое сложение высказываний.
1) Отрицание высказывания
Данной операции соответствует логическая связка НЕ и символ
Отрицанием высказывания называется высказывание (читается «не а»), которое ложно, если истинно, и истинно – если ложно: 
Так, например, высказывание – черепахи не летают истинно: ,
а его отрицание – черепахи летают если хорошенько пнуть – ложно: ;
высказывание – дважды два будет два ложно: ,
а его отрицание – неверно, что дважды два будет два – истинно: .
Кстати, не нужно смеяться над примером с черепахами 😉 садисты
Удачной физической моделью данной операции является обычная лампочка и выключатель:
свет включен – логическая единица или истина,
свет выключили – логический ноль или ложь.
2) Конъюнкция (логическое умножение высказываний)
Данной операции соответствует логическая связка И и символ либо
Конъюнкцией высказываний и называют высказывание (читается «а и бэ»), которое истинно в том и только том случае, когда истинны оба высказывания и : 
Данная операция тоже встречается сплошь и рядом. Вернёмся к нашему герою с первой парты: предположим, что Петя получает допуск к экзамену по высшей математике, если сдаёт курсовую работу и зачёт по теме. Рассмотрим следующие высказывания:
– Петя сдал курсовую работу;
– Петя сдал зачёт.
Заметьте, что в отличие от формулировки «Петя завтра сдаст» здесь уже в любой момент времени можно сказать, истина это или ложь.
Высказывание (суть – Петя допущен к экзамену) будет истинно в том и только том случае, если он сдал курсовик и зачёт по . Если хоть что-то не сдано (см. три нижних строчки таблицы), то конъюнкция – ложна.
И очень своевременно пришёл мне в голову отличный математический пример: знак системы соединяет входящие в неё уравнения/неравенства как раз по правилу И. Так, например, запись двух линейных уравнений в систему подразумевает то, что мы должны найти ТАКИЕ корни (если они существуют), которые удовлетворяют и первому и второму уравнению.
Рассматриваемая логическая операция распространяется и на большее количество высказываний. Условно говоря, если в системе 5 уравнений, то её корни (в случае их существования) должны удовлетворять и 1-му и 2-му и 3-му и 4-му и 5-му уравнению данной системы.
И в заключение пункта вновь обратимся к доморощенной электротехнике: конъюнктивное правило хорошо моделирует выключатель в комнате и рубильник на электрическом щитке в подъезде (последовательное подключение). Рассмотрим высказывания:
– выключатель в комнате включен;
– рубильник в подъезде включен.
Наверное, все уже поняли, что конъюнкция читается самым что ни на есть естественным образом:
– выключатель в комнате включен и рубильник в подъезде включен.
Очевидно, что тогда и только тогда, когда . В трёх других случаях (проанализируйте, каких) цепь разомкнётся и свет погаснет: .
Давайте присоединим ещё одно высказывание:
– рубильник на подстанции включен.
Аналогично: конъюнкция будет истинна тогда и только тогда, когда . Здесь, к слову, уже будет 7 различных вариантов разрыва цепи.
3) Дизъюнкция (логическое сложение высказываний)
Этой операции соответствует логическая связка ИЛИ и символ
Дизъюнкцией высказываний и называют высказывание (читается «а или бэ»), которое ложно в том и только том случае, когда ложны оба высказывания и : 
Предположим, что в экзаменационном билете по высшей математике 2 вопроса и студент сдаёт экзамен, если ответит хотя бы на один вопрос. Рассмотрим следующие высказывания:
– Петя ответил на 1-й вопрос;
– Петя ответил на 2-й вопрос.
Дизъюнктивная запись читается просто и понятно: Петя ответил на 1-й или 2-й вопрос и подразумевает три истинных исхода (см. таблицу). При этом экзамен Пётр не сдаст в единственном случае – если «запорет» оба вопроса:
Следует отметить, что союз «или» мы очень часто понимаем как «исключающее или», и, более того – его зачастую так и нужно понимать! Из той же фразы о сдаче экзамена человек, скорее всего, сделает вывод, что Петя ответил только на 1-й или только на 2-й вопрос. Однако рассматриваемое ИЛИ – это не обывательское «или».
Операция логического сложения также применима для трёх и бОльшего количества высказываний. Некоторые лояльные преподаватели задают 10-15 вопросов и ставят экзамен, если студент хоть что-то знает = ) Иными словами, логическое ИЛИ скрывает за собой связку «хотя бы на один» (и она вовсе не означает, что СТРОГО на один!).
Ну и давайте отвлечёмся от бытового электричества: подавляющее большинство сайтов Интернета расположены на профессиональных серверах, которые снабжаются, как правило, двумя блоками питания. В электротехнике это называется параллельным подключением, которое как раз и моделирует правило ИЛИ – сервер работает, если исправен хотя бы один блок питания. Оборудование, кстати, поддерживает «горячую» замену, т.е. сгоревший БП можно заменить, не выключая сервер. Такая же история с жёсткими дисками – они дублируются в так называемом RAID-массиве, и более того, сам Дата-центр, где находятся серверы, обычно запитывается двумя независимыми электролиниями + дизель-генератор на всякий случай. Эти меры позволяют обеспечить максимальный аптайм сайтов.
И коль скоро речь зашла о компьютерах, то они… базируются на рассмотренных логических операциях! Это кажется невероятным, но задумаемся – а что вообще могут «понимать» эти «железки»? А понимать они могут следующее:
в проводе есть ток – это логическая единица;
провод обесточен – это логический ноль.
Именно данный факт первопричина того, что в основе измерения объёма информации лежит степень двойки:
и т.д.
Простейшим «компьютером» является… обычный выключатель – он хранит информацию в 1 бит (истину или ложь в указанном выше смысле). Центральный же процессор современного компьютера насчитывает сотни миллионов (!) транзисторов, и самое сложное программное обеспечение, самая «навороченная игра» раскладывается на множество нулей и единиц, которые обрабатываются с помощью элементарных логических операций!
И уже следующие две операции, которые мы рассмотрим, являются не самостоятельными, то есть могут быть выражены через отрицание, конъюнкцию и дизъюнкцию:
Импликация и логическое следствие.
Необходимое условие. Достаточное условие
До боли знакомые обороты: «следовательно», «из этого следует это», «если, то» и т.п.
Импликацией высказываний (посылка) и (следствие) называют высказывание , которое ложно в единственном случае – когда истинно, а – ложно: 
Фундаментальный смысл операции таков (читаем и просматриваем таблицу сверху вниз):
из истины может следовать только истина и не может следовать ложь;
изо лжи может следовать всё, что угодно (две нижние строчки), при этом:
истинность посылки является достаточным условием для истинности заключения ,
а истинность заключения – является необходимым условием для истинности посылки .
Разбираемся на конкретном примере:
Составим импликацию высказываний – идёт дождь и – на улице сыро:
Если оба высказывания истинны , то само собой истинна и импликация – если на улице идёт дождь, то на улице сыро. При этом не может быть такого, чтобы дождь шёл , а на улице было сухо :
Если же дождя нет , то на улице может быть как сухо :
так и сыро :
(например, по причине того, что растаял снег).
А теперь ВДУМЫВАЕМСЯ в эти «штампованные» слова необходимость и достаточность:
Дождь является достаточным условием для того, чтобы на улице было сыро, и с другой стороны, сырость на улице необходима для предположения о том, что прошёл дождь (ибо если сухо – то дождя точно не было).
Обратная же импликация нелегальна: 
– сырости на улице ещё не достаточно для обоснования факта дождя, и, кроме того, дождь ведь не является НЕОБХОДИМОЙ причиной сырости (т.к., например, может пройти и растаять град).
Вроде бы должно быть понятно, но на всякий случай ещё несколько примеров:
– Чтобы научиться выполнять действия с матрицами, необходимо уметь складывать и умножать числа. Но этого, как вы правильно предчувствуете, не достаточно.
– Чтобы научиться выполнять арифметические действия достаточно окончить 9 классов. Но это не является условием необходимым – считать может научить и бабушка, причём ещё в детском саду.
– Чтобы найти площадь треугольника достаточно знать его сторону и высоту, проведённую к этой стороне. Однако опять же – это не необходимость, площадь треугольника можно найти и по трём сторонам (формуле Герона) или, например, с помощью векторного произведения.
– Для допуска к экзамену по высшей математике Пете необходимо отчитаться по курсовой работе. Но этого не достаточно – потому что ещё нужно сдать зачёт.
– Для того чтобы вся группа получила зачёт достаточно занести преподавателю ящик коньяка. И здесь, как нетрудно предположить, отпадает необходимость что-либо учить =) Но, обратите внимание, подготовка вовсе не возбраняется 😉
Бывают ли условия необходимые и в то же время достаточные? Конечно! И очень скоро мы до них доберёмся. А сейчас об одном важном принципе матлогики:
Математическая логика формальна
Её интересует истинность или ложность высказываний, но не их содержание! Так, если мы составим импликацию Если черепахи не летают, то дважды два равно четырём, то она будет истинной! Иными словами, любое истинное высказывание можно обосновать любой истиной (1-я строчка таблицы), и с точки зрения формальной логики это будет истина!
Но ещё интереснее ситуация с ложным посылом: любой ложью можно обосновать всё, что угодно – как истину так и ложь:
– если Луна квадратная, то ;
– если пингвины ходят в валенках, то черепахи носят шлёпанцы.
А что? – по таблице оба высказывания истинны!
Данные факты получили название парадокс импликации, но в действительности мы, конечно же, рассматриваем примеры, осмысленные с точки зрения нашей содержательной логики.
И ещё один очень важный момент: импликацию часто обозначают значком (тоже читается «следовательно», «из этого следует это»), который мы также используем в ходе решения задач, доказательств теорем и т.д. И здесь речь идёт о совпадении обозначений – то, что мы используем в «обычных» математических выкладках, строго говоря, не является импликацией. В чём отличие? Когда мы решаем задачу и пишем, что («из а следует бэ»), то полагаем высказывание заведомо истинным, и более того, выводим из него другую истину . В математической логике это называется логическим следствием. Обычно следствие подлежит обоснованию, и поэтому при оформлении работ всегда старайтесь пояснять, какие аксиомы, теоремы, решённые задачи и т.д. вы использовали для того или иного вывода.
Теорема по своей сути тоже представляет собой логическое следствие: её условие опирается на истинные посылки (аксиомы, ранее доказанные теоремы и т.д.). Доказательство же устанавливает истинность следствия , причём в этом процессе не могут использоваться ложные рассуждения.
Недоказанная теорема называется гипотезой, и варианта тут два: либо она выводит из истины истину и представляет собой теорему, либо гипотеза невернА, т.е. из множества истинных посылок следует «не бэ»: . В случае опровержения получается тривиальный вывод наподобие «гипотеза Ивана Петрова неверная», но и это, бывает, дорогого стОит – дерзайте, уважаемые читатели!
Рассмотрим в качестве примера, конечно, не мегатеорему, но утверждение, которое требует пусть простого, но обоснования. Хотя и его не будет =) =):
– число делится на 4;
– число делится на 2.
Очевидно, что следствие истинно, то есть из того, что число делится на 4, следует и его делимость на 2. И, соответственно, противоположное заключение – есть ложь:
При этом ещё раз обращаю внимание, что посылка изначально постулируется как истина (в отличие от импликации, где она может быть и ложной).
Для логических следствий также в ходу понятия необходимости и достаточности, скопирую пару строк сверху:
истинность посылки – это достаточное условие для истинности заключения ,
истинность заключения – это необходимое условие для истинности посылки .
Делимость числа на 4 является достаточным условием для того, чтобы оно делилось на 2. И с другой стороны, делимость числа на 2 является необходимым условием делимости на 4.
Следует отметить, что рассмотренный пример можно записать и в виде импликации:
(пользуясь таблицей, проанализируйте все расклады самостоятельно)
Однако в общем случае «перенос понятий» некорректен! То есть, если мы ведём разговор о том, что , то это ещё не значит, что будет справедлива импликация . И такой пример я приведу в заключительном пункте.
Как уже отмечалось, на практике импликацию часто обозначают значком , но чтобы не возникло путаницы, я намеренно использовал одиночную стрелку.
Да, чуть не забыл – импликацию можно выразить через предыдущие операции. …Но об этом, пожалуй, во второй части о формулах и законах логики, а то у меня и так неслабый трактат получился.
Эквиваленция. Необходимое и достаточное условие
Эквиваленция обозначается значком и читается «тогда и только тогда»
Наверное, многие догадываются, что это за операция:
Эквиваленцией высказываний и называют высказывание , которое истинно в том и только том случае, когда высказывания и истинны или ложны одновременно: 
Данная операция естественным образом выражается формулой – «из а следует бэ и из бэ следует а».
Предположим, что Петя вышел на финишную черту сессии, и ему осталось сдать 3 экзамена:
– три экзамена сданы;
– сессия успешно завершена.
Очевидно, что при описанных выше обстоятельствах эти высказывания эквиваленты:
– сессия успешно завершена тогда и только тогда, когда сдано 3 экзамена.
Перед вами пример необходимого и достаточного условия: для того чтобы завершить сессию успешно Пете необходимо сдать 3 экзамена (в противном случае сессия будет не сдана) и в то же самое время этого достаточно (т.к. больше ничего делать не нужно).
Особенность эквиваленции состоит в том, что имеет место либо и то и другое, либо ничего, например:
Петя занимается штангой тогда и только тогда, когда Маша танцует на столе
Это значит, что либо Петя занимается штангой и Маша танцует на столе, либо они оба лежат на диване Пётр, ты заслужил! =) Такие вот дружные Петя и Маша. Теперь вроде бы похожая фраза без «тогда и только тогда»:
Петя занимается штангой, когда Маша танцует на столе
Но смысл несколько поменялся: здесь можно предположить, что Петя, бывает, тягает штангу и без Маши, и другой стороны, Маше «до лампочки», качается ли во время её танца Петя.
Вот в чём сила необходимого и достаточного условия! – оно объединяет и дисциплинирует =)
…хотел я для прикола распределить роли наоборот, но затем передумал… всё-таки нельзя такое пропагандировать =)
К слову, о дисциплине – рациональный подход как раз и предполагает необходимость и достаточность – когда человек для достижения какой-либо цели делает ровно столько, сколько нужно, и не больше. Это, конечно, бывает скучно в обычной жизни, но всячески приветствуется в математических рассуждениях, которые нас уже заждались:
Треугольник является равносторонним тогда и только тогда, когда у него равные углы
Высказывания – треугольник равносторонний и – у него равные углы можно соотнести эквиваленцией , но на практике мы почти всегда связываем их обоюдоострым значком логического следствия , который тоже читается «тогда и только тогда». Отличие от эквиваленции такое же:
– когда мы утверждаем, что , то изначально полагаем высказывание истиной (и никак не ложью). И наоборот, запись подразумевает безусловную истинность посылки .
И в заключение первой части урока вспомним знаменитую теорему, которую я переформулирую «по-взрослому»:
Для того, чтобы треугольник был прямоугольным необходимо и достаточно, чтобы квадрат одной из его сторон равнялся сумме квадратов двух других сторон:
Напоминаю, что сторона называется гипотенузой (бОльшая сторона, лежащая напротив угла ), а стороны – катетами.
Перепишем теорему в сокращённой записи:
– треугольник прямоугольный – выполнено
Доказательство «теорем такого типа» состоит из 2 частей, у которых тоже есть стандартные названия (наверное, неоднократно сталкивались):
1) Необходимость (условия ):
– иными словами, тут нужно доказать, что для того, чтобы треугольник был прямоугольным, необходимо выполнение равенства .
Данный пункт – это собственно и есть теорема Пифагора, формулировка которой нам знакома ещё со школы: «Если треугольник прямоугольный, то ».
2) На втором шаге обосновывается достаточность:
– здесь надо доказать, что справедливость равенства достаточна для того, чтобы треугольник был прямоугольным.
Учащихся опять же такими словами не запугивают, и второй пункт формулируют в виде обратной теоремы Пифагора: «Если , то треугольник прямоугольный».
Связей по схеме «тогда и только тогда» в математике очень много, и я только что привёл стандартную схему их доказательства. И, конечно же, всегда анализируйте, что означают «необходимо», «достаточно», «необходимо и достаточно» в том или ином случае.
Следует отметить, что теорему можно рассмотреть с точки зрения логической операции , но вот запись (как и обратная запись ) становится нелегальной! Почему? Пусть – треугольник не прямоугольный, – равенство выполнено. Но тогда по импликационной таблице получаем , что не соответствует действительности!
Но зато записи совершенно законны, поскольку логическое следствие отталкивается исключительно от истины!
Жду вас во второй части нашего увлекательного урока, где мы познакомимся с основными логическими формулами и законами, а также порешаем практические задачи. Для решения задач потребуется пять табличек с этой страницы, поэтому я рекомендую сразу переписать их на листок – чтобы они были перед глазами.
Кроме того, я открою вам секрет успешного изучения математической логики 😉
Конъюнкция и дизъюнкция
Информатика
Конъюнкция, дизъюнкция эквивалентность, инверсия, импликация — сложные для запоминания и понимания термины логики, науки, которая и сама по себе сложная для освоения. Но при ближайшем рассмотрении все слова оказываются более простыми, но обозначают совершенно не простые понятия. Используются термины не только в логике, но и в информатике. Объясняется это тем, что архитектура компьютера построена на понятиях математической логики.
Логика применима для решения задач по геометрии, физике, теории вероятности, понимания некоторых противоречивых речевых оборотов и сложных для непрофессионала научных текстов. Для понимания терминов и сферы их применимости изучим несколько вспомогательных понятий:
- Высказывание — одностороннее речевое предложение, которое гарантированно выражает одну из позиций — истину или ложь. В математике и информатике истинное высказывание обозначают как единицу (1), а ложное, как ноль (0).
- Логическое выражение — высказывание в сопровождении дополнительных величин, в зависимости от значения которых выражение правильное (1), или неправильное (0).
- Логическая операция — умственное действие по использованию новых понятий, изменению объема или содержания существующих понятий.
- Сложное логическое выражение — несколько простых логических выражений, соединенных путем логических операций.
Если вы еще не запутались в этих терминах, перейдем к сути вопроса. Первое в нашем списке слово «конъюнкция». Это одно из сложных логических выражений, в котором обе составные части должны быть истинными, чтобы сказанное являлось истиной. Если одна из частей ложна, то ложно все выражение. Для иллюстрации используют таблицу:
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
В тексте конъюнкция обозначается простой формулой F = A & B. Часто конъюнкцию называют логическим умножением, по аналогии с математическим действием. Если один из множителей ноль, то результат всегда нулевой. В таблице показаны все возможные комбинации исходных данных для выбранной операции. На базе таблицы истинности можно проанализировать любое сложное высказывание. В предложении конъюнкция выражается союзом «и», который соединяет два высказывания. Вместо «и» можно использовать запятую.
Пример — «Рубильник на подстанции включен, и в комнате выключатель включен — люстра светит».
Если одно из выражений ложное, то света в комнате не будет.
Дизъюнкция, логическое сложение, которое подчиняется правилам математического сложения. Если одно из слагаемых истина (то есть 1) то результат получается 1 (в математике также возможен результат 2, но в логике обозначаем 1, как истинное выражение). Если оба исходных понятия ложные (0), то и результат не может быть истиной (1). Таблица для дизъюнкции выглядит так:
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
А формула принимает вид: F = A + B.
Итак, сложные и непонятные слова конъюнкция и дизъюнкция приняли образ вполне понятных действий умножения и сложения, знакомых даже ученикам младших классов. В письменной речи используют союз «или». Но в логике он несколько отличается от филологического значения. В филологии «или» показывает, что правильна одна из частей предложения, а в логике — что правильны или ложны одна из частей, и обе части одновременно (все предложение).
«Если температуры нет, или анализы покажут, что воспаления нет, то пациент здоров».
Попутно рассмотрим другие понятия логики. Одно из сложных для понимания — инверсия, или логическое отрицание. Если начальное утверждение правильное, то результат отрицания будет ложным, и, наоборот, при ложном исходном выражении, отрицание будет настоящим. В письменной речи инверсия выражается словами «НЕ», «НЕВЕРНО, ЧТО». Таблица инверсии:
| А | В |
| 0 | 1 |
| 1 | 0 |
«Вы утверждаете, что все ученики 9 класса отличники, НЕВЕРНО, ЧТО все ученики 9 класса отличники». (Не все ученики 9 класса отличники).
Импликация — сложное выражение, в результате которого всегда получается единица (истина). В письменной речи аналогом импликации является связка если…, то. Пример «Если твердое тело тереть о жесткую поверхность, то оно нагревается». «Если замечены изменения в экономической ситуации, то изменится и политика». Таблица импликации:
| А | В | F |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
Можно заметить, что в одной строке результат «0». Это исключение, когда из истинного утверждения не может получиться ложный результат.
Эквивалентность — операция в логике, при которой истина получается только в том случае, если обе части выражения истинны:
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
В сложном логическом выражении существует определенный порядок выполнения операций: