METOD

Петром. Отчества юношей не соответствуют ни их фамилиям, ни именам. Но их отчества: Петрович, Максимович и Иванович. У кого какое имя и отчество, если Максимова точно зовут не Иваном?

Задача 33***. У трех одноклассниц, зеленоглазой, кареглазой, синеглазой, сумочки и кофты зеленого, коричневого и синего цветов. Причем у каждой девушки цвет сумочки не совпадает с цветом глаз, а цвет кофты не совпадает ни с цветом сумочки, ни с цветом глаз. Кому, какого цвета принадлежит сумочка и кофта, если у зеленоглазой подружки не коричневая сумка?

Домашнее задание

Вариант 1

1.Определить, из скольких высказываний состоит предложение. Сформулировать предложение, используя наиболее подходящую логическую связку. Для сформулированного высказывания подчеркнуть простые высказывания, обвести кружком логическую связку: «Сегодня солнечный летний день, значит, на улице жарко, а также нет грозы».

2.Представить в виде логической формулы высказывание: «Если ты не заплатил за проезд, то неверно, что тебя оштрафуют или высадят из автобуса».

3.Представить логическую формулу в виде высказывания на русском

языке: X Y Y X ; A B C .

4.Доказать с помощью таблиц истинности логический закон Дунса Скотта А А В.

5.Три студента: Андрей, Владимир и Сергей собирались в кинотеатр. Известно, Андрей пойдет тогда и только тогда, когда не пойдут одновременно Владимир и Сергей. Если пойдет Владимир, то пойдет Сергей. В итоге выяснилось, что Владимир пошел в кинотеатр. Выяснить, кто пошел с Владимиром.

6.Из трех друзей-меломанов один любит рок-музыку, другой – тяжелый рок, третий – поп-музыку. Их девушки также предпочитают одно из этих

направлений, но они не любят слушать то, что слушает их друг. Чья девушка, какую музыку предпочитает, если подруга рокера не слушает поп-музыку? Вариант 2

1.Определить, из скольких высказываний состоит предложение. Сформулировать предложение, используя наиболее подходящую логическую связку. Для сформулированного высказывания подчеркнуть простые высказывания, обвести кружком логическую связку: «Студент допущен к экзаменам, следовательно, он сдал все зачеты, а также у него не было много пропущенных занятий».

2.Представить в виде логической формулы высказывание: «Будешь здоровым тогда и только тогда, когда будешь заниматься спортом».

3.Представить логическую формулу в виде высказывания на русском языке: A B B A ; X Y Z .

4.Доказать закон косвенного доказательства (А (В В)) А.

5.Преподаватель должен выбрать из трех студентов участников для олимпиады. Известно, что если он выберет Иванова или Васильеву, то Синицын тоже будет участвовать. Иванова он возьмет в команду тогда и только тогда, когда он не возьмет Васильеву. В итоге выяснилось, что Васильева участвовала в олимпиаде. Участвовали ли другие претенденты? Кто?

6.Отличник, хорошист, троечник написали контрольную работу на оценку, не соответствующую их статусу. Кто какую оценку получил, если известно, что троечник не получил пятерку?

Вариант 3

1.Определить, из скольких высказываний состоит предложение. Сформулировать предложение, используя наиболее подходящую логическую связку. Для сформулированного высказывания подчеркнуть простые высказывания, обвести кружком логическую связку: «В случае, когда спортсмен не пройдет допинг-контроль или квалификацию, он не будет допущен к соревнованиям».

2.Представить в виде логической формулы высказывание: «Можно будет кататься на роликах или велосипедах, когда наступит лето».

3.Представить логическую формулу в виде высказывания на русском языке: A (B C) (A B) C ; T Q .

4.Доказать условно-разделительное умозаключение

(деструктивная дилемма).

5.В поход собрались три друга Смирнов, Козлов, Доронин. Руководитель сказал, что если Смирнов пойдет или Доронин не пойдет, то пойдет Козлов. Козлов решил, что он пойдет в поход в том и только том случае, когда не пойдет Доронин. Смирнов отправится в поход в любом случае. Кто из трех друзей пойдет в поход?

6.Бегун, прыгун, метатель молота вытянули жребий для участия в «Веселых стартах». Одному из них выпало участие в беге, другому в прыжках, третьему – метание молота, но ни у одного жребий не совпал с их ведущим видом спорта. Какой спортсмен в каком виде соревнований примет участие, если известно, что бегун не будет прыгать?

Вариант 4

1.Определить, из скольких высказываний состоит предложение. Сформулировать предложение, используя наиболее подходящую логическую связку. Для сформулированного высказывания подчеркнуть простые высказывания, обвести кружком логическую связку: «Когда я не выполнил домашнее задание и пропустил лекцию, мне стыдно идти на занятие».

