Математика ответы 31-40

Вопрос 31. Логические связки;

ЛОГИЧЕСКИЕ СВЯЗКИ —символы логических языков, используемые для образования сложных высказываний (формул) из элементарных.

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

Связки	Обозначения	Название   соответ­ствующих операций
нет; не; неверно; …	( ¬ )	отрицание
и; а; но; ...	& (/\)	конъюнкция
или; либо; ...	V	дизъюнкция
следует; влечёт; если ..., то ...; тогда; вытекает ...	=>	импликация
эквивалентно;  равносиль­но;  если  и  только  если; тогда и только тогда; в том и только в том случае; ...	~ ( <=> )	эквиваленция

Отрицание. В естественном языке ему соответствует выражение «Неверно, что…». Отрицание обычно обозначается знаком «¬», стоящим перед буквой, представляющей некоторое суждение: «¬а» читается «Неверно, что а». Пример: «Неверно, что Земля – шар».

Логика различает два вида отрицания – внутреннее и внешнее. Когда отрицание стоит внутри простого суждения перед связкой «есть», то в этом случае мы имеем дело с простым отрицательным суждением, например: «Земля не шар». Если же отрицание внешним образом присоединяется к суждению, например: «Неверно, что Земля – шар», то такое отрицание рассматривается как логическая связка, преобразующая простое суждение в сложное.

Конъюнкция. В естественном языке этой связке соответствуют союзы «и», «а», «но», «однако» и т.п. Чаще всего конъюнкция обозначается значком «&» или (/\). Сейчас этот значок часто встречается в названиях различных фирм и предприятий. Суждение с такой связкой называется конъюнктивным, или просто конъюнкцией, и выглядит следующим образом:

a & b. Пример: «В корзине у деда лежали подберезовики и маслята». Это сложное суждение представляет собой конъюнкцию двух простых суждений: – «В корзине у деда лежали подберезовики» и «В корзине у деда лежали маслята».

Дизъюнкция. В естественном языке этой связке соответствует союз «или». Обычно она обозначается знаком «v». Суждение с такой связкой называется дизъюнктивным, или просто дизъюнкцией, и выглядит следующим образом: a v b.

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

Импликация. В естественном языке ей соответствует союз «если… то». Она обозначается знаком «->». Суждение с такой связкой называется импликативным, или просто импликацией, и выглядит следующим образом: a -> b. Пример: «Если по проводнику проходит электрический ток, то проводник нагревается». Первый член импликации называется антецедентом, или основанием; второй – консеквентом, или следствием. В повседневном языке союз «если… то» обычно соединяет предложения, которые выражают причинно-следственную связь явлений, причем первое предложение фиксирует причину, а второе – следствие. Отсюда и названия членов импликации.

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

1.  А, если и только если В.

Иванов не закончит свои эксперименты к сроку, если и только если ему не помогут сотрудники.

2.  Если А, то В, и наоборот.

Если студент сдал все экзамены и практику на «отлично», то он получает диплом с отличием, и наоборот.

3.  А, если В, и В, если А.

Многоугольник является вписанным в круг, если его вершины лежат на окружности, и вершины многоугольника лежат на окру­жности, если этот многоугольник является вписанным в круг.

4.  Для А необходимо и достаточно В.

Для  того чтобы число без остатка делилось на 3, необходимо и достаточно, чтобы сумма цифр этого числа делилась без остатка на 3.

5.  А равносильно В (иногда).

То, что площадь правильного многоугольника равна произ­ведению полупериметра на апофему, равносильно тому, что пло­щадь правильного многоугольника равна произведению периме­тра на половину апофемы.

6.  А тогда и только тогда, когда В.

Фирма будет согласна принять предложение о покупке товара тогда и только тогда, когда будет снижена цена этого товара на 15%.