Слайд 2
План лекции
Теория множеств Понятие множества. Мощность множества.
Множества
чисел. Алгебраические операции над множествами.
Множества и отношения. Нечёткие
множества. Характеристическая функция.
Операции над нечёткими множествами.
Высказывания и высказывательные формы.
Логические операции.
Формулы логики высказывания. Логическая равносильность. Логическое следование. Нормальные формы формул.
Булевы функции.
Предикаты.
Слайд 3
Значение темы
Математические рассуждения позволяют правильно устанавливать причинно-следственные связи,
математический язык формирует правильную и логическую речь. Каждый культурный
(как минимум образованный) человек должен иметь представление об основных математических понятиях и идеях. Причем, речь идет именно о понятиях, а не о конкретных формулах.
Слайд 4
Что такое множество? Чтобы определить какое-то понятие, нужно
указать, частным случаем какого более общего понятия оно является.
Определение человека по Платону: человек есть бескрылая птица без перьев
Невозможно дать определение множества, потому что в математике более общего понятия, чем множество, нет.
Можно только проиллюстрировать понятие множества.
- множество студентов
- множество больных
- множество городов
- множество всех точек на данной окружности
Слайд 5
Число элементов конечного множества называется его мощностью. Мощность
множества А обозначают |А|. Пусть, например, А = {а,
b, с}. Тогда |А|= 3.
Множества, содержащие одинаковое количество элементов или между элементами которых можно установить взаимно однозначное соответствие, называются равномощными. И если множество В = {1,2,3}, то оно равномощно приведенному множеству А: |А|= |В| =3.
Если каждый элемент множества В является одновременно элементом множества А, то говорят, что множество В является подмножеством множества А. Записывается это так:
Множество студентов КрасГМУ, например, является подмножеством множества студентов вузов г. Красноярска.
Множества А и В равны (запись А=В), если они содержат одни и те же элементы
Пустое множество (обозначается Ø) не содержит ни одного элемента и является подмножеством любого множества.
Слайд 6
При решении каждой конкретной задачи всегда есть множество,
явно или неявно заданное, за пределы которого мы заведомо
не выйдем. Такое множество называется универсальным множеством, или универсумом. Все участвующие в задаче множества являются подмножествами универсума. Мы будем обозначать его буквой U. Например, при исследовании множеств, составленных из студентов, универсумом будет множество всех студентов института, или множество студентов города, или множество студентов России – в зависимости от задачи.
Типы множеств:
Конечное множество
Бесконечное множество
Множество всех множеств: парадоксы определения
В деревне живут брадобрей, который бреет только тех, кто не бреется сам. Бреет ли брадобрей себя или нет?
Слайд 7
Операции над множествами
Объединением множеств А и В
(обозначается AUB) называется множество, состоящее из всех тех элементов,
которые принадлежат хотя бы одному из множеств А или В. Символически это записывается так:
Пусть А – множество студентов факультета клинической психологии КрасГМУ, В – множество студентов–лечебников, С – множество студентов–педиатров, D – множество студентов–стоматологов, Е –множество студентов–фармацевтов, F – множество студентов факультета МКиУЗ этого же университета. Объединением этих множеств будет множество: G=АUВUСUDUЕUF и это будет множество всех студентов КрасГМУ.
Слайд 8
Пересечением множеств А и В (обозначается А∩В) называется
множество, состоящее из всех тех и только тех элементов,
которые принадлежат и А, и В:
Если А = {а, b, с, d}, В = {с, d, е,f}, то
Пусть А – множество студентов факультета клинической психологии КрасГМУ В – множество мужского населения на Земле; тогда А∩В – множество юношей на факультете клинической психологии.
Разностью множеств А и В (обозначается А\В) называется множество таких элементов множества А, которые не содержатся в В. Если А = {а, b, с, d}, В = {с, d, е}, то А \ В = {a, b}, a В \ А = {е}.
Разность С множеств А и В иногда называется дополнением множества В до А.
Дизъюнктивной суммой, или симметрической разностью множеств (обозначается А ∆ В), называется множество всех элементов, принадлежащих или множеству А, или множеству В, но не обоим вместе. Если А = {а, b, с, d}, В={с, d, e}, то А ∆ В = {а, b, е}.
Слайд 9
свойства операций над множествами
Слайд 10
Графическое представление операций над множествами
Для наглядного изображения операций
над множествами, содержащимися в каком–либо универсуме U, используют диаграммы
Венна. Обычно универсум представляется прямоугольником (точнее, множеством точек прямоугольника), а множества изображают фигурами (как правило, кругами), лежащими внутри этого прямоугольника. Непересекающиеся множества изображаются неперекрывающимися областями, а включение одного множества в другое соответствует области, целиком располагающейся внутри другой
Слайд 11
нечеткие множества (fuzzy sets)
Не всегда можно достоверно сказать,
входит ли данный элемент в некоторое множество или нет.
Множество планет Солнечной системы: какие элементы оно включает?
В нечетких множествах вводится функция принадлежности µА(а), значения которой заключены в отрезке от 0 до 1.
Если элемент а не принадлежит множеству А, то µА(а) = 0. Чем ближе значение µА(а) к единице, тем больше степень принадлежности данного элемента а множеству.
Тогда множество А будет представлено совокупностью пар: А = {(a, µ(a)), {b, µ(b)), (с, µ (с)),. . .}.
Слайд 12
соответствия
Можно задать любое соответствие между некоторыми множествами X
и Y. Для этого надо взять множество всевозможных пар
(х, у) и отметить в нем подмножество R, состоящее из пар элементов, для которых данное соответствие имеет место.
Элемент из Х должен деньги элементу из Y
Слайд 13
Многие соответствия обозначаются специальными знаками, поставленными между элементами
х и у. Например, соответствие «прямая х параллельна прямой
у» обозначают х||у, а соответствие «больше или равно» знаком ≥. В общей теории соответствий пишут xRy, чтобы обозначить, что элементы х и у находятся в соответствии R.
Пусть R – соответствие между множествами X и Y и а – элемент из X.
Образом этого элемента называется множество R(a) всех у∈У, таких, что aRy.
Прообразом элемента b∈У при том же соответствии называется множество R-1 (b) элементов х∈ X – таких, что хRb.
Слайд 14
отношения на множестве X
Если соответствие задано графом
и всюду определено, то из каждой точки множества Х
выходит хоть одна стрелка
отношение называют сюръективным, если каждая точка множества Y является концом какой-нибудь стрелки
Если область определения соответствия R совпадает областью отправления Х, это означает, что для любого а∈X найдется такое у∈Y, что aRy. В этом случае говорят, что соответствие R всюду определено.
Слайд 15
функция
Если при соответствии R образ каждого элемента х∈X
или пуст, или содержит лишь один элемент, то R
называют функциональным соответствием или функцией. Всюду определенное функциональное соответствие называют отображением множества X в множество У.
Отношение R называют биективным, если оно является таким отображением X в У, что образ X совпадает с Y и никакие два элемента из X не переходят в один и тот же элемент из У, т. е. это взаимно однозначное соответствие между множествами.
Слайд 16
Отношение «учиться в одной группе», определенное на множестве
студентов КрасГМУ, разбивает все это множество на студенческие группы.
Любой из студентов данной группы может служить представителем этой группы, а сама группа есть класс эквивалентности. Множество всех групп (не студентов этих групп, а, например, номеров групп) есть фактор–множество всех студентов КрасГМУ по данному отношению.
Такое разбиение множества на непересекающиеся подмножества лежит в основе всех классификаций. Например, в библиотеках множество всех книг разбивают на книги по математике, психологии, искусству и т.д., врачи делятся на терапевтов, хирургов, стоматологов, психотерапевтов и т. д.
Слайд 17
Свойство антирефлексивности означает, что элемент множества не может
сравниваться сам с собой.
Свойство транзитивности: если А > B
и B > C, то A > C
Отношение R в множестве X называется отношением строгого порядка, если оно антирефлексивно, транзитивно и асимметрично. Примерами являются отношения «выше», «дальше», «тяжелее» и т. д.
Множество, в котором определено отношение строгого порядка, называют упорядоченным. Например, множество действительных чисел упорядочено отношением «меньше» или «больше». Кроме того, для любых двух различных чисел х и у, или х > у или у > х. Отношение R в множестве X называется отношением нестрогого порядка, если оно рефлексивно, транзитивно и антисимметрично. Примерами являются отношения «не меньше», «не больше», «не выше».
Слайд 18
Высказыванием называется любое повествовательное предложение, которому
можно приписать истинностное значение (т.е. либо истина (И -
1), либо ложь (Л -0).
Например: «Январь – зимний месяц» – И, «Земля имеет форму куба» – Л.
Слайд 19
Предложения, которые содержат хотя бы одну переменную и
становятся высказываниями при подстановке вместо всех переменных их значений,
называются высказывательными формами.
Например, «Утром я встретила соседей»; «Утром я встретила соседей из X квартиры»;
«Утром я встретила соседей из 20 квартиры».
Слайд 20
Преобразование высказывательных форм в высказывания может быть осуществлено
употреблением слов «любой» («каждый», «всякий») или «существует» («некоторые», «по
крайней мере один»).
Например, «Студенты пришли на экзамен» – высказывательная форма; «Все студенты пришли на экзамен», «Каждый студенты на экзамене получил оценку» – высказывание.
Слайд 21
Высказывание, представляющее собой одно утверждение (истинное или ложное),
называется элементарным высказыванием.
Высказывание, образованное из элементарных с помощью логических
связок, называется составным (или сложным).
Образование составного высказывания из элементарных называется логической операцией.
Слайд 22
Отрицание
Логическая операция, соответствующая логической связке «не»
(«Неверно, что») называется отрицанием.
Отрицание высказывания X
обозначается или ¬Х.
Слайд 23
Конъюнкция
Логическая операция, соответствующая союзу «и» (или близким по
смыслу союзам «а» и «но»), называется конъюнкцией. В результате
конъюнкции получается высказывание, истинное тогда и только тогда, когда оба элементарных высказывания X и У истинны. (X^Y) , читается X и Y, например 2<4 и 4<8 истинны, следовательно 2 <4 <8
Слайд 24
Дизъюнкция
Логическая операция, соответствующая союзу «или», называется дизъюнкцией.
В
результате этой операции образуется высказывание, ложное тогда и только
тогда, когда оба составных высказывания ложны.
Слайд 25
Союз «или» употребляется в смыслах:
Неразделительном. Например, в предложении
«Для посещения врача надо взять талон или записаться по
телефону». Понятно, что если вы одновременно возьмете талон и запишитесь, вас примут.
Разделительном. Например, «Сегодня меня пригласили в театр или в кино». Очевидно, что какое–то место останется не посещенным.
Слайд 26
Дизъюнкция
Дизъюнкция – это неразделительное «или».
Слайд 27
Импликация
Логическая операция, имеющая вид «если X, то Y»,
называется импликацией.
Высказывание X именуется посылкой (или антецедентом –
предшествующим по–латыни), Y – заключением (или консеквентом – последующим).
В результате импликации получается высказывание, ложное тогда и только тогда, когда посылка истинна, а заключение ложно.
Слайд 28
Импликация
→
Логическими операциями никак не учитывается смысл
высказываний; они рассматриваются как объекты, обладающие единственным свойством –
быть истинными и ложными.
Например, фраза «Если курение полезно, то крокодилы летают» считается истинной, хотя оба элементарных высказывания, ее составляющие, – ложны.
Слайд 29
Эквиваленция
Логическая операция, соответствующая сложному союзу «тогда и только
тогда, когда», «в том и только в том случае»,
«если и только если», называется эквиваленцией. В результате этой операции образуется высказывание, истинное тогда и только тогда, когда оба составляющих его элементарных высказывания истинны или оба ложны.
Слайд 30
Эквиваленция
↔
Психолог может оказывать квалифицированную помощь тогда и только
тогда, когда он получит диплом об окончании вуза
Приоритеты: отрицание;
конъюкция; дизъюнкция;
импликация; эквиваленция.
Слайд 31
Для того чтобы из высказывания получить формулу, надо:
выделить
все элементарные высказывания и логические связки, образующие данное составное
высказывание;
заменить их соответствующими буквами и символами;
расставить скобки в соответствии со смыслом данного высказывания.
Слайд 32
Например, есть предложение: «Если выучить теорию и решить
контрольные задания, то хорошая оценка на экзамене обеспечена».
Обозначим: X
– «выучить теорию», Y – «решить контрольные задания», Z – «хорошая оценка обеспечена». Формула для этого высказывания выглядит: (X Y)→Z.
Слайд 33
Способ вычисления истинности формул
Пусть формула имеет вид:
→
→
Слайд 34
Формулы F1 и F2 называются равносильными (обозначение F1
= F2), если при любых одинаковых истинностных значениях входящих
в них переменных они принимают одинаковые значения истинности.
Вместо термина «равносильность» можно использовать термин «логическая эквивалентность».
Равносильность устанавливается сравнением таблиц истинности формул.
Слайд 37
Закон тождества говорит, что высказывание не меняет своего
истинностного значения на протяжении всего рассуждения, в котором это
высказывание встречается.
Закон противоречия устанавливает, что никакое высказывание не может быть истинным одновременно со своим отрицанием.
Закон исключенного третьего утверждает, что для каждого высказывания имеются лишь две возможности: высказывание истинно или ложно, третьего не дано.
Закон снятия двойного отрицания отмечает, что отрицать отрицание какого–либо высказывания – то же, что утверждать это высказывание.
Слайд 38
Закон идемпотентности говорит, что конъюнкция одинаковых высказываний равносильна
одному из них; аналогично дизъюнкция одинаковых высказываний равносильна одному
высказыванию.
Закон коммутативности показывает, что и в конъюнкции, и в дизъюнкции высказывания можно менять местами.
Закон ассоциативности устанавливает правила объединения высказываний в конъюнкциях и дизъюнкциях в группы с помощью скобок.
Закон дистрибутивности объясняет правила раскрытия скобок и говорит, что по отношению к дистрибутивности конъюнкция и дизъюнкция совершенно «равноправны».
Слайд 39
Законы Де Моргана звучат так: «Отрицание конъюнкции равносильно
дизъюнкции отрицаний; отрицание дизъюнкции равносильно конъюнкции отрицаний».
Законы сочленения
переменной с константой показывают, что получится в результате, если конъюнктивно или дизъюнктивно к переменной присоединить логическую константу (И или Л).
Закон поглощения и закон склеивания предлагают комбинации, очень удобные при решении логических задач.
Замена импликации дает возможность выразить импликацию через дизъюнкцию и отрицание либо через конъюнкцию и отрицание.
Слайд 40
Пусть некоторое утверждение имеет вид импликации X→Y. Например,
«Если вы замкнутый и мнительный человек (X), то люди
не стремятся к контакту с вами (Y)».
Предложение X→Y называется прямым (исходным) утверждением, предложение Y→X – обратным утверждением
Если импликация X→Y истинна, то утверждение X→Y называется теоремой, X называется достаточным условием для Y, а Y – необходимым условием для X или следствием X; говорят, что в этом случае имеет место логическое следование Y→X.
Слайд 41
Истинность X гарантирует истинность Y , а ложность
X ни о чем не говорит.
Ложность Y гарантирует
невыполнение условия, а истинность Y ничего не говорит об истинности X.
На основе равносильностей сложные выражения приводятся к более простому виду – так называемой дизъюнктивной (или конъюнктивной) нормальной форме (сокращенно: д.н.ф. и к.н.ф.).
Слайд 42
Дизъюнктивная нормальная форма представляет собой дизъюнкцию конъюнкций переменных
и их отрицаний либо конъюнкцию самих переменных. Например,
– д.н.ф.
Конъюнктивной нормальной формой называется конъюнкция дизъюнкций переменных и их отрицаний либо дизъюнкция самих переменных. Например,
– к.н.ф.
Теорема 1. Любую формулу (любое высказывание) можно привести к д.н.ф.
Теорема 2. Любая формула может быть представлена в к.н.ф.
Слайд 43
Булевы функции
Если множество значений функции представляет собой двухэлементное
множество {И,Л}, то такие функции называются булевыми функциями.
→
Слайд 44
Булевы функции представляются в двух видах:
совершенной дизъюнктивной нормальной
(с.д.н.ф.). Характерным для нее является то, что каждый дизъюнктивный
член является произведением всех исходных переменных (с отрицанием или без него).
совершенной конъюнктивной нормальной (с.к.н.ф.) и является конъюнкцией дизъюнкций, содержащих все исходные переменные (с отрицанием или без него).
Слайд 45
Предикаты
Функция, все значения которой принадлежат множеству {И,Л}, называется
предикатом.
Буквы Р, R и т.д., обозначающие предикаты, называются
предикатными символами.
Слайд 46
Способы задания предикатов:
с помощью высказывательной формы
с помощью формулы,
т. е. заданием интерпретации предикатного символа
с помощью таблицы. Такой
способ годится только для предикатов, область определения которых – конечное множество. Областью определения предиката может быть любое множество. Если же предикат при каком–нибудь наборе входящих переменных теряет смысл, то принято считать, что этому набору соответствует значение Л.
Слайд 47
Если предикат содержит одну переменную, он называется одноместным,
если две переменные – двухместным и т. д. Предикат
с n различными переменными называется n-местным предикатом.
Упорядоченной n-кой («энкой») называется совокупность n не обязательно различных объектов вместе с заданным порядком их расположения.
Две упорядоченные n-ки считаются равными, если их компоненты и порядок их расположения совпадают. Например, (Темпалгин, Пенталгин, Анальгин) и (Пенталгин, Темпалгин, Анальгин) – различные упорядоченные тройки.
Слайд 48
Предикату Р, заданному на множестве М, соответствует подмножество
этого множества, состоящее из тех и только тех элементов
М, которым соответствует значение И предиката Р. Это подмножество М называется множеством истинности предиката Р. Множество истинности предиката Р обозначается через Р*. При этом Р* М.
Если множество истинности совпадает со всей областью определения предиката, то такой предикат называется тождественно истинным. Если же множество истинности пусто, предикат называется тождественно ложным.
Слайд 49
Множество элементов, обладающих свойством Р, называют объемом данного
свойства.
Рассмотрим некоторое непустое множество U. Пусть на этом множестве
задано свойство Р, т. е. выделено подмножество Р* U; тогда имеем разбиение U на два подмножества: Р* и U\P*. Такое разбиение называется классификацией множества U по основанию Р.
Второе подмножество (U\P*) характеризуется свойством, отрицающим Р(х), т.е. свойством
Слайд 50
Правила классификации
пересечение любых двух классов пусто;
объединение всех классов
равно множеству, элементы которого классифицируются.
С помощью одноместного предиката удобно
выражать свойства, а многоместными предикатами выражаются отношения.
Слайд 51
Кванторы
Если Р(х) означает, что х обладает свойством Р,
то посредством обозначает
утверждение «Для всякого объекта х свойство Р выполнено» или «Все х обладают свойством Р». Запись будет означать, что «существует х, обладающий свойством Р».
квантор всеобщности –
квантор существования –
Слайд 52
Никакое высказывание не может быть истинным одновременно
со своим отрицанием – это закон
противоречия
коммутативности
ассоциативности
дистрибутивности
Слайд 53
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА:
Обязательная:
Кричевец, А.Н. Математика для психологов /А.Н. Кричевец,
Е.В. Шикин, А.Г. Дьячков. – М.: Флинта: НОУ ВПО
«МПСИ», 2010.– 376 с.
Наследов А.Д. Математические методы психологического исследования. Анализ и интерпретация данных/А.Д. Наследов.-СПб.: Речь, 2008.
Дополнительная:
Математика в примерах и задачах: учебное пособие /Л.Н.Журбенко, Г.А. Никонова, Н.В.Никонова и др. – М.: ИНФРА–М, 2011. –373 с.
Болдин К.В., Башлыков В.Н., Рукосуев А.В. Высшая математика /К.В. Болдин К, В.Н. Башлыков, А.В. Рукосуев. – М.: Флинта, 2010
Электронные ресурсы:
УБИЦ КрасГМУ Портал центра дистанционного образования Электронная библиотека
Ресурсы интернет
![Вычислительный приём вида: []+5](/img/tmb/14/1381232/222857084719647503121798abda424e-210x.jpg)