2.Представить в виде логической формулы высказывание: «Неверно, что на Земле нет атмосферы или отсутствует жизнь».

3.Представить логическую формулу в виде высказывания на русском языке: A (B C) ≡ (A B) C ; Y X .

4.Доказать с помощью таблиц истинности разделительно-категорическое умозаключение ((А В) А) В.

5.В спортивную секцию решили записаться три одноклассника: Синельников, Абрамов, Воронин. Отношения между одноклассниками складываются таким образом, что, если Воронин не пойдет, то Синельников и Абрамов будут заниматься вместе. Синельников не запишется в секцию тогда и только тогда, когда не запишется Воронин. Тренер сообщил, что Абрамов не подходит по медицинской справке. Кто из одноклассников записался в секцию?

6.Переводчики с французского, английского, немецкого языков поехали в командировку: один во Францию, другой в Германию, третий – в Англию. Ни один из переводчиков не попадает в страну, где говорят на языке, с которого он переводит. Какой переводчик, в какую страну поедет, если известно, что в Германию не попадает переводчик с английского языка?

Контрольные вопросы

1.Что изучает математическая логика?

2.Как определить, что предложение является высказыванием?

3.Каким союзам русского языка соответствуют операции отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции?

4.Какие обозначения соответствуют союзам русского языка: … тогда и только тогда, когда …; и; или; если …, то…; не?

5.Какие значения истинности принимают операции отрицания, конъюнкции, дизъюнкции, импликации, эквиваленции в зависимости от значений переменных?

естественный?

8.Как доказать логический закон?

9.Какого типа задачи и каким образом решаются с помощью таблиц истинности?

10.Какие задачи логического характера удобно решать с помощью таблиц, а какие с помощью графов?

множество яблок, растущих на яблоне;

множество студентов, обучающихся в ЧГПУ;

множество денежных знаков, находящихся в обороте у населения Российской Федерации;

множество прямоугольников;

множество двусложных слов в русском языке;

множество букв в английском алфавите, или множество согласных букв в русском алфавите;

множество натуральных чисел; множество иррациональных чисел.

Определяющие признаки множества:

1)рассматривается некоторое собрание реально существующих или абстрактных объектов или явлений;

2)это собрание объектов или явлений может быть представлено как одно

целое;

3)природа объектов или явлений, входящих в множество, может быть любая, но объекты или явления одного множества должны быть одной природы;

4)все объекты множества должны отличаться друг от друга.

5)Множества обозначаются прописными буквами латинского алфавита: A, B, C, …, Z. Объекты, из которых образовано множество, называются элементами. Элементы множества обозначаются строчными буквами латинского алфавита: a, b, c, …, z.

Принадлежность элемента к какому-либо множеству записывается с помощью символа . Математическое выражение a A означает, что объект а принадлежит множеству А, а выражение a A означает, что объект а не принадлежит множеству А.

Способы задания множества:

1) через характеристическое свойство: D = y | P(y)}, где P(y) –

характеристическое свойство множества D;

2)перечислением всех элементов множества.

Элементы конечного множества можно перечислить, а элементы бесконечного множества даже теоретически нельзя собрать в законченную совокупность. Конечные множества можно задать как перечислением, так и с помощью характеристического свойства. Бесконечные множества задаются только с помощью характеристического свойства.

Мощность конечного множества – это количество элементов, которые принадлежат данному множеству, обозначается как m (A), что означает мощность множества А.

Пустое множество – это множество, не содержащее элементов.

Мощность пустого равна 0.

Отношения между множествами представлены в таблице 9.

Из элементов нескольких множеств можно образовывать новые множества, такие преобразования называются операциями над множествами.

Основные операции над множествами представлены в таблице 10. Таблица 10

Операции над множествами

Дистрибутивное свойство операции пересечения относительно объединения и операции объединения относительно пересечения

Законы идемпотентности.

6.(А\В)\С = (А\С)\В.

7.( А В)\С = (А\ С) (В\ С) .

8.(А\ В) ∩ С = (А∩ С) \ (В∩ С) .

9.А\ (В С) = (А\ В) ∩ (А\ С) .

10.А\ (В∩ С) = (А\ В) (А\ С) .

Типы практических задач, для решения которых используется теория множеств

Разбиение множеств. Классификация

Классификация – действие распределения объектов по классам.

Любая классификация связана с разбиением некоторого множества объектов на подмножества. При этом считают, что множество разбито на классы Х1, Х2, …, Хn, …, если:

1)подмножества Х1, Х2, …, Хn, … попарно не пересекаются;

2)объединение подмножеств Х1, Х2, …, Хn, … совпадает с множеством Х.