Главная » Просмотр файлов » Дж. Андерсон - Дискретная математика и комбинаторика (2004)

Дж. Андерсон - Дискретная математика и комбинаторика (2004) (1127091), страница 5

Файл №1127091 Дж. Андерсон - Дискретная математика и комбинаторика (2004) (Дж. Андерсон - Дискретная математика и комбинаторика (2004)) 5 страницаДж. Андерсон - Дискретная математика и комбинаторика (2004) (1127091) страница 52019-05-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

Для этой импликации имеем: конверсия: Если он популярен, то он играет в футбол инверсия: Если он нг играет в футбол, то он не популярен контрапозиция: Если он не популярен, то он не играет в футбол Важно понимать, что высказывания Если он живет в Детройте, то Боб навесгпит его и Боб навестит его, если он живет в Детройте по сути являются одним и тем же высказыванием. Однако высказывание Если Боб навестит его, то он живет в Детройте не совпадает с предыдущими высказываниями. Не важен порядок, в котором р и у присутствуют в предложении, а важно, какая 1 Т Т 2 Т Е 3 Е Т 4 Г Г Г Т Е Т Е Т Т Е Е Г Е Е Е Т Т Е Р Т Т Т Ф РАЗДЕЛ ПЗ.

Зквоввлвнтныв высказывания 29 часть предложения является частью "если", а какая часть является частью "то". Может показаться, что при замене если р, то а на о, если р получается конверсия, но с логической точки зрения последнее высказывание совпадает с исходным. Часть (ж) теоремы, которая будет сформулирована ниже, говорит о том, что импликация и ее контрапозиция логически эквивалентны. Эквивалентность и контрапозиция условных высказываний имеют в математике большое значение, Зачастую гораздо легче доказать теорему от противного, чем дать ее прямое доказательство.

Используя эквивалентность импликации и ее контрапозиции, нетрудно показать, что конверсия и инверсия импликации имеют одну и ту же таблицу истинности. В то же время импликация и ее конверсия (или инверсия) имеют различные таблицы истинности. Непонимание этого факта — источник распространенных ошибок в так называемых "логических" рассуждениях. ТЕОРЕМА 1.3. Используя таблицы истинности, можно доказать следующие логические эквивалентности: а) Законы идемпотентноети РЛраз р; РЧР=Р.

б) Закон двойного отрицания -(-р) = — р в) Законы де Моргана -(р ь' д) — = Р л -у; -(р л в) = -р г -о. г) Свойства коммутативности рло=олр; равд= — дь'р д) Свойства ассоциативности рл(балт) ь— з (рло) лт; р г(в'гт) = (р'го) гт. е) Свойства дистрибутивности р л (в и т) = (р л о) ь'(р л т); рч (в л т) = (р ч у) л (р ь' т). ж) Закон контрапозиции Р ч— = ч Р. з) Другие полезные свойства р- в= -рь д; р о — = (р о) л(о р). 30 ГЛАВА 1. Таблииы истинности, логика, доказательства (рЛ(р о)) - о.

Ему соответствует таблица истинности Случай р (р Л (р а)) 1 Т 2 Т г 3 Е Т 4 с Е Т Т Т л с с л Е Т Е Т Т Т Т Т Е Т Т Т с Столбец, обозначенный звездочкой, дает истинностные значения исходного сложного высказывания. Высказывание истинно во всех четырех возможных случаях, следовательно, является тавтологией. Имея логически истинное высказывание-тавтологию, легко построить логически ложное высказывание-противоречие.

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

