Как найти множество истинности высказывания

Содержание:

Множества

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

Множество может состоять из объектов различной природы. Например, вес реки Азии или все слова в словаре могут рассматриваться как множества.

Знаменитый немецкий математик Г. Кантор (1845 -1918) дал следующую описательную формулировку: «Множество есть совокупность, мыслимая как единое целое».

Объекты, составляющие множество, называются его элементами.

Обычно, для удобства, множество обозначается заглавными буквами латинского алфавита, например, А, В, С,…, а его элементы – прописными.

Множество А, состоящее из элементов а, b, с, … , будем записывать в виде A = {а, b, с,…}. Отметим, что записи {6, 11} , {11, 6} , {11, 6, 6, 11} означают одно и то же множество.

При ведем примеры множеств. Например, множество {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} – множество цифр десятичной системы счисления ,

То, что х является элементом множества А, будем обозначать как а то, что он не является его элементом, будем обозначать как Эти записи в первом случае читаются как «элементах принадлежит А», а во втором случае как «элемент х не принадлежит А».

Например, для множества имеем однако

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

В качестве еще одного примера бесконечного множества можно привести множество всех натуральных чисел, не меньших 13.

Обозначим через число всех элементов конечного множества А. Если, например,

в силу того, что число всех его элементов равно 6. Множество, не содержащее ни одного элемента, называется пустым и обозначается так: 0

Пустое множество 0 считается конечным и для него я(0)= 0.

Для бесконечного множества А принято, что

Если вес элементы множества А также принадлежат множеству В, то говорят, что множество А – подмножество множества В и обозначают так: . В этом случае также говорят, что «множество А лежит во множестве В» или «множество А – часть В».

Во множестве {а} лежат два подмножества:

Множество {а, b} имеет четыре подмножества:

так как все элементы первого множества также являются элементами второго.

Если множество А имеет элементы, не принадлежащие В, то множество А не может быть подмножеством В. Этот факт мы будем записывать так:

Например, пусть А={ 1, 2, 3, 4}, В={2, 3, 4, 5}. Так как Очевидно, что справедливы соотношения:

Если то эти множества состоят из одних и тех же элементов. Такие множества называются равными (совпадающими), и этот факт мы будем записывать так: А = В.

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

все углы равны, и, наоборот, если у треугольника все углы равны, то он является правильным.

Напомним основные числовые множества:— множество натуральных чисел; — множество целых чисел; – множество рациональных чисел;

Множество действительных чисел

Объединение и пересечение множеств

1) Множество, состоящее из элементов, принадлежащих хотя бы одному из множеств А, В, называется объединением множеств.

Объединение множеств А, В обозначается через

Например, если

2) Множество, состоящее из элементов, принадлежащих обоим множествам А, В, называется пересечением множеств. Пересечение множеств А. В обозначается через

Например, если

Множества, не имеющие общих элементов, называются не пересекающимися.

Пример:

Для множеств

a) определите, какие из утверждений верны, а какие неверны:

b) найдите множества:

c) определите, какие из утверждений верны, а какие неверны:

Решение:

а) Так как число 4 не является элементом множества М, то утверждение неверно. Так как число 6 не является элементом множества, утверждение истинно.

b). так как только числа 3 и 9 – элементы обоих множеств. Для того, чтобы найти множествовыпишем элементы, принадлежащие либо М либо N: = {2, 3, 4, 5, 6, 7, 8, 9, 10};

c) Утверждение ложно, ибо существуют элементы множества М, не принадлежащие N. Утверждение истинно, ибо в множестве У есть элементы из {9, 6, 3}. 

В некоторых случаях для задания множества указывается характеристическое свойство, истинное для всех элементов множества и ложное для остальных. Если мы кратко запишем тот факт, что элемент х удовлетворяет свойству Р как Р(х), то множество всех элементов, удовлетворяющих свойству Р обозначается так:

Например, запись читается следующим образом: “множество всех целых чисел, больших или равных -2, по меньших или равных 4”.

На числовом луче это множество изображается так:

Видно, что и оно, конечно, при этом

Аналогично запись читается так: “множество всех действительных чисел, больших или равных -2, но меньших 4”.

На числовом луче это множество изображается так:

Видно, что, и оно бесконечно, при этом

Пример:

a) Как читается эта запись?

b) Выпишите последовательно элементы этого множества.

c) Найдите

Решение:

a) “Множество всех целых чисел, больших 3 и меньших или равных 10”;

b).

c).

Рассмотрим множество всех натуральных чисел, больших или равных 1, но меньших или равных 8. Пусть нас интересуют только его подмножества.

В таком случае, обычно вводится множество называемое универсальным множеством.

Множество А содержащее все элементы универсального множества U, не являющиеся элементами множества А, называется дополнением множества А.

Например, если – универсальное множество, то дополнение множества имеет вид

Очевидно, что

т.е. множества А и А’ не имеют общих элементов, а также вес составляющие их элементы образуют в совокупности универсальное множество U.

Пример:

Пусть U универсальное множество. Найдите С’, если:

а) С = {все четные числа); b).

Решение:

Пример:

Пусть

Выпишите все элементы множеств:

Решение:

Пример:

Пусть {числа, кратные 4 и меньшие 50} и Q = {числа, кратные 6 и меньшие 50}. a) выпишите элементы множеств Р, Q;

b) найдите с) Найдите

d) проверьте выполнение равенства

Решение:

Значит, равенство является верным. 

Диаграммы Венна

Например, на этом рисунке изображено множество А, лежащее внутри универсального множества Закрашенная область вне круга означает дополнение А ’ множества А:

Если и , то они изображаются на диаграмме Венна следующим образом:

Мы знаем, что если то любой элемент множества В принадлежит множеству А. Значит, на соответствующей диаграмме Венна круг, обозначающий множество В, лежит в круге, обозначающем множество А:

Все элементы пересечения лежат как в А, так и в В. Значит, на соответствующей диаграмме Венна закрашенная область изображает множество

Все элементы объединения A U В принадлежат либо А, либо В, либо обоим одновременно. Значит, на соответствующей диаграмме Венна область, соответствующая множеству A U В, изображается следующим образом:

Пример:

Пусть Изобразите на диаграмме

Венна множества:

Решение:

Удобно на диаграмме Венна множества раскрашивать.

Например, на рисунке раскрашены множества А,

Высказывание

Высказывание – это повествовательное предложение, утверждающее что-либо о чем-либо, при этом непременно истинное или ложное. Вопросительные предложения, повествовательные предложения, описывающие личное отношение субъекта, например «Зеленый цвет приятен», не являются высказываниями. Отметим, что существуют высказывания, истинность или ложность которых не определяются однозначно.

Например, высказывание “Этот писатель родился в Ташкенте” может быть истинным по отношению к некоторым писателям и ложным по отношению к другим.

Пример:

Укажите, какие из предложений являются высказываниями. В случае, когда предложение является высказыванием, однозначно ли определяется его истинность – ложность?

а) 20:4=80; b) 25-8=200;

с) Где мой карандаш? d) У тебя глаза голубые.

Решение:

a) Это высказывание и оно ложно, так как 20:4=5;

b) это высказывание и оно истинно;

c) это вопросительное предложение и поэтому оно не является высказыванием;

d) это высказывание. Истинность-ложность его определяется неоднозначно, так как применительно к некоторым людям оно истинно, а к другим – ложно.

Мы будем обозначать высказывания буквами p,q,r … .

Например, р: во вторник прошел дождь; q: 20:4=5; r: х – четное число. Для построения нескольких сложных высказываний служат символы, называемые логическими связками: (конъюнкция, “и”, “но”), (дизъюнкция, “или”), (отрицание,” не ….”,”неверно, что ….”).

Рассмотрим их подробней.

Отрицание

Для высказывания р высказывание вида “не р” или “неверно, что р” называется отрицанием высказывания р и обозначается как

Например,

отрицанием высказывания

р: Во вторник шел дождь

является высказывание

: Во вторник дождя не было;

Отрицанием высказывания

р: У Мадины глаза голубые

является высказывание

: У Мадины глаза не голубые.

Ясно, что если р истинно, то ложно, и наоборот, если р ложно, то истинно. Этот факт иллюстрируется так называемой таблицей истинности. Такая таблица позволяет, исходя из высказывания р, заключить об истинности или ложности нового высказывания

1 Буквы Т и F – начальные буквы английских слов “true” (истинно) и “false” (ложно) соответственно.

Пример:

Составьте отрицание высказывания:

Решение:

Удобно находить отрицание высказывания с помощью диаграмм Венна. Например, рассмотрим высказывание:

р: “Число х больше, чем 10 “.

На диаграмме U – множество всех чисел, множество Р – множество истинности высказывания р, то есть множество всех х , для которых это высказывание истинно. Множество Р’ является множеством истинности отрицания : “Число х меньше или равно 10”.

Пример:

На множестве рассмотрим высказывание р: х- простое число. Найдите множества истинности высказываний

Решение:

Пусть множество Р – множество истинности высказывания р, а множество Р’ – множество высказывания . Тогда эти множества изображаются на диаграмме Венна следующим образом:

Конъюнкция

Высказывание, образованное из двух высказываний с помощью связки “и”, называется конъюнкцией заданных высказываний.

Конъюнкция высказываний р, q обозначается через

Например, конъюнкция высказываний,

р: Эльдар на завтрак ел плов;

q: Эльдар на завтрак ел самсу.

имеет вид:

Эльдар на завтрак ел плов и самсу.

Видно, что высказывание верно, если Эльдар на завтрак ел и плов и самсу, то есть высказывание истинно при истинности обоих высказываний. Если хотя бы одно из высказываний р, q ложно, то высказывание является ложным. Конъюнкция высказываний р, q имеет следующую таблицу истинности:

истинно, когда оба высказывания р, q истинны. ложно, когда хотя бы одно из высказываний р, q ложно.

Первый и второй столбцы таблицы составлены из всех возможных значений истинности высказываний р, q.

На диаграмме Р – множество истинности высказывания р, Q – множество истинности высказывания q , а множество истинности высказывания является множеством на котором истинны оба высказывания:

Дизъюнкция

Высказывание, образованное из двух высказываний с помощью связки “или”, называется дизъюнкцией заданных высказываний.

Дизъюнкция высказываний р, q обозначается через

Например, дизъюнкция высказываний,

р: Эльдар сегодня посетит библиотеку,

q: Эльдар сегодня посетит театр .

имеет вид:

Эльдар сегодня посетит библиотеку или театр.

Высказывание истинно, когда сегодня Эльдар посетит либо библиотеку, либо театр, либо и то и другое.

Высказывание будет ложным, лишь когда оба высказывания р, q будут ложными одновременно.

Дизъюнкция имеет следующую таблицу истинности:

pVq истинно, когда хотя бы одно из высказываний р, q истинно.

pVq ложно, когда оба высказывания p, q ложны.

На диаграмме Р – множество истинности высказывания р, Q – множество истинности высказывания q, а множество истинности высказывания pVq является множество , на котором истинно хотя бы одно высказывание:

Логическая равносильность

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

Объединяя таблицы истинности для отрицания, конъюнкции и дизъюнкции, можно составить таблицы истинности для более сложных высказываний:

Пример 1. Составьте таблицу истинности высказывания

1 шаг.

Выпишем таблицу и заполним сначала первый и второй столбец всеми возможными значениями истинности р и q:

2 шаг. Учитывая значения истинности q, заполним третий столбец значениями истинности

3 шаг Учитывая значения истинности p и заполним четвертый столбец значениями истинности

Высказывание, являющееся истинным всегда, называется законом логики или тавтологией.

То, что высказывание является законом логики, можно доказать при помощи таблицы истинности.

Пример:

Докажите, что высказываниеявляется тавтологией.

Заполним таблицу истинности:

Решение:

Видно, что высказывание принимает только истинные значения (см. третий столбец). Поэтому данное высказывание является тавтологией. 

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

Пример:

Докажите, что следующие высказывания являются логически равносильными

Решение:

Составим таблицы истинности для высказываний

Так как у высказываний соответствующие значениям истинности столбцы одинаковы, то эти высказывания являются логически равносильными.

Мы будем обозначать этот факт так:

Импликация

Высказывание, образуемое из двух высказываний с помощью связки “если …., то …” называется импликацией этих двух высказываний.

Импликация “Если р, то q” обозначается как и имеет также следующие интерпретации “Из р следует (вытекает) q”, “Высказывание р достаточно для q “, “Высказывание q необходимо для р”.

При этом высказывание р называется достаточным условием для q, а высказывание q – необходимым условием для р.

высказывание q – необходимым условием для р.

Рассмотрим , например, высказывания

р: У Сардора есть телевизор; q: Сардор будет смотреть кино.

Тогда высказывание означает:

Если у Сардора есть телевизор, то он будет смотреть кино.

Точно также

Для того, чтобы Сардор смотрел кино достаточно, чтобы у него был телевизор.

Можно заметить, что высказывание ложно, лишь когда высказывание р истинно, а высказывание q ложно, а в остальных случаях – истинно. Поэтому имеем следующую таблицу истинности:

Из высказываний и логических связок, не обращая на значения истинности, можно составить более сложные высказывания.

Пример:

Рассмотрим высказывания

р: “Анора часто смотрит кинофильмы”;

q: “Барно часто смотрит кинофильмы

r: “Барно не сдаст экзамен”;

s: “произойдет чудо”.

 Имеем: 1. “Анора часто смотрит кинофильмы, а Барно – нет”.

2. “Если Анора часто смотрит кинофильмы, то Барно нет”.

3. “Если Барно часто смотрит кинофильмы, то она или не сдаст экзамен или произойдет чудо”.

4. “Если Барно часто смотрит кинофильмы и при этом не произойдет чуда, то Барно не сдаст экзамен”.

5. “Либо Барно часто смотрит кинофильмы и произойдет чудо, либо Барно не сдаст экзамен”.

Эквиваленция

Высказывание вида называется эквиваленцией высказываний и обозначается так:

Запись читается как “высказывание р необходимо и достаточно для q” или как “высказывание р истинно лишь при выполнении q”.

Пример:

р: х – четно, q: последняя цифра числа х четна. Выразите высказывание

Решение:

Рассмотрим высказывание,: Если х- четно, то его последняя цифра четна;

Если последняя цифра числа х четна, то х – четно.

Тогда запись читается , как “Для того чтобы число х было четно, необходимо и достаточно, чтобы последняя его цифра была четной”. ^ Теперь для заданных высказываний р и q составим таблицу истинности высказывания :

Видно, что высказывание будет истинным, лишь когда высказывания р и q принимают одинаковые значения истинности (то есть когда они оба одновременно истинны или одновременно ложны ).

Конверсия

Конверсией высказывания называется высказывание

Конверсия имеет следующую таблицу истинности:

Пример:

Рассмотрим высказывания

р: треугольник равнобедренный,

q: два угла треугольника равны.

Выразите на естественном языке высказывание и его конверсию.

Решение:

Если треугольник равнобедренный, то у него два угла равны.

Если два угла треугольника равны, то он равнобедренный .

Инверсия

Инверсией высказывания называется высказывание Инверсия имеет следующую таблицу истинности:

Эта таблица совпадает с таблицей истинности высказывания . Поэтому конверсия и инверсия логически равносильны.

Контрапозиция

Контрапозицией высказывания называется высказывание Контрапозиция имеет следующую таблицу истинности:

Эта таблица совпадает с таблицей истинности высказывания Поэтому импликация и контрапозиция логически равносильны.

Пример:

Рассмотрим высказывание. Все учителя живут поблизости от школы”. Составим его контрапозицию.

Решение:

Данное высказывание можно сформулировать так: “Если этот человек – учитель, что он живет поблизости от школы”.

Это предложение имеет форму , где

р: этот человек – учитель,

q: этот человек живет поблизости от школы.

Контрапозиция имеет вид:

“Если этот человек не живет поблизости от школы, то он не является учителем.

Пример:

Рассмотрим высказывания:

р: Самандар находится в библиотеке, q: Самандар читает книгу.

Составьте имликацию, конверсию, инверсию и контрапозицию

Решение:

Отметим, что импликация и конверсия логически не равносильны, так как , например , Самандар может читать книгу и в классе.

Предикаты и кванторы

В некоторых предложениях участвуют переменные, при этом подставив вместо них конкретные значения, получим высказывания. Такие предложения называются предикатами.

Пример:

Пусть задан предикат Определите истинность или ложность высказываний

Решение:

В некоторых предикатах переменную можно определить исходя из контекста.

Например, в предложениях “Этот писатель родился в Ташкенте” и “Он родился в Ташкенте” переменными являются словосочетание”. “Этот писатель” и местоимение “он” соответственно. Если вместо переменной подставить значение “Абдулла Кадыри”, получим истинное высказывание “Абдулла Кадыри родился в Ташкенте”. Если вместо переменной подставить значение “Шекспир”, получим ложное высказывание “Шекспир родился в Ташкенте”.

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

В предикате могут участвовать одно или несколько переменных. В зависимости от количества переменных, участвующих в предикате, будем обозначать его так:

Используя совместно с предикатом специальные символы (квантор всеобщности, “для всех … “) и (квантор существования, “существует такой, что ….”), можно образовать новые высказывания

Например, новое высказывание вида говорит о том, что для всех значений х верно Р(х), высказывание вида говорит о том, что значений х верно Р(х).

К примеру, рассмотрим предикат Р(х): “х родился в Самарканде”. Тогда высказывание читается как “все родились в Самарканде”, а высказывание – “некоторые родились в Самарканде”.

Приведем примеры, в которых можно определить истинность-ложность высказываний вида

Пример:

Пусть Докажите истинность высказывания:

Решение:

 Проверим:

Значит, высказывание, истинно.

Следует отметить, что для того, чтобы доказать ложность высказывания достаточно, привести пример хотя бы одного значения х такого, что высказывание, ложно.

Действительно, при

Любое значениех, которое показывает, что высказывание ложно, называется контрпримером.

Пример:

Докажите истинность высказывания

Решение:

Так как то высказывание, истинно.

Если же , то высказывание ложно, ибо

Приведем два важных закона логики, связанных с операцией отрицания:

Для понимания смысла этих законов приведем пример.

Если запись означает “Среди моих одноклассников

не существует отличников”, тогда запись означает логически равносильное ему утверждение “Все мои одноклассники не являются отличниками”.

Точно также, формула означает высказывание “Неверно, что все мои одноклассники – отличники “, а формулаозначает логически равносильное ему высказывание “Некоторые мои одноклассники не являются отличниками”.

Очевидно, что с помощью кванторов и предиката можно построить зависящие от одной переменной предикаты вида:

из которых, в свою очередь, можно построить всказывания вида:

В то время, когда смысл высказываний

а также смысл высказываний,одинаков, оказывается, что высказывания не являются равносильными.

Рассмотрим, например, предикат Р(х,у): человек у – отец моего одноклассника х.

В этом случае = означает высказывание “у каждого моего одноклассника есть отец”; а означает высказывание “существует такой человек, который является отцом всех моих одноклассников”.

Аналогично можно показать, что высказывания,не являются равносильными (приведите примеры самостоятельно).

С помощью кванторов и предикатов можно построить и другие законы логики. Например, высказывание «Если все вороны черные, то ни одна не черная птица не является вороной “, служит примером закона логики вида:

Законы правильного мышления (аргументации)

В процессе познания действительности мы приобретаем новые знания. Некоторые из них непосредственно, в результате воздействия предметов внешнего мира на органы чувств. Но большую часть знаний мы получаем пу тем выведения новых знаний из знаний уже имеющихся. Чтобы научиться стройно и последовательно излагать свои мысли, правильно делать выводы, необходимо пользоваться законами логики. Определенность, непротиворечивость, последовательность и обоснованность являются обязательными качествами правильного мышления. Законы логики устанавливают необходимые связи в последовательном ряду мыслей и умозаключений.

Суждение представляет собой форму мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях. Например, в суждении «Железо-металл» утверждается связь между предметом (железо) и его признаком (являться металлом). В суждении «Яйцо появилось раньше курицы » утверждается связь между двумя предметами (яйцо и курица). Так как суждение выражается в форме повествовательного предложения, причем суждение может быть либо истинным, либо ложным, то каждое суждение имеет форму высказывания.

Умозаключение- это такая форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам получается некоторое суждение, называемое заключением или выводом.

Пусть S-совокупность исходных суждений (посылок), Р- заключение. В этом случае, умозаключение имеет логическую форму вида Совокупность высказываний S будем называть основанием, а высказывание Р- следствием. Основание и следствие будем связывать словом «следовательно» и отделять горизонтальной чертой: . Рассмотрим простой пример.

Если Собир занимается спортом, то будет здоров. Собир занимается спортом. Следовательно, Собир будет здоров.

Найдем логическую форму этого умозаключения.

Пусть р: Собир занимается спортом; q: Собир будет здоров. Тогда умозаключение имеет вид:

Так следствие вытекает из суждений и р, то умозаключение имеет следующую логическую форму

Составим соответствующую таблицу истинности:

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

Пример:

Покажите неправильность умозаключения:

Если треугольник имеет три стороны, то 2+4-7.

Следовательно, треугольник имеет три стороны.

Решение:

Найдем логическую форму этого умозаключения.

р: треугольник имеет три стороны.

q: 2+4=7

Имеем:

Так как здесь следует q, то наше умозаключение имеет логическую форму

Составим соответствующую таблицу истинности:

В результате мы не получили тавтологию. Это показывает неверность умозаключения, то есть мы из данного основания не получили правильное следствие.

Ниже мы приведем некоторые правила правильных умозаключений:

Доказательство верности вышеуказанных умозаключений мы оставляем учащимся в качестве упражнения.

Софизмы и парадоксы

– представляют собой преднамеренные, сознательно совершаемые ошибки, рассчитанные на то, чтобы выдать ложь за истину, тем самым вводя человека в заблуждение.

Одним из первых соответствующие примеры привел математик Зенон, живший в 5 веке до нашей эры в Древней Греции. Например, Зенон «доказал», что быстроногий Ахиллес никогда не догонит неторопливую черепаху, если в начале движения она находится впереди Ахиллеса. Приведем его рассуждения. Допустим, Ахиллес бежит в 10 раз быстрее, чем черепаха, и находи тся позади нее на расстоянии в 100 шагов. За то время, за которое Ахиллес пробежит это расстояние, черепаха в ту же сторону проползет 10 шагов.

За то время, за которое Ахиллес пробежит 10 шагов, черепаха проползет еще 1 шаг, и так далее. Процесс будет длиться до бесконечности, Ахиллес так никогда и не догонит черепаху.

Примеры Зенона связаны с понятиями бесконечности и движения, которые имели большое значение в развитии физики и математики.

Некоторые софизмы обсуждали в переписке между собой наши великие соотечественники Беруни и Ибн Сино, а также они встречаются в произведениях Фараби.

Приведем простейшие примеры на софизмы и обсудим их.

Пример:

Куда пропали 1000 руб? Три друга отобедали в кафе, после чего официант дал им счет на 25000 руб. Каждый из трех друзей достал по купюре в 10000 руб, в итоге они отдали официанту 30000 руб. На сдачу официант отдал 5000 руб более мелкими купюрами. Друзья взяли по 1000 руб себе, а оставшиеся 2000 руб отдали другу на такси. Один из друзей стал рассуждать: “Каждый из нас потратил по 9000 руб, что в итоге составляет 27000 руб. Затем 2000 руб отдали на такси, значит, в итоге получается 29000 руб. Куда пропали 1000 руб?”

Решение:

 Основной «подвох» в этом рассуждении заключается в том, что 2 От древнегреческого уловка.

расчеты сделаны неверно. Действительно, трое друзей сложились по 9000 руб и получили 27000 руб. Из этих денег 25000 руб заплатили за обед, а 2000 руб заплатили за такси. Следовательно, общая трата составила 27000 руб. Тс 2000 руб находятся внутри 27000 руб.

Пример:

Упростим верное равенство: 20-16-4=25-20-5

2(10—8—2)=25—20—5

2-2-(5—4—1)=5-(5—4—1)

Сократим левую и правую часть последнего равенства на общий делитель (5-4-1). В итоге получим равенство 2-2=5.

Основной «подвох» в этом рассуждении заключается в том, что мы поделили обе части равенства 2-2-(5-4-1)=5-(5-4-1) на нуль.

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

Парадоксы, обычно, возникают в теориях, логические основы которых не определены полно.

Пример:

Парадокс лжеца. Рассмотрим высказывание “То, что я утверждаю сейчас – ложь”.

Если это высказывание истинно, значит, исходя из его содержания, верно то, что данное высказывание -ложь. Но если оно -ложь, тогда неверно то, что оно утверждает, то есть утверждение о ложности данного высказывания неверно, значит, данное высказывание истинно. Таким образом, цепочка рассуждений возвращается в начало.

Пример:

Прилагательное русского языка назовем рефлексивным, если оно обладает свойством, которое определяет.

Например, прилагательное «русский» – рефлексивное, а прилагательное «английский» – нерефлексивное, прилагательное «трехсложный» – рефлексивное (это слово состоит из трех слогов), а прилагательное «четырехсложный» – нерефлсксивное (состоит из пяти слогов). Вроде бы ничто не мешает нам определить множество {все рефлексивные прилагательные}. Но давайте рассмотрим прилагательное «нерефлексивный». Оно рефлексивное или нет?

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

Пример:

Два взаимно пересекающихся множества А, В делят универсальное множество на четыре части:

Следовательно, число элементов универсального множества является суммой количеств элементов этих частей.

На следующей диаграмме мы заключили известные количества элементов частей универсального множества в круглые скобки:

Здесь, например, обоим множествам А, В принадлежат 4 элемента, а 3 элемента не принадлежат ни одному из них.

Так как произвольный элемент множества U, принадлежит только одному из этих 4 частей , то число элементов множества U равно 7+4+6+3=20.

Пример:

Используя рисунок, найдите число элементов следующих множеств:

d). Множество элементов, принадлежащих Р, но не принадлежащих Q

е) Множество элементов, принадлежащих Q, но не принадлежащих Р;

f) Множество элементов, не принадлежащих ни Р, ни Q.

Пример:

Если

a) Найдите

b) Сколько элементов содержит множество элементов, принадлежащих А, но не принадлежащих В‘?

Решение:

Составим диаграмму Венна:

Из того, что Следовательно, b=6, а=8, с= 11, d=5.

Из диаграммы получаем следующее:

b) Число элементов, принадлежащих А, но не принадлежащих В, равно а= 8

Пример:

Из 27 учеников, посещающих спортивную секцию, 19 имеют темные волосы, 14 – черные глаза, а 11 имеют и темные волосы и черные глаза одновременно.

a) Изобразите эту информацию с помощью диаграммы Венна. Объясните ситуацию.

b) Найдите число учеников, которые I имеют или темные волосы или черные глаза; II темноволосых, но не черноглазых?

Решение:

а) Пусть Qs – множество темноволосых, a Qk множество черноглазых учеников.

Изобразим ситуацию на диаграмме:

b) Используя диаграмму, определим следующее:

I количество учеников, имеющих или темные волосы или черные глаза:

II количество темноволосых учеников, не обладающих черными глазами:

Пример:

На футбольном соревновании город представляют три команды А, В и С. 20 процентов населения города болеют за команду И, 24 процента – за В, 28 процентов – за С. 4 процента жителей болеют и за С и за И, 5 процент, жителей болеют и за В и за А, а 6 процентов жителей болеют и за В и за С. Кроме того, 1 процент населения болеет за все три команды.

Сколько процентов жителей:

a) болеют только за команду А;

b) болеют и за А и за В, но не болеют за команду С;

c) не болеют ни за одну из команд?

Решение:

Заполним для начала соответствующую диаграмму Венна.

а= 1, так как 1 процент жителей болеет за все команды.

a+d=4, так как 4 процента жителей болеет и за И и за В.

а+b=6, так как 6 процентов жителей болеют и за В и за С а+с=5, так как 5 процентов жителей болеют

—-

Множества

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

Множества обозначаются прописными буквами, а их элементы – строчными. Если  есть элемент множества А, то используется запись если b не является элементом множества А, то записывают

Например, – множество А состоит из элементов 1;3;6;8.

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

Два множества называются равными, если они состоят из одних и тех же элементов. Например, если т.е.
множества равны.

Объединением двух множеств А и В называется множество С, состоящее из элементов, принадлежащих хотя бы одному из данных множеств, т.е.

Пересечением двух множеств А и В называется множество D, состоящее из всех элементов, одновременно принадлежащих каждому из данных множеств А и В, т.е.

Разностью двух множеств А и В называется множество E, состоящее из всех элементов множества А, которые не принадлежат множеству В, т.е.

Пример 1. Даны множества   Найти объединение, пересечение и разность множеств А и В.

Решение. Объединение двух данных множеств – их пересечение – а разностью –  .

Множества, элементами которых являются действительные числа, называются числовыми.

Обозначения множеств:

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

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

R – множество действительных чисел;

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

– множество комплексных чисел.

Геометрически, каждому действительному числу соответствует точка числовой оси, и наоборот, каждой точке прямой – определенное действительное число.

Множество X, элементы  которого удовлетворяют: неравенству называется отрезком неравенству называется интервалом неравенствам  называются полуинтервалом соответственно

В дальнейшем все указанные множества мы объединяем термином промежуток X.

——

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

Под множеством будем понимать совокупность объектов, наделенных определенными свойствами. Эти свойства должны полностью определять данное множество, то есть являться признаками, по которым относительно любого объекта можно решить, принадлежит он данному множеству или нет. Синонимами термина “множество” являются термины “класс “семейство “совокупность”. Объекты, из которых состоит данное множество, называют его элементами.

Чаще всего множество обозначают большими буквами латинского или греческого алфавита, а его элементы — малыми буквами. Если a — элемент множества A, то пишут a ∈ A (читают: “a принадлежит множеству A”) или A 3 a (множество A содержит элемент a). Запись a ∈/ A означает, что a не является элементом множества A.
Множество обычно записывают одним из следующих способов:

A = {a , . . . , } или A = {x ∈ X : P (x)}.

Первая запись означает, что множество A состоит из элементов a, . . . , , то есть перечислены элементы, составляющие A, их может быть конечное число или бесконечно много. Вторая запись означает, что A есть совокупность всех тех объектов из множества X, для которых выполняется свойство P . Формально введем пустое множество — множество, не содержащее в себе никаких элементов, которое обозначим символом .

Определение 1.1. Множества A и B называются равными (или совпадающими), если они состоят из одних и тех же элементов, то есть x ∈ A тогда и только тогда, когда x ∈ B .

Коротко это высказывание записывают: A = B, а отрицание этого утверждения — в виде:  .

Определение 1.2. Если каждый элемент множества A является элементом множества B , то говорят, что A есть подмножество множества B (или A есть часть B ), и пишут A ⊂ B (читается: “Множество A содержится в множестве B”) или B ⊃ A (читается: “Множестоо B содержит множество A”).

Отметим следующие свойства отношения включения:
1.    A ⊂ A, то есть всякое множество есть подмножество себя самого;
2.    Если A ⊂ B и B ⊂ C, то A ⊂ C (отношение включения транзитивно);
3.    Если A ⊂ B и B ⊂ A, то A = B.

Удобно считать, что ⊂ A для любого множества A.

Пусть A и B — некоторые подмножества множества E. Введем наиболее простые операции с множествами.

Определение 1.3. Объединением множеств A и B называется множество, обозначаемое A ∪ B и состоящее из всех элементов, которые принадлежат или множеству A или B .

Таким образом, x ∈ A ∪ B , если x ∈ A, но x  B , или x ∈ B , но x A, или x ∈ A и x ∈ B. Очевидно, что A ∪ A = A, A ∪ = A.

Определение 1.4. Пересечением множеств A и B называют множество, обозначаемое A∩B и состоящее из всех элементов, каждый из которых принадлежит и A и B .

Если множества A и B не имеют общих точек, то A ∩ B =. Очевидно, что A∩A= A, A∩= .

Определение 1.5. Разностью множеств A и B называют множество, обозначаемое A B и состоящее из всех элементов множества A, которые не принадлежат множеству B .

Если A ⊂ B , то часто множество A B называют дополнением множества B до A. По определению A A = , A = A.

Пример 1.1. Пусть A = {1,3,4,8, 15} ,B = {1,2,7,8, 12}. Тогда

A∪B = {1,2,3,4,7,8,12,15}, A∩B = {1, 8},

AB = {3, 4, 15}, BA= {2, 7, 12}

Определение 1.6. Набор, состоящий из двух элементов x₁ и x₂, называют упорядоченным, если известно, какой из этих элементов является первым, а какой — вторым. Такой упорядоченный набор называют упорядоченной парой и обозначают (x₁, x₂). Элементы x₁ , x^₂ называют, соответственно, первой и второй координатами пары (x₁, x₂). Пары (x₁, x₂) и (y₁ , y₂) называют совпадающими, если x₁ = y₁ и x₂ = y₂ .

Определение 1.7. Декартовым (или, по-другому, прямым) произведением множеств A и B называют множество упорядоченных пар (x, y), где первый элемент x является элементом множества A, а второй y — элементом множества B . Это множество обозначают символом A × B .

Таким образом, A × B = { (x, y) | x ∈ A, y ∈ B}. Но, вообще говоря, A × B B × A. Известная всем плоскость с декартовой системой координат является декартовым произведением двух числовых прямых (осей).

Пусть A и B — числовые отрезки, помещенные на взаимно перпендикулярных осях плоскости. Упорядоченная пара (x, y) — это точка пересечения перпендикуляров, восстановленных в точках x ∈ A и y ∈ B . Произведением A × B является прямоугольник.

Логическая символика

В последующем, как и в большинстве математических текстов используется ряд специальных символов, многие из которых вводятся по мере надобности. Применяются распространенные символы математической логики , , ∃, ∀, которые читаются, соответственно, как “влечет” , “равносильно” , “существует” (“найдется”), “любой” (“каждый” , “для каждого” , “для любого” ).

Запись A B читают одним из следующих способов: A влечет B , B следует из A, B — необходимое условие A, A — достаточное условие (признак) B.

Запись A B читают одним из следующих способов: A равносильно B, A необходимо и достаточно для B , A верно тогда и только тогда, когда верно B . Квантор равносильности часто применяется в символьной записи определений и утверждений.

Запись “∃ x ∈ X ” означает: существует элемент x из множества X .
Запись “∀ x ∈ X ” означает: для любого элемента x из множества X или каков бы ни был элемент x из множества X .

Часто в символьной записи математических утверждений используют символ “:” или эквивалентный ему символ “| которые читают: “такой, что”. В частности, запись “∃ x ∈ X : x² – 1 = 0″ означает: существует такой элемент x в множестве X , что x² – 1 = 0.

• Заказать решение задач по высшей математике

Множества

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

Понятие множества и его элементов

Элемент принадлежит множеству

Элемент не принадлежит множеству

В множестве нет элементов

Множество можно представить как совокупность некоторых объектов, объединенных по определенному признаку. В математике множество — одно из основных неопределяемых понятий.

Каждый объект, принадлежащий множеству , называется элементом этого множества.

Множество, не содержащее ни одного элемента, называется пустым множеством и обозначается

Подмножество

Если каждый элемент множества является элементом множества , то говорят, что множество является подмножеством множества , и записывают так: Используется также запись , если множество или является подмножеством множества , или равно множеству

Равенство множеств

Два множества называются равными, если каждый элемент первого множества является элементом второго множества и, наоборот, каждый элемент второго множества является элементом первого множества

Пересечение множеств

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

Объединение множеств

Объединением множеств и называют множество , состоящее из всех элементов, принадлежащих хотя бы одному из этих множеств ( или )

Разность множеств

Разностью множеств и называется множество , которое состоит из всех элементов, принадлежащих множеству и не принадлежащих множеству

Дополнение множеств

Если все рассматриваемые множества являются подмножествами некоторого универсального множества , то разность называется дополнением множества . Другими словами, дополнением множества называется множество, состоящее из всех элементов, не принадлежащих множеству (но принадлежащих универсальному множеству )

Объяснение и обоснование:

Понятие множества

Одним из основных понятий, которые используются в математике, является понятие множества. Для него не дается определения. Можно пояснить, что множеством называют произвольную совокупность объектов, а сами объекты — элементами данного множества. Так, можно говорить о множестве учеников в классе (элементы — ученики), множестве дней недели (элементы — дни недели), множестве натуральных делителей числа 6 (элементы — числа 1, 2, 3, 6) и т. д. В курсах алгебры и алгебры и начал анализа чаще всего рассматривают множества, элементами которых являются числа, и поэтому их называют числовыми множествами.

Как правило, множества обозначают прописными буквами латинского алфавита. Например, если множество состоит из чисел 1; 2; 3, то его обозначают так: = {1; 2; 3}. Тот факт, что число 2 входит в это множество (является элементом данного множества ), записывается с помощью специального значка е следующим образом: ; а то, что число 5 не входит в это множество (не является элементом данного множества), записывается так: .

Можно рассматривать также множество, не содержащее ни одного элемента, — пустое множество.

Например, множество простых делителей числа 1 — пустое множество.

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

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

В общем виде запись множества с помощью характеристического свойства можно обозначить так: , где — характеристическое свойство. Например,

В этом случае и в записи решений тригонометрических уравнений и неравенств в разделе 3 запись означает, что принимает любое целое значение, что также можно записать как

Равенство множеств

Пусть — множество цифр трехзначного числа 312, то есть , а — множество натуральных чисел, меньших чем 4, то есть . Поскольку эти множества состоят из одних и тех же элементов, то они считаются равными. Это записывают так: . Для бесконечных множеств таким способом (сравнивая все элементы) установить их равенство невозможно. Поэтому в общем случае равенство множеств определяется следующим образом.

Два множества называются равными, если каждый элемент первого множества является элементом второго множества и, наоборот, каждый элемент второго множества является элементом первого множества.

Из приведенного определения равенства множеств следует, что в множестве одинаковые элементы не различаются. Действительно, например, , поскольку каждый элемент первого множества (1 или 2) является элементом второго множества и, наоборот, каждый элемент второго множества (1 или 2) является элементом первого. Поэтому, записывая множество, чаще всего каждый его элемент записывают только один раз.

Подмножество

Если каждый элемент множества является элементом множества , то говорят, что множество является подмножеством множества .

Это записывают следующим образом:

Например, (поскольку любое натуральное число — целое), (поскольку любое целое число — рациональное), (поскольку любое рациональное число — действительное).

Полагают, что всегда , то есть пустое множество является подмножеством любого непустого множества.

Иногда вместо записи используется также запись , если множество является подмножеством множества , или равно множеству . Например,

Сопоставим определение равенства множеств с определением подмножества. Если множества и равны, то: 1) каждый элемент множества является элементом множества , следовательно, — подмножество ; 2) каждый элемент множества является элементом множества , следовательно, — подмножество .

Таким образом, два множества равны, если каждое из них является подмножеством другого.

Иногда соотношения между множествами удобно иллюстрировать с помощью кругов (которые часто называют кругами Эйлера—Венна). Например, рисунок 1 иллюстрирует определение подмножества, а рисунок 2 — отношения между множествами .

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

Над множествами можно выполнять определенные действия: пересечение, объединение, находить разность. Дадим определение этих операций и проиллюстрируем их с помощью кругов Эйлера—Венна.

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

Пересечение множеств обозначают знаком (на рисунке 3 приведена иллюстрация определения пересечения множеств).

Например, если то .

Объединением множеств и называют множество , состоящее из всех элементов, принадлежащих хотя бы одному из этих множеств ( или ).

Объединение множеств обозначают знаком (на рисунке 4 приведена иллюстрация определения объединения множеств).

Например, для множеств и из предыдущего примера Если обозначить множество иррациональных чисел через , то .

Разностью множеств и называется множество , состоящее из всех элементов, которые принадлежат множеству и не принадлежат множеству В.

Разность множеств обозначают знаком . На рисунке 5 приведена иллюстрация определения разности множеств.

Например, если

Если — подмножество , то разность называют дополнением множества В до множества (рис. 6).

Например, если обозначить множество всех иррациональных чисел через , то : множество всех иррациональных чисел дополняет множество всех рациональных чисел до множества всех действительных чисел.

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

Дополнение множества обозначается (можно читать: « с чертой» или «дополнение »).

Например, если и , то . Для этого примера удобно использовать традиционную иллюстрацию множества действительных чисел на числовой прямой (рис. 8).

Числовые множества. Множество действительных чисел

Числовые множества:

Действительные числа

Числа, которые можно представить в виде бесконечной десятичной дроби

Рациональные числа

Можно представить в виде несократимой дроби , где — целое, — натуральное число. Записываются в виде бесконечной периодической десятичной дроби

Иррациональные числа

Нельзя представить в виде несократимой дроби , где — целое, — натуральное число. Записываются в виде бесконечной непериодической десятичной дроби

Целые числа

Включают натуральные числа, числа, противоположные им, и число нуль

Дробные числа

Числа, состоящие из целого числа частей единицы

( – обыкновенная дробь, 1,23 — десятичная дробь: )

Натуральные числа (целые положительные)

Для школьного курса математики натуральное число – основное не определяемое понятие

Число 0

Такое число, при сложение с которым любое число не изменяется

Целые отрицательные числа

Числа, противоположные натуральным

Модуль действительного числа и его свойства

Определение:

Модулем положительного числа называется само это число, модулем отрицательного числа называется число, противоположное ему, модуль нуля равен нулю

Геометрический смысл модуля

На координатной прямой модуль — это расстояние от начала координат до точки, изображающей это число.

Модуль разности двух чисел и — это расстояние между точками и на координатной прямой

Свойства

1. Модуль любого числа — неотрицательное число

2. Модули противоположных чисел равны

3. , то есть Каждое число не больше своего модуля

4. При

5. При

6. Модуль произведения равен произведению модулей множителей

7. Модуль дроби равен модулю числителя, деленному на модуль знаменателя (если знаменатель не равен нулю)

8.

9.

Модуль суммы не превышает суммы модулей слагаемых

10.

Объяснение и обоснование:

Числовые множества

В курсе математики вы встречались с разными числами: натуральными, целыми, рациональными, иррациональными, действительными. Представление о числах у человечества складывалось постепенно, под воздействием требований практики. Например, натуральные числа появились в связи с необходимостью подсчета предметов. Но для того чтобы дать ответ на вопрос «Сколько спичек в пустой коробке из-под спичек?», множества натуральных чисел недостаточно — для этого необходимо иметь еще и число нуль. Присоединяя к множеству натуральных чисел число 0, получаем множество неотрицательных целых чисел. Его часто обозначают . Одних только неотрицательных целых чисел оказалось недостаточно для решения задач практики (а следовательно, и математических задач, отображающих заданную реальную ситуацию). Так, для того чтобы охарактеризовать температуру воздуха выше и ниже нуля или движение тела в противоположных направлениях, необходимы противоположные натуральным числа, то есть отрицательные числа. Для натурального числа противоположным считается число , а для числа противоположным считается число . Нуль считают противоположным самому себе.

Натуральные числа, числа, противоположные натуральным, и число нуль составляют множество целых чисел.

Измерение величин привело к необходимости расширения множества целых чисел и введения рациональных чисел. Например, средняя многолетняя температура воздуха в январе в г. Харькове — , длительность урока — 45 минут, или часа.

Таким образом, выбирая какую-либо единицу измерения, мы получаем числовое значение величин, которое может выражаться с помощью разных рациональных чисел — целых и дробных, положительных и отрицательных.

Целые и дробные числа составляют множество рациональных чисел.

Любое рациональное число можно записать в виде дроби , где

(то есть числитель является целым числом, а знаменатель — натуральным).

Рациональное число может быть записано разными дробями. Например,

Как видно из приведенных примеров, среди дробей, которые изображают данное рациональное число, всегда есть единственная несократимая дробь (для целых чисел — это дробь, знаменатель которой равен 1).

Обратим внимание, что рациональное число, записанное в виде дроби , где , можно также записать в виде конечной или бесконечной периодической десятичной дроби, разделив числитель на знаменатель. Например, .

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

Целые числа также договоримся записывать в виде бесконечной десятичной дроби, у которой справа от запятой на месте десятичных знаков стоят нули, например . Таким образом, любое рациональное число может быть записано как бесконечная периодическая дробь. Напомним, что у бесконечной периодической дроби, начиная с некоторого разряда, все десятичные знаки повторяются. Группу цифр, которая повторяется, называют периодом дроби; при записи дроби период записывают в скобках. Например, .

Таким образом, каждое рациональное число может быть записано в виде бесконечной периодической десятичной дроби и наоборот, каждая бесконечная периодическая дробь задает рациональное число.

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

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

Каждое рациональное число можно изобразить точкой на координатной прямой (то есть прямой, на которой выбраны начало отсчета, положительное направление и единица измерения). Например, на рисунке изображены несколько рациональных чисел .

Однако на координатной прямой есть точки, изображающие числа, которые не являются рациональными. Например, из курса алгебры известно, что число не является рациональным. Это так называемое иррациональное число. Если построить квадрат со стороной, равной 1, на координатной прямой (рис. 10), то его диагональ будет равна . Тогда, проведя дугу окружности радиуса с центром в точке , получим точку , координата которой равна . Кроме числа вы также встречались с иррациональными числами и т. д.

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

Каждое действительное число может быть записано в виде бесконечной десятичной дроби: рациональные числа — в виде бесконечной периодической десятичной дроби, а иррациональные — в виде бесконечной непериодической десятичной дроби.

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

, то (поскольку ).

Для выполнения сложения или умножения рассмотренных чисел и последовательно записывают их приближенные значения с недостатком и с избытком (с точностью до целых, десятых, сотых и т. д.) и выполняют действия над полученными рациональными числами. В результате последовательно получаем значение суммы или произведения с необходимой точностью.

Как видим,

В курсе математического анализа доказывается, что в случае, когда приближенные значения чисел и последовательно берутся с точностью до целых, десятых, сотых и т. д., то значения суммы с недостатком и с избытком стремятся к одному и тому же числу, которое и принимается за значение суммы (аналогично определяется и произведение ).

Модуль действительного числа и его свойства

Напомним определение модуля.

Модулем положительного числа называется само это число, модулем отрицательного числа — число, противоположное ему, модуль нуля равен нулю.

Это определение можно коротко записать несколькими способами. а при а > 0,

, или или или

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

На координатной прямой модуль числа — это расстояние от начала координат до точки, изображающей это число.

Действительно, если (рис. 11), то расстояние

Если , то расстояние

Модуль разности двух чисел и — это расстояние между точками и на координатной прямой.

Для доказательства можно воспользоваться тем, что при параллельном переносе вдоль оси координат на единиц абсцисса соответствующей точки изменяется на : к абсциссе данной точки прибавляется число , то есть при точка переносится вправо, а при — влево. Обозначим на координатной прямой числа соответственно точками . На рисунке 12 эти точки изображены для случая и , хотя приведенное далее обоснование не зависит от знаков и .

При параллельном переносе вдоль оси на единиц точка перейдет в точку , а точка (с координатой ) — в точку с координатой , то есть в точку . Тогда . Но расстояние — это расстояние от точки до начала координат, следовательно, , а значит, и .

Используя определение модуля и его геометрический смысл, можно обосновать свойства модуля, приведенные в таблице 2.

Например, учитывая, что — это расстояние от точки до точки , а расстояние может выражаться только неотрицательным числом, получаем

то есть модуль любого числа является неотрицательным числом.

Учитывая, что точки и находятся на одинаковом расстоянии от точки , получаем

это означает, что модули противоположных чисел равны.

Если то а если , то . Следовательно, всегда

то есть каждое число не превышает его модуль.

Если в последнее неравенство вместо подставить и учесть, что , то получаем неравенство . Отсюда , что вместе с неравенством свидетельствует о том, что для любого действительного числа а выполняется двойное неравенство

(1)

При неравенство означает, что число на координатной прямой находится от точки на расстоянии, которое не превышает (рис. 13), то есть в промежутке . Наоборот, если число находится в этом промежутке, то есть . Следовательно,

при (2)

Обратим внимание, что последнее утверждение справедливо и при (тогда двум неравенствам удовлетворяет только одно значение ).

Аналогично при неравенство означает, что число на координатной прямой находится от точки на расстоянии, которое больше или равно (рис. 13),

то есть в этом случае или . Наоборот, если число удовлетворяет одному из этих неравенств, то . Следовательно, при неравенство равносильно совокупности неравенств или , что можно записать так:

при

Свойства модуля произведения и модуля дроби фиксируют известные правила действий над числами с одинаковыми и разными знаками:

модуль произведения равен произведению модулей множителей, то есть

модуль дроби равен модулю числителя, деленному на модуль знаменателя (если знаменатель не равен нулю), то есть

Формулу для нахождения модуля произведения можно обобщить для случая нескольких множителей

(3)

Если в формуле (3) взять , получаем формулу

Используя последнюю формулу справа налево при и учитывая, что при всех значениях , получаем . Следовательно,

. Для обоснования неравенства

(4)

запишем неравенство (1) для чисел и :

Складывая почленно эти неравенства, получаем

Учитывая неравенство (2), имеем

(5)

то есть модуль суммы не превышает суммы модулей слагаемых. Если в неравенстве (4) заменить на и учесть, что , то получим неравенство

Если записать число так: и использовать неравенство (4), то получим неравенство . Отсюда

(6)

Если в неравенстве (6) заменить на и учесть, что , то получим неравенство

(7)

то есть модуль суммы двух чисел не меньше разности их модулей.

Меняя местами буквы и в неравенствах (6) и (7) и учитывая, что , имеем также неравенства

(8)

Полученные неравенства (4)-(8) можно коротко записать так:

Примеры решения задач:

Пример №402

Докажите, что сумма, разность, произведение, натуральная степень и частное (если делитель не равен нулю) двух рациональных чисел всегда является рациональным числом.

Решение:

► Пусть заданы два рациональных числа и где и – целые, а и – натуральные числа. Поскольку сумма, разность, произведение, натуральная степень и частное двух обыкновенных дробей всегда являются обыкновенными дробями, то полученный результат всегда будет рациональным числом. Например,

где – целое число, а – натуральное.

Комментарий:

Любое рациональное число может быть записано как дробь , где — целое, — натуральное число.

Чтобы доказать утверждение задачи, достаточно доказать, что сумма, разность, произведение и частное двух дробей вида также будет дробью такого вида.

Пример №403

Докажите, что для любого натурального числа число или натуральное, или иррациональное.

Комментарий:

Для доказательства утверждения задачи можно использовать метод от противного: предположить, что заданное положительное число является рациональным ненатуральным (то есть дробью), и получить противоречие с условием или с каким-либо известным фактом.

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

Решение:

► Допустим, что не является иррациональным числом (тогда это число рациональное) и не является натуральным числом. Следовательно, это число может быть только рациональной несократимой дробью , где и — натуральные числа . По определению квадратного корня имеем то есть . Учитывая, что , получаем, что дробь , равная натуральному числу , должна быть сократимой.

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

Например, поскольку числа и не являются натуральными числами , то и — иррациональные числа.

Пример №404

Докажите, что — число иррациональное.

Решение:

► Допустим, что число рациональное. Тогда Возведя обе части последнего равенства в квадрат, имеем Отсюда

Следовательно,

Но правая часть этого равенства — рациональное число (поскольку по предположению — рациональное число), а левая — иррациональное. Полученное противоречие означает, что наше предположение неверно и число — иррациональное.

Комментарий:

Для доказательства утверждения задачи можно использовать метод «от противного» — допустить, что заданное число является рациональным, и получить противоречие с каким-либо известным фактом, например с тем, что — иррациональное число.

При анализе полученных выражений используем результат задачи 1: если число — рациональное, то числа и и их частное тоже будут рациональными.

Заметим, что знаменатель полученной дроби

Пример №405

Решите уравнение

Решение

I способ

►

Ответ:

Комментарий:

Заданное уравнение имеет вид (в данном случае ). Его удобно решать, используя геометрический смысл модуля: — это расстояние от точки 0 до точки . Но расстояние 7 может быть отложено от 0 как вправо (получаем число 7), так и влево (получаем число -7). Следовательно, равенство возможно тогда и только тогда, когда или .

II способ

Ответ:

Комментарий:

С геометрической точки зрения — это расстояние между точками и на координатной прямой. Запишем данное уравнение так: . Тогда равенство означает, что расстояние от точки до точки -5 равно 7. На расстоянии 7 от точки -5 находятся точки 2 и -12 (рис. 14). Таким образом, данное равенство выполняется тогда и только тогда, когда или то есть данное уравнение равносильно указанной в решении совокупности уравнений.

Пример №406

Решите неравенство

Решение:

Решая эти неравенства (рис. 15), получаем

Следовательно, или

Ответ:

Комментарий:

Заданное неравенство имеет вид (в данном случае ), и его можно решать, используя геометрический смысл модуля. С геометрической точки зрения, — это расстояние от точки 0 до точки . На расстоянии 6 от 0 находятся числа 6 и -6.

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

Содержание

1. Высказывания
   и высказывательные формы.

2. Конъюнкция
   и дизъюнкция высказываний.

3. Конъюнкция
   и дизъюнкция высказывательных форм.

Основная
литература 7,
9, 10, 11, 16, 30, 31, 32, 33, 34;

Дополнительная
литература 17,
18, 30, 39, 52, 63, 66, 78, 86

Введение.
Изучая реальные процессы, математика
описывает их, используя как естественный
словесный язык, так и свой символический.
Описание строится при помощи предложений.
Но чтобы математические знания были
достоверными, правильно отражали
окружающую нас реальность, эти предложения
должны быть истинными.

Но
как узнать, истинное или ложное знание
заключено в том или ином математическом
предложении? На этот и другие вопросы,
с ним связанные, отвечает раздел
«математические предложения». А сейчас
только заметим, что каждое математическое
предложение характеризуется содержанием
и логической формулой (структурой),
причем содержание неразрывно связано
с формой, и нельзя осмыслить первое, не
понимая второго. В связи с этим изучение
математических предложений будет в
основном связано с раскрытием логической
структуры математических предложений.

1.
Высказывания и высказывательные формы

Относительно
понятий и отношений между ними можно
высказывать различные суждения. Языковой
формой суждений являются повествовательные
предложения. Например, в начальном курсе
математики можно встретить такие
предложения:

1. число
   10-четное;

2. 2+58;

3. х+5=8;

4. В
   числе 15 один десяток и 5 единиц;

5. От
   перестановки множителей произведение
   не изменяется;

6. Некоторые
   числа делятся на 3.

Видим,
что предложения, используемые в
математике, могут быть записаны как на
естественном (русском) языке, так и на
математическом, с использованием
символов. Далее, о предложениях 1, 4, 5 и
6 можно сказать, что они несут верную
информацию, а предложение 2 – ложную.
Относительно предложения х+5=8 вообще
сказать нельзя истинно оно или ложно.
Взгляд на предложение с позиции – истину
или ложь оно нам сообщает – привел к
понятию высказывания.

Определение.
Высказыванием
в математике называют предложение,
относительно которого имеет смысл
вопрос: истинно оно или ложно.

Например,
предложения 1, 2, 4, 5 и 6 приведенные выше,
есть высказывания, причем предложения
1, 4, 5 и 6 – истинные, 2 – ложное.

Высказывания
принято обозначать прописными буквами
латинского алфавита: А, В, С, …, Z.
Если высказывание А истинно, то записывают:
А – «и», если же высказывание А – ложно,
то пишут: А – «л».

«Истина»
и «ложь» называются значениями истинности
высказывания.
Каждое высказывание либо истинно, либо
ложно, быть одновременно тем и другим
оно не может.

Предложение
х+5=8 не является высказыванием, так как
о нем нельзя сказать: истинно оно или
ложно. Однако при подстановке конкретных
значений переменной х оно обращается
в высказывание: истинное или ложное.
Например,
если
х=2, то 2+5=8- ложное высказывание, а при
х=3 оно обращается в истинное высказывание
3+5=8. Предложение х+5=8 называется
высказывательной
формой.
Оно порождает множество высказываний
одной и той же формы.

По
числу переменных, входящих в высказывательную
форму, различают одноместные, двухместные
и т.д. высказывательные формы и обозначают:
А(х), А(х,у) и т.д. Например, х+5=8 – одноместная
высказывательная форма, а предложение
«Прямая х параллельна прямой у» –
двухместная.

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

Задание
высказывательной формы, как правило,
предполагает и задание того множества,
из которого выбираются значения
переменной (переменных), входящей в
высказывательную форму. Это множество
называется областью определения
высказывательной формы. Например,
неравенство х 
5 можно рассматривать на множестве
натуральных чисел, а можно считать, что
значение переменной х выбирается из
множества действительных чисел. Тогда
в первом случае областью определения
неравенства х 
5 будет множество натуральных чисел, а
во втором – множество действительных
чисел.

Дадим
определение одноместной высказывательной
формы (понятие высказывательной формы,
содержащей две и более переменных,
определяется аналогично).

Определение.
Одноместной
высказывательной формой,
заданной на множестве Х, называется
предложение с переменной, которое
обращается в высказывание при подстановке
в него значений переменной из множества
Х.

Среди
всех возможных значений переменной нас
в первую очередь интересуют те, которые
обращают высказывательную форму в
истинное высказывание. Множество
таких значений переменных называют
множеством истинности высказывательной
формы.

Например,
множество истинности высказывательной
формы х5,
заданной на множестве действительных
чисел, будет промежуток (5;).
Множество истинности высказывательной
формы х+5=8, заданной на множестве целых
неотрицательных чисел, состоит из одного
числа 3.

Условимся
обозначать множество истинности
высказывательной формы буквой Т. Тогда,
согласно, определению всегда Т 
Х.

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

Чтобы
ответить на эти вопросы, необходимо
познакомится с некоторыми логическими
понятиями.

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

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

Приведем
примеры составных предложений:

1. Число
   28 четное и делится на 7.

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

1. Число
   х меньше или равно 8.

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

1. число
   14 не делится на 4.

Это
составное высказывание образовано из
предложения «число 14 делится на 4» с
помощью частицы «не».

Обратим
внимание на то, что все три предложения,
являясь с логической точки зрения
составными, по своей грамматической
структуре – простые. Не всегда, но так
бывает: простое предложение по своей
логической структуре может быть
составным.

А
как определять значение истинности
составного высказывания? Например,
истинно или ложно высказывание: «число
28 делится на 7 и на 9»? Элементарное
высказывание «число 28 делится на 7»,
входящее в составное, истинное – это
известно из начального курса математики.
Второе элементарное высказывание «число
28 делится на 9» – ложное (и это нам
известно). А каким будет в этом случае
значение истинности составного
высказывания, образованного из этих
высказываний с помощью союза «и»?
Ответить на этот вопрос можно, если
знать смысл этого союза. Но так как
составные высказывания образуются с
помощью и других логических связок, то
возникает необходимость в уточнении
их смысла.

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

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

Для
выявления логической структуры составного
предложения нужно установить:

1. из
   каких элементарных предложений
   образованно данное составное предложение;

2. с
   помощью каких логических связок оно
   образовано.

Выявим,
например,
логическую
структуру предложения «Если углы
вертикальные, то они равны». Оно состоит
из двух элементарных предложений:
предложения А – «углы вертикальные» и
предложения В – «углы равны». Соединены
они в одно составное предложение с
помощью логической связки «если …,
то…». Говорят, что данное составное
предложение имеет логическую структуру
(форму): «если А, то В».

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

• #
• #
• #
• #
• #
• #
• #
• #
• #
• #
• #

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

Алгебра высказываний

Под высказыванием понимаем всякое утверждение (повествовательное предложение), про которое всегда определенно и объективно можно сказать, является оно истинным или ложным. Например, «5-3 = 2» или «В неделе семь дней» — истинные высказывания, а «5 > 8» или «В русском языке 35 букв» — ложные высказывания. Синонимами слова «высказывания» можно считать: логическое высказывание, булевское выражение, суждение, утверждение и т.п. Фразы: «Ура!», «Который час?» — не являются высказываниями.

Если высказывание истинное, то ему предписывается значение «истина» (другие обозначения: «1», «ДА» , «И», «+», «true»). Ложному высказыванию предписывается значение «ложь» (другие обозначения: «О», «НЕТ», «Л», «-«, «false»). Совокупность возможных значений высказывания образует множество истинности {0,1} и {И,Л}.

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

Логические операции

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

Отрицание высказывания

Для каждого высказывания А может быть сформировано новое высказывание отрицание высказывания А, которое истинно, когда А ложно, и ложно, когда А истинно. Символ соответствует логическому союзу «не». читается «не А» или «не верно, что А». Отрицание — одноместная (или унарная) операция. Последующие операции — двухместные (или бинарные). Например, если истинное высказывание, то ложное высказывание (отрицание А), или если в комнате холодно», в комнате не холодно». Отметим, что высказывание «в комнате жарко» не является отрицанием В.

Конъюнкция высказываний

Конъюнкцией высказываний А и В называется высказывание которое истинно только в том случае, когда и А, и В одновременно истинны. Выражение читается «А и В». Пример: пусть делится на делится на 4″. Тогда формула имеет смысл: «12 делится на 3 и на 4».

Операцию конъюнкции можно определить и для нескольких высказываний как связку высказываний, объединенных союзом «и». Конъюнкция из п высказываний — новое высказывание, причем высказывание

имеет значение «истина», если истинны. Во всех других случаях эта конъюнкция имеет значение «ложь». Пусть, например, отец старше сына Мурманск севернее Смоленска». Тогда высказывание («8=3 и отец старше сына, и

Мурманск севернее Смоленска») — ложное высказывание. В то время как и отец старше сына, и Мурманск севернее Смоленска» — истинное высказывание.

Дизъюнкция высказываний

Дизъюнкцией высказываний А и В называется высказывание которое ложно только тогда, когда и А, и В ложны одновременно. Дизъюнкция имеет значение «истина», если хотя бы одно из высказываний, входящее в дизъюнкцию, является истинным. Выражение читается «А или В». Пусть Тогда

Операцию дизъюнкции можно определить для нескольких высказываний как связку высказываний, объединенных союзом «или»,

В этом случае высказывание А истинно, если истинно хотя бы одно из высказываний, входящих в связку.

Импликация высказываний

Импликацией высказываний А и В называется высказывание которое ложно только в том случае, когда А — истинно, а В — ложно. Во всех других случаях импликация имеет значение «истина». Символ соответствует логическому союзу: «если А, то В». Например, А — «целое число делится на 4, то оно делится на 2». Для иллюстрации содержательного смысла импликации рассмотрим следующий пример: А «папа завтра получит премию», В «папа завтра купит сыну велосипед». Тогда импликация может быть сформулирована так: «если папа завтра получит премию, то купит сыну велосипед».

Пусть А и В истинны. Тогда папа, получив премию, покупает сыну велосипед. Естественно считать это истинным высказыванием. Когда же папа не купит сыну велосипед (В — ложно), получив премию (А — истинно), то это, мягко говоря, не логичный поступок, а импликация имеет значение «ложь». Если же папа не получит премию (А — ложно), но купит велосипед (В -истинно), то результат положителен. В том случае, если, не получив премии (А ложно), папа не купит велосипед (В — ложно) -обещание не нарушено, результат можно считать истинным.

Эквивалентность высказываний

Эквивалентностью высказываний А и В называется высказывание которое истинно, когда высказывания и А, и В оба истинны или оба. ложны. Символ логической эквивалентности соответствует связке «тогда и только тогда». Пример. Пусть А «число З является четным», В «число является четным». Высказывание «число З является четным тогда и только тогда, когда -четное число» есть эквивалентность высказываний А и В. Эквивалентность высказываний может быть задана следующей таблицей истинности:

Замечание. Характерной особенностью операций над высказываниями является введение логических союзов с точно определенным смыслом, не допускающим никакой двусмысленности в толковании этих символов. Таким образом, математическая логика применима не для любых высказываний, а только для таких, которые допуск кают четкую оценку в двоичной системе «истина — ложь». Для преодоления такого рода ограничений в рамках нечеткой математики разрабатывается нечеткая логика.

Если в выражении встречаются различные логические операции, то в качестве естественного порядка (выполняемого поочередно слева направо) используется следующая последовательность: Это означает, что сначала выполняются операции отрицания, затем конъюнкции и т. д. Для нарушения порядка служат скобки. Рассмотрим пример. Пусть высказывания А и В имеют значения «истина», а высказывания С и Б — «ложь». Тогда формула имеет значение «ложь», т.к.:

Введя скобки, получим формулу которая уже имеет другое значение — «истина». Действительно:

Если в выражении присутствуют арифметические операции, операции сравнения и логические операции, то порядок старшинства операций следующий:

Использование различных операций позволяет в удобной аналитической форме задавать различные множества.

Например, множество точек А, заштрихованное на рис. 1.16, может быть задано следующей формулой:

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

Булевы функции

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

выражает функцию от переменных А, В и С.

Такого рода функции называются булевыми, а их аргументы — булевыми переменными. Аргументы булевых функций могут представлять собой, сокращенные обозначения некоторых конкретных высказываний. Тогда функция обозначает сокращенную запись некоторого сложного высказывания. Например, делится на 3», С ? «Мурманск севернее Смоленска». В этом случае «если делится на 3 и Мурманск севернее Смоленска». Сравните с известной формулой физики где m — масса тела, а — его ускорение, а F — сила, вызвавшая это ускорение. Буквы в булевых функциях могут выступать в качестве переменных. Подставляя вместо них любые высказывания, можно по формуле вычислить соответствующее значение функции. Действительно, если в формуле «истина», Y — «ложь», Z — «истина», то — «истина». Если же Z будет иметь ложное значение, то поменяет значение на противоположное и будет «ложью».

Целый ряд булевых функций обладает тем свойством, что они принимают одни и те же значения при любых значениях истинности аргументов. Такие формулы называются тождественно истинными. Например, при любых X и Y истинны формулы Тождественно ложные функции при любых значениях аргументов имеют значение «ложь». Так формулы всегда имеют значение «ложь».

Наиболее важные тождественно истинные формулы получили название Основные законы математической логики.

Основные законы математической логики

1.Коммутативность

2.Ассоциативность

3.Дистрибутивность

4.Законы де Моргана

5.Закон поглощения

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

8.Закон противоречия

9.Закон исключения третьего

10.Закон двойного отрицания

Пример:

Упростить выражение, используя тождественны преобразования

Существует бесконечное множество тавтологий. Некоторы из них легли в основу методов доказательства.

Основные методы доказательств

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

Формально каждая теорема может быть выражена в форме импликации где посылка А называется условием теоремы, а следствие В — заключением. Теорема верна, если выражающая ее импликация тождественно истинна, т. е. является тавтологией. Тавтологии рассматривают как некоторые логически истинные схемы рассуждений. В этой связи тавтологии играют роль законов, определяющих построение правильных умозаключений. Существует бесконечное множество тавтологий. Некоторые из них легли в основу методов доказательства. Основные методы доказательств.

Метод цепочек импликаций

Метод цепочек импликаций состоит в том, что из посылки А страивается цепочка из -импликаций, последним высказыванием в которой является заключение теоремы В, т. е.

В основе этого метода лежит закон цепного высказывания или закон силлогизма

Метод от противного

Метод от противного. Используя этот метод, вместо доказательства прямого следствия «из А следует В» доказывают, что из «не В» следует «не А». Этот метод основан на законе контрапозиций, имеющем следующий вид:

Метод необходимого и достаточного

Метод необходимого и достаточного. Теорема формулируется так: «Чтобы имело место А, необходимо и достаточно выполнение В». Доказательство такого вида теоремы распадается на две части:

а) доказывается, что если имеет место А, то справедливо В (В необходимо для А);

б) если имеет место В, то имеет место и А (В достаточно для А).

Доказательство таким методом базируется на законе тавтологии:

Алгебра предикатов

Предикатом заданным на множествах

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

Рассмотрим примеры, одноместный предикат на множестве комплексных чисел, при этом, например, если истинное высказывание, а

положив получим «ложь». Выражение «X — брат Y» — двухместный предикат, заданный на множестве людей. Здесь термы X и Y указывают места, на которые нужна поставить имена двух людей, чтобы получить правильно построенное высказывание. Очевидно, что X — лицо мужского пола, а Y может выбираться из всего множества людей.

Всякий предикат определяет отношение R, такое, что тогда и только тогда, когда «истина». В этом случае говорят, что отношение R задается областью истинности предиката . Например, отношение «расстояние на плоскости между точками больше величины 1″ можно задать предикатом

Если в -местный предикат на место одного из термов подставить определенный элемент из соответствующего множества, то предикат станет местным. Заменив все термы на конкретные значения из предметной области предиката, получим 0 — местный предикат, т. е. высказывание. Например, «Х- брат Y» — двухместный предикат, «X — брат Маши» — одноместный предикат, «Саша — брат Маши» — высказывание.

Логические операции над предикатами

Отрицание предиката

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

Например, предикат «— четное число» есть отрицание предиката «— нечетное число» на множестве целых чисел.

Конъюнкция предикатов

Пусть на множествах заданы два — местных предиката и . Конъюнкцией этих предикатов называется предикат

который истинен для одних и тех же кортежей только тогда, когда оба предиката — и и истинны.

Например, конъюнкция предикатов где вещественные числа, определяет предикат «точки правой половины единичного круга» (см. рис. 1.17а).

Дизъюнкция предикатов

Дизъюнкция предикатов и есть новый предикат который имеет значение «ложь» для тех и только тех кортежей из для которых оба предиката — и и — имеют значение «ложь». На рис. 1.17 6 иллюстрируется дизъюнкция предиката (заштрихованная область).

Импликация предикатов

Импликация предикатов и есть новый предикат который имеет значение «ложь» для тех и только тех кортежей из для которых предикат имеет значение «истина», а предикат имеет значение «ложь».

Например, импликация « делится на 4″ —» » делится на 2″ есть предикат: «если делится на 4, то делится на 2″.

Эквивалентность предикатов

Эквивалентность предикатов и есть новый предикат который имеет значение «истина» для тех и только тех кортежей из для которых предикат и предикат имеют одинаковые значение или оба «истина» или оба «ложь». Два предиката, заданные на одних и тех же множествах, называются равносильными, если при всех наборах входящих в них предметных переменных эти предикаты принимают одинаковые значения. Равносильность называют также логической эквивалентностью. Например, эквивалентность предикатов делится на 6» и делится на 2 и делится на 3» есть предикат «если делится на 6, то делится на 2 и на 3». Предикаты логически эквивалентны.

Наряду с логическими операциями важную роль играют операции, называемые кванторами. Квантор всеобщности есть операция, которая предикат превращает в высказывание: «все обладают свойством ». Знак квантора всеобщности Он заменяет фразы: «для всех», «каждый», «любой» и т.п. Обозначение читается так: «для всех таких, что Р от ». Например, вещественное число», есть предикат « — положительное число». Тогда есть высказывание «каждое число — положительно». Это ложное высказывание. Если же — любое натуральное число то есть выражение: «каждое натуральное число — положительно» — истинное высказывание. Квантор всеобщности есть обобщение серии конъюнкций единичных высказываний. Пусть М — множество очков, которое может выпасть при бросании игральной кости, т. е. предикат: «при бросании игральной кости один раз выпадает очков», где . Применение квантора всеобщности позволяет вместо сложного высказывания записать равносильное ему компактное высказывание : «при бросании игральной кости один раз может выпасть любое из шести первых натуральных чисел».

Квантор существования

Квантор существования есть операция, которая предикат превращает в высказывание: «существует хотя бы один

из М, обладающий свойством ». Знак квантора существования Он заменяет фразы: «существует хотя бы один», «найдется», «некоторый» и т.п. Обозначение читается так: «существует хотя бы один такой, что Р от ». Например, — предикат: « — студент», где — элемент множества жителей Москвы. Тогда выражение есть высказывание «хотя бы один житель Москвы является студентом». Квантор существования есть обобщение серии дизъюнкций единичных высказываний. Если задано множество и на нем определен предикат

Кванторы обладают свойствами, являющимися аналогами законов де Моргана:

С помощью кванторов можно выражать ряд часто используемых на практике отношений между множествами. Например, высказывание «все объекты из данного множества, обладающие свойством , обладают также и свойством » формально можно записать —

Переход от или называется квантификацией или связыванием переменной . Связанная переменная фактически не является переменной, т. е. переход от или от не меняет истинности выражений. Навешивание переменной на многоместный предикат уменьшает в нем число свободных переменных и превращает его в предикат от меньшего числа переменных

Рассмотрим пример. На множестве чисел задан двухместный предикат число делится на число ». Связывая одну переменную, можно получить следующие одноместные предикаты:

«каждое число делится на » — ложь;

«существует число, которое делится на » — истина;

«число делится на любое число» — ложь;

«существует число, на которое делится » — истина.

Связывая обе переменные данного предиката, получим высказывания:

«каждое число делится на любое число» -ложное высказывание,

«существует число, на которое делится любое число» — истина, т.к. такое число есть 1,

«существует число, которое делится на любое число» — ложное высказывание,

«существует число, которое делится на какое-нибудь число» — истинное высказывание.

Решение заданий и задач по предметам:

• Математика
• Высшая математика
• Математический анализ
• Линейная алгебра

Дополнительные лекции по высшей математике:

1. Тождественные преобразования алгебраических выражений
2. Функции и графики
3. Преобразования графиков функций
4. Квадратная функция и её графики
5. Алгебраические неравенства
6. Неравенства
7. Неравенства с переменными
8. Прогрессии в математике
9. Арифметическая прогрессия
10. Геометрическая прогрессия
11. Показатели в математике
12. Логарифмы в математике
13. Исследование уравнений
14. Уравнения высших степеней
15. Уравнения высших степеней с одним неизвестным
16. Комплексные числа
17. Непрерывная дробь (цепная дробь)
18. Алгебраические уравнения
19. Неопределенные уравнения
20. Соединения
21. Бином Ньютона
22. Число е
23. Непрерывные дроби
24. Функция
25. Исследование функций
26. Предел
27. Интеграл
28. Двойной интеграл
29. Тройной интеграл
30. Интегрирование
31. Неопределённый интеграл
32. Определенный интеграл
33. Криволинейные интегралы
34. Поверхностные интегралы
35. Несобственные интегралы
36. Кратные интегралы
37. Интегралы, зависящие от параметра
38. Квадратный трехчлен
39. Производная
40. Применение производной к исследованию функций
41. Приложения производной
42. Дифференциал функции
43. Дифференцирование в математике
44. Формулы и правила дифференцирования
45. Дифференциальное исчисление
46. Дифференциальные уравнения
47. Дифференциальные уравнения первого порядка
48. Дифференциальные уравнения высших порядков
49. Дифференциальные уравнения в частных производных
50. Тригонометрические функции
51. Тригонометрические уравнения и неравенства
52. Показательная функция
53. Показательные уравнения
54. Обобщенная степень
55. Взаимно обратные функции
56. Логарифмическая функция
57. Уравнения и неравенства
58. Положительные и отрицательные числа
59. Алгебраические выражения
60. Иррациональные алгебраические выражения
61. Преобразование алгебраических выражений
62. Преобразование дробных алгебраических выражений
63. Разложение многочленов на множители
64. Многочлены от одного переменного
65. Алгебраические дроби
66. Пропорции
67. Уравнения
68. Системы уравнений
69. Системы уравнений высших степеней
70. Системы алгебраических уравнений
71. Системы линейных уравнений
72. Системы дифференциальных уравнений
73. Арифметический квадратный корень
74. Квадратные и кубические корни
75. Извлечение квадратного корня
76. Рациональные числа
77. Иррациональные числа
78. Арифметический корень
79. Квадратные уравнения
80. Иррациональные уравнения
81. Последовательность
82. Ряды сходящиеся и расходящиеся
83. Тригонометрические функции произвольного угла
84. Тригонометрические формулы
85. Обратные тригонометрические функции
86. Теорема Безу
87. Математическая индукция
88. Показатель степени
89. Показательные функции и логарифмы
90. Множество
91. Множество действительных чисел
92. Числовые множества
93. Преобразование рациональных выражений
94. Преобразование иррациональных выражений
95. Геометрия
96. Действительные числа
97. Степени и корни
98. Степень с рациональным показателем
99. Тригонометрические функции угла
100. Тригонометрические функции числового аргумента
101. Тригонометрические выражения и их преобразования
102. Преобразование тригонометрических выражений
103. Комбинаторика
104. Вычислительная математика
105. Прямая линия на плоскости и ее уравнения
106. Прямая и плоскость
107. Линии и уравнения
108. Прямая линия
109. Уравнения прямой и плоскости в пространстве
110. Кривые второго порядка
111. Кривые и поверхности второго порядка
112. Числовые ряды
113. Степенные ряды
114. Ряды Фурье
115. Преобразование Фурье
116. Функциональные ряды
117. Функции многих переменных
118. Метод координат
119. Гармонический анализ
120. Вещественные числа
121. Предел последовательности
122. Аналитическая геометрия
123. Аналитическая геометрия на плоскости
124. Аналитическая геометрия в пространстве
125. Функции одной переменной
126. Высшая алгебра
127. Векторная алгебра
128. Векторный анализ
129. Векторы
130. Скалярное произведение векторов
131. Векторное произведение векторов
132. Смешанное произведение векторов
133. Операции над векторами
134. Непрерывность функций
135. Предел и непрерывность функций нескольких переменных
136. Предел и непрерывность функции одной переменной
137. Производные и дифференциалы функции одной переменной
138. Частные производные и дифференцируемость функций нескольких переменных
139. Дифференциальное исчисление функции одной переменной
140. Матрицы
141. Линейные и евклидовы пространства
142. Линейные отображения
143. Дифференциальные теоремы о среднем
144. Теория устойчивости дифференциальных уравнений
145. Функции комплексного переменного
146. Преобразование Лапласа
147. Теории поля
148. Операционное исчисление
149. Системы координат
150. Рациональная функция
151. Интегральное исчисление
152. Интегральное исчисление функций одной переменной
153. Дифференциальное исчисление функций нескольких переменных
154. Отношение в математике
155. Графы в математике
156. Линейные пространства
157. Первообразная и неопределенный интеграл
158. Линейная функция
159. Выпуклые множества точек
160. Система координат

Обновлено: 14.05.2023

Правило отрицания высказываний с кванторами: $$ mathrm< overline<(forall x)A(x)>=(exists x)overline, overline<(exists x)A(x)>=(forall x)overline > $$

п.2. Конъюнкция

Конъюнкция двух высказываний – это высказывание, которое будет истинным, если истинны оба исходных высказывания; а во всех остальных случаях – будет ложным.
Конъюнкция является логическим умножением.

С точки зрения операций над множествами, конъюнкция аналогична пересечению двух множеств (см. §10 справочника для 8 класса).

С точки зрения записи условий, конъюнкция аналогична системе с фигурной скобкой.

п.3. Дизъюнкция

Дизъюнкция двух высказываний – это высказывание, которое будет ложным, если ложны оба исходных высказывания; а во всех остальных случаях – будет истинным.
Дизъюнкция является логическим сложением.

С точки зрения операций над множествами, дизъюнкция аналогична объединению двух множеств (см. §10 справочника для 8 класса).

С точки зрения записи условий, дизъюнкция аналогична совокупности с квадратной скобкой. Например, запись (mathrm<(x^2-1geq 0)vee left(xgt frac12right)>) аналогична совокупности $$ left[ begin < l >mathrm & \ mathrm & endright. Leftrightarrow xleq -1 cup xgtfrac12 $$

п.4. Импликация

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

п.5. Эквиваленция

Эквиваленция двух высказываний – это высказывание, которое будет истинным только при совпадении истинности обоих высказываний; а при несовпадении – будет ложным.

п.6. Законы де Моргана

Докажем эквивалентность с помощью таблиц истинности:

Мы видим, что итоговые столбцы слева и справа полностью совпадают.
Значит, высказывания эквивалентны.

Докажем эквивалентность с помощью таблиц истинности:

Высказывания слева и справа эквивалентны.

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

п.7. Алгоритм доказательства эквивалентности высказываний с помощью таблиц истинности

Например:
Докажем следующее свойство:

Отрицание импликации эквивалентно конъюнкции посылки и отрицания заключения: $$ mathrm< overline=A wedgeoverline > $$

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

Каждое математическое предложение характеризуется содержанием и логической формой (структурой), причем содержание неразрывно связано с формой, и нельзя осмыслить первое, не понимая второго.

1. Высказывания и высказывательные формы

Относительно понятий и отношений между ними можно высказывать различные суждения. Языковой формой суждений являются повествовательные предложения. Например, в начальном курсе математики можно встретить такие предложения:

1) число 12 – четное;

4) В числе 15 один десяток и 5 единиц;

5) От перестановки множителей произведение не изменяется;

6) Некоторые числа делятся на 3.

Видим, что предложения, используя в математике, могут быть записаны как на естественном (русском) языке, так и на математическом, с использованием символов. Далее, о предложениях 1, 4, 5 и 6 можно сказать, что они несут верную информацию, а предложение 2 – ложную. Относительно предложения х + 5 = 8 вообще нельзя сказать: истинное оно или ложное. Взгляд на предложение с позиции – истину или ложь оно нам сообщает – привел к понятию высказывания.

Определение. Высказыванием в математике называют предложение, относительно которого имеет смысл вопрос: истинно оно или ложно.

Например, предложения 1, 2, 4, 5 и 6 – высказывания, причем предложения 1, 4, 5 и 6 – истинные, а 2 – ложное.

Предложение х + 5 = 8 не является высказыванием, так как о нем нельзя сказать: истинно оно или ложно. Однако при подстановке конкретных значений переменной х оно обращается в высказывание: истинное или ложное. Предложение х + 5 = 8 называется высказывательной формой. Оно порождает множество высказываний одной и той же формы.

Определение. Одноместной высказывательной формой, заданной на множестве Х, называется предложение с переменной, которое обращается в высказывание при подстановке в него значений переменной из множества Х.

Множество Х – множество, из которого выбираются значения переменной.

Среди всех возможных значений переменной нас в первую очередь интересуют те, которые обращают высказывательную форму в истинное высказывание. Множество таких значений переменных называют множеством истинности высказывательной формы. Например, множеством истинности высказывательной формы х > 5, заданной на множестве действительных чисел, будет промежуток (5; ∞). Множество истинности высказывательной формы х + 5 = 8, заданной на множестве целых неотрицательных чисел, состоит из одного числа 3.

Условимся обозначать множество истинности высказывательной формы буквой Т. Тогда, согласно определению, всегда Т⊂Х.

Чтобы ответить на эти вопросы, необходимо познакомиться с некоторыми логическими понятиями.

Приведем примеры составных предложений.

1) Число 28 четное и делится на 7.

2) Число х меньше или равно 8.

3) Число 14 не делится на 4.

Эти предложения, являясь с логической точки зрения составными, по своей грамматической структуре – простые.

Для этого нужно установить:

1) из каких элементарных предложений образовано данное составное предложение;

2) с помощью каких логических связок оно образовано.

1. Конъюнкция и дизъюнкция высказываний

Определение.Конъюнкцией высказываний А и В называется высказывание А∧В, которое истинно, когда оба высказывания истинны, и ложно, когда хотя бы одно из высказываний ложно.

Определение конъюнкции можно записать с помощью таблицы, называемой таблицей истинности.

А	В	А∧В
и	и	и
и	л	л
л	и	л
л	л	л

Определение. Дизъюнкцией высказываний А и В называется высказывание А∨В, которое истинно, когда истинно хотя бы одно из этих высказываний, и ложно, когда оба высказывания ложны.

Образование составного высказывания с помощью логической связки называется логической операцией.

Определения конъюнкции и дизъюнкции можно обобщить на t составляющих их высказываний.

Конъюнкцией t высказываний называется предложение вида А₁ ∧ А₂ ∧…∧ Аt, которое истинно тогда и только тогда, когда истинны все составляющие его высказывания

Дизъюнкцией t высказываний называется предложение вида А₁ ∨ А₂ ∨…∨ Аt, которое ложно тогда и только тогда, когда ложны все составляющие его высказывания

1. Конъюнкция и дизъюнкция высказывательных форм

В математике рассматривают не только конъюнкцию и дизъюнкцию высказываний, но и выполняют соответствующие операции над высказывательными формами.

Конъюнкциюодноместных высказывательных форм А(х) и В(х), заданных на множестве Х, обозначают А(х) ∧ В(х). С появлением этого предложения возникает вопрос, как найти его множество истинности, зная множества истинности высказывательных форм А(х) и В(х). Другими словами, при каких значениях х из области определения Х высказывательная форма А(х) ∧ В(х) обращается в истинное высказывание? Очевидно, что это возможно при тех и только тех значениях х, при которых обращаются в истинное высказывание обе высказывательные формы А(х) и В(х). Если обозначить ТА – множество истинности предложения А(х), ТВ – множество истинности предложения В(х), а множество истинности их конъюнкции Т А∧В, то, по всей видимости, Т А∧В = ТА ∩ ТВ.

Докажем это равенство.

1. Пусть а – произвольный элемент множества Х и известно, что а ∈ Т А∧В. По определению множества истинности это означает, что высказывательная форма А(х) ∧ В(х) обращается в истинное высказывание при х = а, т.е. высказывание А(а) ∧ В(а) истинно. Так как данное высказывание конъюнкция, то получаем, что каждое из высказываний А(а) и В(а) также истинно. Это означает, что а ∈ Т А и а ∈ ТВ. Следовательно, по определению пересечения множеств, а ∈ ТА ∩ ТВ. Таким образом, мы показали, что Т А∧В ⊂ ТА ∩ ТВ.

2. Докажем обратное утверждение. Пусть а – произвольный элемент множества Х и известно, что а ∈ ТА ∩ ТВ. По определению пересечения множества это означает, что а ∈ Т А и а ∈ ТВ, откуда получаем, что А(а) и В(а) – истинные высказывания, поэтому конъюнкция высказываний А(а) ∧ В(а) также будет истинна. А это означает, что элемент а принадлежит множеству истинности высказывательной формы А(х) ∧ В(х), т.е.

а ∈ Т А∧В. Таким образом, мы доказали, что ТА ∩ ТВ ⊂ Т А∧В.

Из 1 и 2 в силу определения равных множеств вытекает справедливость равенства

Т А∧В = ТА ∩ ТВ, что и требовалось доказать.

Заметим, что полученное правило справедливо и для высказывательных форм, содержащих более одной переменной.

Дизъюнкцию одноместных высказывательных форм А(х) и В(х), заданных на множестве Х, обозначают А(х) ∨ В(х), Это предложение будет обращаться в истинное высказывание при тех и только тех значениях х из области определения Х, при которых обращается в истинное высказывание хотя бы одна из высказывательных форм, т.е.

Т А∨В = ТА ∪ ТВ. Доказательство этого равенства аналогично рассмотренному выше.

Приведем пример. Решим уравнение (х – 2) • (х + 5) = 0. Известно, что произведение равно нулю тогда и только тогда, когда хотя бы один из множителей равен нулю. Это означает, что данное уравнение равносильно дизъюнкции: х – 2 = 0 ∨ х + 5 = 0 и поэтому множество его решений может быть найдено как объединение множеств решения первого и второго уравнений, т.е ∪ =.

Заметим, что дизъюнкцию уравнений (неравенств) называют также совокупностью.

Рассматривая конъюнкцию и дизъюнкцию высказывательных форм, мы установили их тесную связь с пересечением и объединением множеств.

А∩В = , А∪В = , причем каждое свойство представляет собой высказывательную форму.

1. Решение задач на распознавание объектов

С введением понятия конъюнкции и дизъюнкции высказывательных форм появились условия для рассмотрения вопросов, связанных с решением определенного вида задач, так называемых задач на распознавание объектов.

В задачах на распознавание объектов требуется ответить на вопрос: принадлежит тот или иной объект объему данного понятия или не принадлежит.

Решают такие задачи, используя определение соответствующего понятия. При этом важно понимать, что если понятие а определено через родовое понятие с и видовое отличие Р, то его объем А можно представить в таком виде: А = Эта запись показывает, что характеристическое свойство элементов, принадлежащих объему понятия а, представляет собой конъюнкцию двух свойств:

1) принадлежности объекта х объему С родового понятия (х ∈С);

Луч ВD на рисунке а) не является биссектрисой угла АВС, поскольку он не делит данный угол пополам. Луч ВD на рисунке б) является биссектрисой угла АВС, поскольку он делит данный угол пополам и выходит из вершины угла.

Если видовое отличие представляет собой конъюнкцию свойств, т.е. Р = Р₁∧Р₂∧…∧Рn, то распознавание проводится по следующему правилу: проверяют поочередно наличие у объекта каждого из свойств Р₁, Р₂, …, Рn; если окажется, что он не обладает каким-либо из этих свойств, то проверку прекращают и делают вывод о том, что объект не обладает свойством Р; если же окажется, что все свойства Р₁, Р₂, …, Рn присущи данному объекту, то заключают, что объект обладает свойством Р.

Если видовое отличие представляет собой дизъюнкцию свойств, т.е. Р = Р₁∨Р₂∨…∨Рn, то распознавание проводится по следующему правилу: проверка проводится до тех пор, пока не будет установлено, что хотя бы одно из свойств присуще данному объекту, на основании чего заключают, что объект обладает свойством Р. Если окажется, что он не обладает ни одним из свойств Р₁, Р₂, …, Рn, то проверку прекращают и делают вывод о том, что объект не обладает свойством Р.

В математике рассматривают не только конъюнкцию и дизъюнкцию высказываний, но и выполняют соответствующие операции над высказывательными формами (предикатами).

Пусть на множестве Х заданы две высказывательные формы А(х) и В(х).

Конъюнкцией высказывательных форм А(х) и В(х), заданных на множестве Х, называется высказывательная форма А(х) В(х), заданная на том же множестве Х, истинная при тех значениях х Х, при которых обе формы А(х) и В(х) истинны одновременно.

Например, конъюнкцией высказывательных форм А(х): «х>2 и В(х): «х 2 и х а и х

Таким образом, нестрогое неравенство вида х≥а (х≤а) является дизъюнкцией неравенства х>а (х

Если Т_А – множество истинности высказывательной формы А(х), хÎХ, а Т_В – множество истинности высказывательной формы В(х), хÎХ, то множеством истинности Т_{А В} высказывательной формы А(х) В(х), хÎХ, является объединение множеств истинности данных высказывательных форм А(х) и В(х), т.е. Т_{А В} = Т_А Т_В.

Выясним, как строить отрицание конъюнкции и дизъюнкции высказывательных форм А(х) и В(х), заданных на множестве Х. Используя законы де Моргана, рассмотренные и доказанные в пункте 2.3 настоящего пособия, а именно: =`А `B, =`А `B,сформулируем правило построения отрицания конъюнкции А(х) ÙВ(х) и дизъюнкции А(х) В(х) высказывательных форм, заданных на множестве Х.

Рассмотрим примеры образования отрицаний конъюнкции и дизъюнкции высказывательных форм.

т.е. дополнение множества истинности конъюнкции высказывательных форм А(х) и В(х) равно объединению дополнений к множествам истинности каждой высказывательной формы.

т.е. дополнение множества истинности конъюнкции высказывательных форм А(х) и В(х) равно объединению дополнений к множествам истинности каждой высказывательной формы.

Свидетельство и скидка на обучение каждому участнику

Зарегистрироваться 15–17 марта 2022 г.

Лекция 8. Конъюнкция и дизъюнкция высказываний.

Для задания таких связок удобно записывать таблицы истинности:

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

КОНЪЮНКЦИЯ А = истинна только тогда, когда Петя любит физику, а математику не любит. В остальных трех случаях, т.е. когда Петя:

не любит математику и не любит физику,

любит математику и физику,

любит математику, но не любит физику

высказывание А В ложно.

Таблица истинности для дизъюнкции имеет вид:

Дизъюнкция А VВ = будет истинной, если на первом уроке будет литература (вторая строка таблицы истинности) или математика (третья строка таблицы истинности), и ложной, если на первом уроке будет любой другой предмет или если урока вообще не будет (четвертая строка таблицы истинности).

Согласно Единой спортивной квалификации и высказывание А, и высказывание В истинны, следовательно, и дизъюнкция их истинна (1-я строка таблицы истинности).

Задания для самостоятельной работы по теме:

Определите значение истинности следующих высказываний:

2. Составьте 2-4 сложных высказывания на конъюнкцию, определите их истинность.

3. Определите значение истинности высказываний А,В, если:

4. Сформулируйте и запишите в виде конъюнкции условие истинности каждого предложения

(а, в ϵ R ): а) а×в≠0; б) а÷в=0; в) а 2 + в 2 = 0;

Определите значение истинности следующих высказываний:

5. Составьте 2-4 сложных высказывания на дизъюнкцию, определите их истинность.

6. Определите значение истинности высказываний С и D, если:

7. Сформулируйте и запишите в виде дизъюнкции условие истинности каждого предложения (а, в ϵ R ):а) а × в = 0, б) >2.

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

Алгебра высказываний

Логические операции

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

Отрицание высказывания

Конъюнкция высказываний

Дизъюнкция высказываний

В этом случае высказывание А истинно, если истинно хотя бы одно из высказываний, входящих в связку.

Импликация высказываний

Эквивалентность высказываний

Если в выражении присутствуют арифметические операции, операции сравнения и логические операции, то порядок старшинства операций следующий:

• • сначала выполняются арифметические операции (порядок старшинства арифметических операций: первыми выполняются все операции умножения и деления, потом операции сложения и вычитания);
• • затем — операции и операции сравнения (в том порядке, в каком они встречаются в выражении):
• • наконец, логические операции, причем первой везде выполняется операция отрицания, затем конъюнкции, потом дизъюнкции и т. д.

Использование различных операций позволяет в удобной аналитической форме задавать различные множества.

Например, множество точек А, заштрихованное на рис. 1.16, может быть задано следующей формулой:

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

Булевы функции

выражает функцию от переменных А, В и С.

Наиболее важные тождественно истинные формулы получили название Основные законы математической логики.

Основные законы математической логики

1.Коммутативность

2.Ассоциативность

3.Дистрибутивность

4.Законы де Моргана

5.Закон поглощения

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

8.Закон противоречия

9.Закон исключения третьего

10.Закон двойного отрицания

Пример:

Упростить выражение, используя тождественны преобразования

Существует бесконечное множество тавтологий. Некоторы из них легли в основу методов доказательства.

Основные методы доказательств

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

Формально каждая теорема может быть выражена в форме импликации где посылка А называется условием теоремы, а следствие В — заключением. Теорема верна, если выражающая ее импликация тождественно истинна, т. е. является тавтологией. Тавтологии рассматривают как некоторые логически истинные схемы рассуждений. В этой связи тавтологии играют роль законов, определяющих построение правильных умозаключений. Существует бесконечное множество тавтологий. Некоторые из них легли в основу методов доказательства. Основные методы доказательств.

Метод цепочек импликаций

Метод цепочек импликаций состоит в том, что из посылки А страивается цепочка из -импликаций, последним высказыванием в которой является заключение теоремы В, т. е.

В основе этого метода лежит закон цепного высказывания или закон силлогизма

Метод от противного

Метод необходимого и достаточного

а) доказывается, что если имеет место А, то справедливо В (В необходимо для А);

б) если имеет место В, то имеет место и А (В достаточно для А).

Доказательство таким методом базируется на законе тавтологии:

Алгебра предикатов

Предикатом заданным на множествах

Рассмотрим примеры, одноместный предикат на множестве комплексных чисел, при этом, например, если истинное высказывание, а

Логические операции над предикатами

Отрицание предиката

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

Конъюнкция предикатов

Пусть на множествах заданы два — местных предиката и . Конъюнкцией этих предикатов называется предикат

который истинен для одних и тех же кортежей только тогда, когда оба предиката — и и истинны.

Дизъюнкция предикатов

Импликация предикатов

Эквивалентность предикатов

Квантор существования

Квантор существования есть операция, которая предикат превращает в высказывание: «существует хотя бы один

Кванторы обладают свойствами, являющимися аналогами законов де Моргана:

Переход от или называется квантификацией или связыванием переменной . Связанная переменная фактически не является переменной, т. е. переход от или от не меняет истинности выражений. Навешивание переменной на многоместный предикат уменьшает в нем число свободных переменных и превращает его в предикат от меньшего числа переменных

Связывая обе переменные данного предиката, получим высказывания:

Решение заданий и задач по предметам:

Дополнительные лекции по высшей математике:

Образовательный сайт для студентов и школьников

© Фирмаль Людмила Анатольевна — официальный сайт преподавателя математического факультета Дальневосточного государственного физико-технического института

Читайте также:

  

• Прощание с елкой в детском саду сценарий

  

• Переселенческая политика это кратко

  

• Итоги рейтингования детских садов воронежской области в 2021 году

  

• Виды готовности ребенка старшего дошкольного возраста к школьному обучению по логиновой

  

• Понятие замкнутого круга расходов кратко