высказывание, таблица истинности которого содержит л во всех строках. Используя таблицы Отметим, что благодаря свойству ассоциативности высказывания (рлд) Аг и рЛ(уЛг) могут быть записаны в виде рдддг. Аналогично, (рну)Чг и рЧ(г1'иг) можно записать просто как ры дч г. Высказывание, истинное во всех случаях, называется логически истинным, или тавтологией; высказывание, построенное так, что оно ложно в каждом случае, называется логически ложным, или противоречием. Теоремы в математике являются примерами тавтологий.

Было бы неприятно сознавать, что математические теоремы справедливы, к примеру, только в 80 процентах случаев. Высказывание Он сдаст или не сдаст экзамен есть пример тавтологии, поскольку либо одно событие, либо другое обязательно должно иметь место. Каждое высказывание вида р и р — тавтология. Шекспир должен был бы провозгласить: "Быть или не быть, это и есть тавтология".

Высказывание Если сдаст, то сдаст— тоже тавтология, хотя оно и не отличается глубиной. Примером тавтологии является высказывание Если он богат и удачлив, то он удачлив. Высказывание Она движется в направлении Техаса и она не движется в направлении Техаса всегда ложно, т.к. нельзя делать одновременно и то, и другое. Следовательно, это противоречие. Рассмотрим высказывание вида РлэдЕЛ 1.3. Эквивалентные высказывания 31 истинности, можно показать, что Р— Г, Т, Р Г, Т, Т. В каждом высказывании можно заменить любую его компоненту на логически эквивалентное ей высказывание.

Полученное в результате такой замены высказывание будет логически эквивалентно исходному, поскольку истинностное значение высказывания зависит исключительно от истинностных значений составляющих его компонент (но не от их формы или сложности). Например, Здесь мы впервые использовали законы логики и фиксированное множество "истинных высказываний" для образования новых "истинных" высказываний. Условные высказывания могут выражаться в виде различных языковых конструкций, но символически все они записываются как р — д. Вот несколько примеров таких конструкций: Если р, то д. р достаточно для д.

р является достаточным условием для д. д необходимо для р. д является необходимым условием для р. р, только если о (или: только если у, то р). Таблица для р — о показывает, что если р — у истинно и р истинно, тогда д должно быть истинным, т.е. истинность р достаточна для истинности д. Поэтому р достаточно для а имеет тот же смысл, что и р — о. Таким образом, если д ложно и д необходимо для р, тогда р должно быть ложно. Поэтому, если у истинно, тогда -р должно быть истинно и д — р. Но последнее выражение — контрапозиция для р — о; следовательно, у необходимо для р имеет то же значение, что и р — д. Анализ значения р только если у проводится аналогично.

Получаем, что р может быть истинным, только если д истинно. Если д не истинно, то р не может р Л р Л Г р У Т р ~/ Г р Л -р р У -р р — ' р (с/Ч т') Ч (р Л т) :— с/Ч (тЧ (р Л т) = о Н ((т Н р) Л (т / т)) д ~l ((т Х/ р) Л Т) вв ун(тУР) = — оы(рыт) = — (о /р)ыт = (р / д) / т . свойство ассоциативности свойство дистрибутивности эквивалентность эквивалентность свойство коммутативности свойство ассоциативности свойство коммутативности 32 ГЛАВА 1. Таблицы истинности, логика, доказательства быть истинным. Но это эквивалентно утверждению, что если д истинно, то р должно быть истинно и д — р. Последнее есть контрапозиция высказывания р — д, поэтому р только если д имеет то же значение, что и р — д.

Ранее было установлено, что порядок простых высказываний в составе условного высказывания не имеет значения; важно то, какое из простых высказываний следует за если (или в данном случае только если), а какое следует за то. Поэтому утверждения Только накопив денег, Фрзд сможет поступить в колледж и Фрэд сможет поступить в колледж, только если накопит денег рассматриваются как одно и то же высказывание.

ПРИМЕР 1.4. Приведите следующие высказывания к виду р — ~ д или у — р: а) Он добьется успеха, только если будет усердно работать. б) Он счастлив, только если управляет автомобилем. в) Наличия денег достаточно, чтобы быть счастливым. г) Наличие денег необходимо, чтобы быть счастливым. д) Чтобы победить на выборах, нужно набрать достаточно голосов. Ответ: а) Если через р обозначить высказывание Он добьется успеха, а через о — Он будет усердно работать, то высказывание если р, то д, или р — д примет вид Если он добивается успеха, то он работает усердно. б) Если р обозначает Он управляет автомобилем, а у — Он счастлив, то высказывание д только если р, или д — р имеет вид Если он счастлив, то он управляет автомобилем. в) Пусть р обозначает У него есть деньги, а у есть Он счастлив. Тогда высказывание р достаточно для д, или р — д может быть записано как Если у него есть деньги, он счастлив.

г) Пусть р обозначает У него есть деньги, а д обозначает Он счастлив. Тогда высказывание р необходимо для д, или у — р будет иметь вид Если он счастлив, то у него есть деньги. д) Пусть р обозначает Он победит на выборах, а д обозначает Он получит достаточное количество голосов, тогда высказывание д необходимо для р, или если р, то о, или р — о может быть записано в виде Если он победит на выборах, то он получит достаточное количество голосов. и Вернемся к рассмотрению логической связки . Поскольку высказывания вида р д и (р — д) А (д — р) логически эквивалентны, то р д означает то же, что и р тогда и только тогда, когда д, или р если и только если д.

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

р есть необходимое и достаточное условие для д. Пусть имеется высказывание Сэм играет в гольф тогда и только тогда, когда тепло, тогда ожидается, что если будет тепло, то мы увидим Сэма, играющего в гольф, и если Сэм играет в гольф, то погода, безусловно, теплая. Точно так же, если имеется высказывание Быть счастливым является необходимым и достаточным условием, чтобы быть удачливым, то имеется в виду, что если Джон счастливчик, то он и удачлив, а если Джону везет, то он, конечно, счастливчик. ° УПРАЖНЕНИЯ 1.

Используя таблицы истинности, докажите следующие эквивалентности: а) Закон де Моргана -(р Л а) = — -р Ч -а. б) Свойство ассоциативности связки Ч РЧ(уЧ т) = (РЧд)Чт. в) Свойство дистрибутивности связки или относительно и р Ч (а Л т) = (р Ч а) Л (р Ч т). г) Эквивалентность импликации и высказывания со связкой или Р у — = Р Чу. 2. Используя пункт (г) предыдущего упражнения, покажите, что отрицание для р — о эквивалентно р л а.

Характеристики

Тип файла
DJVU-файл
Размер
7,96 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6418
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее