Математические предложения

Содержание

Слайд 2

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

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

или ложно.

Высказывания и предикаты

Примеры: 1) Число 16 – четное (И).
2) Число 28 делится на 7 (И).
3) 2 + 5 > 8 (Л).
4) 7 + 3 > 8 (И).
5) Число х – нечетное – не высказывание.

Слайд 3

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

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

либо ложно, быть одновременно тем и другим оно не может.

Пример: В одной сказочной стране царь приговорил к смерти богатыря. Последней просьбой приговоренного было желание предоставить ему возможность выбрать вид казни из двух: смерть через повешение или отсечение головы; если же такой вид казни невозможен, то его должны освободить. Осужденный добавил, что он произнесет одно предложение (высказывание), если оно окажется ложным, пусть его повесят, если оно окажется истинным, пусть ему отрубят голову. Царь, конечно, согласился. Осужденный произнес: «Меня повесят», - и потребовал своего освобождения. Почему?».

Слайд 4

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

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

или ложно. Такие предложения называются неопределенными высказываниями

Пример: «Мяч круглый».

Слайд 5

Два высказывания А и В равносильны (эквивалентны), если они одновременно истинны

Два высказывания А и В равносильны (эквивалентны), если они одновременно истинны

или одновременно ложны: А = В.

Пример:
А: «Вчера был четверг»,
В: «Завтра будет суббота».

Слайд 6

Предикатом называется предложение с одной или несколькими переменными, обращающееся в высказывание

Предикатом называется предложение с одной или несколькими переменными, обращающееся в высказывание

всякий раз при подстановке вместо переменных их значений.

Примеры:
Число х – четное 2) х > 5
3) у + 2 = 8 4) х < у
5) х < у < z

Слайд 7

Слайд 8

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

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

значения переменной (переменных), входящей в предикат. Это множество называется областью определения предиката.
Пример: «х < 5», х ∈ N
Слайд 9

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

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

истинности предиката.

Примеры:
1) А(х):«х< 5», х ∈ N. ТА = {1, 2, 3, 4}

3) С(х): «х + 2 = 7». ТС = {5}.

2) А(х):«х< 5», х ∈ R ТА = (- ∞; 5)

Слайд 10

3) D(х): «х  у» х, у ∈ Х, где Х

3) D(х): «х  у» х, у ∈ Х, где Х

- множество однозначных четных натуральных чисел.
ТD = {(2,2), (4,2), (4,4), (6,2), (6,6), (8,2), (8,4), (8,8)}.
Слайд 11

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

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

предложением.

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

Логические связки – это слова «и», «или», «не», «если…, то…», «тогда и только тогда» и др.

Слайд 12

Примеры: 1) Число 28 четное и делится на 7. 2) Число

Примеры:
1) Число 28 четное и делится на 7.
2) Число х

меньше или равно 7.
3) Число 15 не делится на 4.
4) Если углы вертикальны, то они равны.
Слайд 13

Упражнение Среди следующих предложений укажите высказывания и предикаты. Для высказываний укажите

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

истинности, для предикатов – множества истинности.
1) (12 – 7)·(6 + 3) = 45
2) (15 + 12):3 > 10
3) (12 – х)·4 = 24
4) Число х – двузначное
5) Число 6 является корнем уравнения
(12 – х) ·4 = 24
6) 4х + 2у
7) Для всех х выполняется равенство х + 2 = 2 + х
Слайд 14

Операции над высказываниями и предикатами Отрицание Отрицание некоторого высказывания А можно

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

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

перед данным высказыванием поставить слова «неверно, что» или к сказуемому из высказывания А добавить частицу «не».
Слайд 15

Отрицанием высказывания А называется такое высказывание Ā, которое истинно, если данное

Отрицанием высказывания А называется такое высказывание Ā, которое истинно, если данное

высказывание ложно, и ложно, если данное высказывание истинно.

Примеры: 1) А: «10 кратно 2» – И, Ā: «10 не кратно 2» – Л.
2) А: «5 + 3 = 6» – Л, Ā: «5 + 3 ≠ 6» – И.

Слайд 16

И И Л Л Пример: А: «Число 6 четное» : «Число

И

И

Л

Л

Пример: А: «Число 6 четное»
: «Число 6 нечетное»
: «Число

6 не нечетное» или «Число 6 четное»
Слайд 17

Отрицанием предиката А(х), заданного на множестве Х, называют предикат Ā(х), определенный

Отрицанием предиката А(х), заданного на множестве Х, называют предикат Ā(х), определенный

на том же множестве Х, причем предикат Ā(х) истинен при тех значениях х из множества Х, при которых предикат А(х) ложен, и наоборот.
Слайд 18

Пример: Х = {10, 15, 20, 25, 30} А(х): «Число х

Пример: Х = {10, 15, 20, 25, 30} А(х): «Число х

оканчивается цифрой 5»

Ā(х): «Неверно, что число х оканчивается цифрой 5» или «Число х не оканчивается цифрой 5»

ТА = {15,25}

ТĀ = {10,20,30}

ТĀ = Т'А

Слайд 19

Упражнения 1. Образуйте отрицание каждого из следующих высказываний; укажите, является истинным

Упражнения
1. Образуйте отрицание каждого из следующих высказываний; укажите, является истинным данное

высказывание или его отрицание.
А: «523  3».
В: «Значение выражения 18:(7 – 7) не существует».
2. На множестве Х = {1, 2, 3, 4, 5} заданы предикаты: А(х): «Число х – простое», В(х): «х < 3», С(х): «(х – 1)(х + 2) = 0».
а) найти множество истинности каждого из данных предикатов;
б) для каждого из данных предикатов сформулируйте его отрицание и найдите его множество истинности.
Слайд 20

Логическая операция, в результате которой из двух высказываний А и В

Логическая операция, в результате которой из двух высказываний А и В

с помощью логической связки «и» получается новое высказывание А∧В, называется конъюнкцией высказываний.
Конъюнкция – от латинского соnjunсtiо – «соединение»

Конъюнкция

Слайд 21

Конъюнкция двух высказываний А и В - это такое высказывание А∧В,

Конъюнкция двух высказываний А и В - это такое высказывание А∧В,

которое истинно тогда и только тогда, когда оба высказывания истинны.
Если же хотя бы одно из них ложно, то и конъюнкция ложна.
Слайд 22

И И И Л Л И Л Л Л Л Л И

И

И

И

Л

Л

И

Л

Л

Л

Л

Л

И

Слайд 23

Примеры: А: «15  3», В: «15  5», А ∧

Примеры:
А: «15  3», В: «15  5»,
А ∧ В:

«Число

15 кратно 3 и 5»

Принадлежность двух признаков одному объекту

2) А: «Квадрат является параллелограммом»
В: «Ромб является параллелограммом»
А ∧ В:

Принадлежность одного признака двум объектам

«Квадрат и ромб - параллелограммы»

Слайд 24

3) 3 А: «3 Двойное числовое неравенство представляет собой конъюнкцию двух неравенств

3) 3 < 8 < 11

А: «3 < 8», В:

«8 < 11»

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

Слайд 25

И Л Л Л

И

Л

Л

Л

Слайд 26

А ∧ В = В ∧ А коммутативный закон конъюнкции Пример:

А ∧ В = В ∧ А

коммутативный закон конъюнкции

Пример:
А

∧ В: «Число 12 кратно 3 и 4»
В ∧ А: «Число 12 кратно 4 и 3»
Слайд 27

И И Л Л Л Л Л Л И Л Л

И

И

Л

Л

Л

Л

Л

Л

И

Л

Л

Л

Л

Л

Л

Л

И

И

Л

Л

Л

Л

Л

Л

И

Л

Л

Л

Л

Л

Л

Л

Слайд 28

(А ∧ В) ∧ С = А ∧ (В ∧ С) ассоциативный закон конъюнкции

(А ∧ В) ∧ С = А ∧ (В ∧ С)


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

Слайд 29

Л Л Л Л И И А ∧ А = А

Л

Л

Л

Л

И

И

А ∧ А = А

А ∧ Ā – тождественно ложная формула


Слайд 30

Замечание: В обыденной речи конъюнкция может выражаться с помощью различных союзов:

Замечание:
В обыденной речи конъюнкция может выражаться с помощью различных союзов:

«и», «а», «но», «не только…, но и…» и др.
Примеры:
«Число 12 делится не только на 3, но и на 4».
«Число 12 делится на 4, а 15 – на 5»
Слайд 31

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

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

А(х)∧В(х), заданный на том же множестве Х, который истинен при тех значениях х∈Х, при которых истинны оба предиката А(х) и В(х)
Слайд 32

Пример: А(х): «Число х четное», В(х): «Число х кратно 5», х∈Х,

Пример: А(х): «Число х четное»,
В(х): «Число х кратно 5», х∈Х,
Х

= {10, 15, 16, 20, 35}

А(х) ∧ В(х): «Число х четно и кратно 5»

ТА = {10, 16, 20},

ТВ = {10, 15, 20, 35}

ТА∧В = {10, 20}

ТА∧В = ТА ∩ ТВ

Слайд 33

Дизъюнкция Логическая операция, в результате которой из двух высказываний А и

Дизъюнкция

Логическая операция, в результате которой из двух высказываний А и

В с помощью логической связки «или» получается новое высказывание А∨В, называется дизъюнкцией высказываний.
Дизъюнкция – от латинского disjunсtiо – «разделение»
Слайд 34

Дизъюнкция двух высказываний А и В - это такое высказывание А

Дизъюнкция двух высказываний А и В - это такое высказывание А

∨ В, которое истинно тогда и только тогда, когда хотя бы одно из высказываний истинно.
Дизъюнкция ложна, если ложны оба входящих в нее высказывания.
Слайд 35

И И И Л Л И Л Л Л И И И

И

И

И

Л

Л

И

Л

Л

Л

И

И

И

Слайд 36

Замечание: В обыденной речи союз «или» употребляется в двух смыслах: как

Замечание: В обыденной речи союз «или» употребляется в двух смыслах:
как разделительный

или неразделительный.
Примеры:
1) «Завтра в 12 ч дня я буду в институте или дома» – союз «или» разделительный.
2) «Оценка за контрольную работу по математике снижается, если допущена вычислительная ошибка или ошибка в тождественных преобразованиях» - союз «или» неразделительный.
Слайд 37

Примеры: 1) А: «10 > 7» (И), В: «10 = 7»

Примеры:
1) А: «10 > 7» (И), В: «10 = 7»

(Л), А ∨ В: «10 ≥ 7» (И).
Нестрогое числовое неравенство представляет собой дизъюнкцию.
2) 2 ≤ 3 (И), т.к. 2 < 3.
3) 3 ≥ 5 (Л), т.к. 3 > 5 (Л) и 3 = 5 (Л).
Слайд 38

И И И Л

И

И

И

Л

Слайд 39

А ∨ В = В ∨ А коммутативный закон дизъюнкции

А ∨ В = В ∨ А

коммутативный закон дизъюнкции

Слайд 40

И И И И И И Л Л И И И

И

И

И

И

И

И

Л

Л

И

И

И

И

И

И

И

Л

И

И

Л

И

Л

И

И

И

И

И

И

И

Л

И

И

И

Слайд 41

(А ∨ В) ∨ С = А ∨ (В ∨ С)

(А ∨ В) ∨ С = А ∨ (В ∨ С)


ассоциативный закон дизъюнкции

(А ∧ В) ∨ С = (А ∨ С) ∧ (В ∨ С)

дистрибутивный закон дизъюнкции относительно конъюнкции

(А ∨ В) ∧ С = (А ∧ С) ∨ (В ∧ С)

дистрибутивный закон конъюнкции относительно дизъюнкции

Слайд 42

Л И И Л И И А ∨ А = А

Л

И

И

Л

И

И

А ∨ А = А

А ∨ Ā – тождественно истинная формула


Слайд 43

Дизъюнкцией предикатов А(х) и В(х), заданных на множестве Х, называется предикат

Дизъюнкцией предикатов А(х) и В(х), заданных на множестве Х, называется предикат

А(х)∨В(х), заданный на том же множестве Х, который истинен при тех значениях х∈Х, при которых истинен хотя бы один из предикатов А(х) и В(х)
Слайд 44

Примеры: Х = {10, 12, 15, 17, 20, 25} А(х): «х

Примеры:
Х = {10, 12, 15, 17, 20, 25}
А(х): «х

 2», В(х): «х  5»

А(х) ∨ В(х): «х  2 или х  5»

ТА = {10, 12, 20},

ТВ = {10, 15, 20, 25}

ТА∨В = {10, 12, 15, 20, 25}

Слайд 45

2) Х = {10, 12, 17, 20, 25} А(х): «х 

2) Х = {10, 12, 17, 20, 25}
А(х): «х 

3», В(х): «х  5»

А(х) ∨ В(х): «х  3 или х  5»

ТА = {12},

ТВ = {10, 20, 25}

ТА∨В = {10, 12, 20, 25}

ТА∨В = ТА ∪ ТВ

Слайд 46

ТА∨В = ТА ∪ ТВ ТА∧В = ТА ∩ ТВ ТĀ = Т'А

ТА∨В = ТА ∪ ТВ

ТА∧В = ТА ∩ ТВ

ТĀ

= Т'А
Слайд 47

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

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

Слайд 48

Доказательство Л Л И И Л И И Л И Л

Доказательство

Л

Л

И

И

Л

И

И

Л

И

Л

Л

Л

Л

Л

И

И

И

И

И

И

Слайд 49

Пример: А: «Я играю в шахматы», В: «Я играю в шашки».

Пример:
А: «Я играю в шахматы»,
В: «Я играю в

шашки».
А∨В: «Я играю в шахматы или в шашки».
: «Неверно, что я играю в шахматы или в шашки».
: «Я не играю в шахматы и не играю в шашки».
Слайд 50

Упражнения Известно, что высказывание А – истинно. Можно ли, зная лишь

Упражнения
Известно, что высказывание А – истинно. Можно ли, зная лишь

это определить значение истинности высказывания: а) А ∧ В; б) А ∨ В?
2) Известно, что высказывание А – ложно. Можно ли, зная лишь это, определить значение истинности высказывания: а) А ∧ В; б) А ∨ В?
Слайд 51

3) Покажите, что выполняя следующие задания, мы находим множество истинности конъюнкции

3) Покажите, что выполняя следующие задания, мы находим множество истинности конъюнкции

и дизъюнкции предикатов:
а) Даны числа 31, 409, 305, 20, 1256, 3, 16, 265. Выпишите все числа, в записи которых 1) три цифры и есть цифра 3; 2) три цифры или есть цифра 3.
б) Из ряда 18, 48, 3, 14, 25 выписать числа: 1) двузначные и меньшие 20; 2) двузначные или меньшие 20.
Слайд 52

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

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

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

с понятиями конъюнкции и дизъюнкции. Решают такие задачи, используя определение соответствующего понятия.
Если понятие а определено через родовое понятие с и видовое отличие Р, то его объем А можно представить в виде:
А = {х| х∈С и Р(х)}
Слайд 53

Алгоритм распознавания 1. Проверить, истинно ли высказывание: х ∈ С. 2.

Алгоритм распознавания

1. Проверить, истинно ли высказывание: х ∈ С.
2. Если х

∉ С, то х ∉ А.
3. Если х∈С, то выяснить, обладает ли объект х свойством Р.
4. Если «да», то х ∈ А.
5. Если «нет», то х ∉ А.

А = {х| х∈С и Р(х)}

Слайд 54

Если видовое отличие представляет собой конъюнкцию свойств, т.е. Р = Р1

Если видовое отличие представляет собой конъюнкцию свойств,
т.е. Р = Р1 ∧

Р2 ∧ … ∧ Рк, то проверку проводят до тех пор, пока не установят, что все свойства Рi присущи объекту х, то есть объект обладает свойством Р. Если объект не обладает хотя бы одним из этих свойств, то проверку прекращают и делают вывод о том, что объект не обладает свойством Р.
Слайд 55

Пример: Выяснить, в каком случае ВК является биссектрисой угла. а) б)

Пример: Выяснить, в каком случае ВК является биссектрисой угла.
а) б) в)

г)

Биссектриса угла – это луч, который выходит из вершины угла и делит этот угол пополам

Слайд 56

Если видовое отличие представляет собой дизъюнкцию свойств: Р = Р1 ∨

Если видовое отличие представляет собой дизъюнкцию свойств:
Р = Р1 ∨ Р2

∨ … ∨ Рк, то проверку проводят до тех пор, пока не установят, что хотя бы одно из свойств Рi присуще данному объекту. Если же объект не обладает ни одним из свойств Рi, то значит, он не обладает свойством Р.
Слайд 57

Пример: Даны множества А={1, 2, 3}, В={2, 4, 6}. Какие из

Пример: Даны множества А={1, 2, 3}, В={2, 4, 6}. Какие из

чисел 1, 2, 3, 4, 5, 6, 7, 8 принадлежат множеству А ∪ В?

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

А ∪ В = {1, 2, 3, 4, 6}

Слайд 58

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

Импликация

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

логической связки «если …, то…», называют импликацией.
А ⇒ В
«Если А, то В», «Из А следует В»,
«В следует из А»
А – условие импликации, В – заключение импликации
Слайд 59

Импликацией высказываний А и В называется высказывание А ⇒ В, которое

Импликацией высказываний А и В называется высказывание А ⇒ В, которое

ложно тогда и только тогда, когда А истинно, а В ложно.
В остальных случаях импликация истинна.

И

И

И

Л

И

Л

Л

Л

И

Л

И

И

Слайд 60

Пример: А: «Треугольник АВС прямоугольный» В: «В треугольнике АВС квадрат одной

Пример:
А: «Треугольник АВС прямоугольный»
В: «В треугольнике АВС квадрат одной стороны равен

сумме квадратов двух других сторон»

А ⇒ В: «Если треугольник прямоугольный, то квадрат его гипотенузы равен сумме квадратов катетов»

Слайд 61

1) «Если Наполеон – француз, то 2·2 = 4». 2) «Если

1) «Если Наполеон – француз, то 2·2 = 4».
2) «Если 2

· 2 = 5, то вода в реке соленая».
3) «Если слово «дом» является глаголом, то город Москва – столица России».
Слайд 62

Замечание: Употребление слов «Если…, то…» в логике отличается от употребления их

Замечание:
Употребление слов «Если…, то…» в логике отличается от употребления их

в обыденной речи, где мы как правило, считаем , что в предложении «Если А, то В» между А и В установлена причинно-следственная связь.
Математическую логику интересует лишь значение истинности высказывания.
Слайд 63

А ⇒ В = Ā ∨ В Доказательство И И И

А ⇒ В = Ā ∨ В

Доказательство

И

И

И

Л

И

Л

Л

Л

Л

И

Л

И

И

И

Л

И

И

И

Л

И

Слайд 64

А ⇒ В – данная импликация В ⇒ А - импликация

А ⇒ В – данная импликация

В ⇒ А

- импликация обратная данной

-

импликация противоположная данной

импликация обратная противоположной
или
противоположная обратной

Слайд 65

А ⇒ В: «Если сумма цифр числа 126 кратна 3, то

А ⇒ В: «Если сумма цифр числа 126 кратна 3, то

и само число 126 кратно 3»

В ⇒ А

: «Если число 126 кратно 3, то и сумма цифр числа 126 кратна 3»

: «Если сумма цифр числа 126 не кратна 3, то и число 126 не кратно 3»

: «Если число 126 не кратно 3, то и сумма цифр числа 126 не кратна 3»

Слайд 66

А ⇒ В = Ā ∨ В Отрицание импликации

А ⇒ В = Ā ∨ В

Отрицание импликации

Слайд 67

Импликацией предикатов А(х) и В(х), заданных на множестве Х, называется предикат

Импликацией предикатов А(х) и В(х), заданных на множестве Х, называется предикат

А(х)⇒В(х), заданный на том же множестве, который ложен лишь при тех значениях х ∈ Х, при которых А(х) истинен, а В(х) ложен.
Слайд 68

Примеры: 1) А(х): «Число х кратно 3» и В(х): «Число х

Примеры: 1) А(х): «Число х кратно 3» и В(х): «Число х

–двузначное», х ∈ N

А(х)⇒В(х): «Если число х кратно 3, то оно двузначное».

ТА – множество чисел, кратных 3,

ТВ – множество двузначных чисел.

ТА⇒В – множество чисел, не кратных 3 или двузначных

ТА⇒В =

ТА'


ТВ

Слайд 69

2) А(х): «Число х - однозначное», В(х): «Число х – двузначное»,

2) А(х): «Число х - однозначное», В(х): «Число х – двузначное»,

х ∈ N

А(х)⇒В(х): «Если число х однозначное, то оно двузначное».

ТА – множество однозначных чисел

ТВ – множество двузначных чисел.

ТА⇒В – множество неоднозначных чисел

Слайд 70

2) А(х): «Число х кратно 4», В(х): «Число х кратно 2»,

2) А(х): «Число х кратно 4», В(х): «Число х кратно 2»,

х ∈ N

А(х)⇒В(х): «Если число х кратно 4, то оно кратно 2».

ТА – множество чисел, кратных 4

ТВ – множество чисел, кратных 2

ТА⇒В = N

Слайд 71

Отношение следования А(х), В(х), х ∈ Х А(х) ⇒ В(х) истинна

Отношение следования

А(х), В(х), х ∈ Х

А(х) ⇒ В(х) истинна при всех

х ∈ Х

Предикат В(х) логически следует из предиката А(х), то есть А(х) ⇒ В(х), тогда и только тогда, когда ТА ⊂ ТВ

Слайд 72

Пример: А(х)⇒В(х): «Если число х кратно 4, то оно кратно 2».

Пример: А(х)⇒В(х): «Если число х кратно 4, то оно кратно 2».


«Для того, чтобы число х было кратно 4, необходимо, чтобы оно было кратно 2».

«Для того, чтобы число х было кратно 2 достаточно, чтобы оно было кратно 4».

Слайд 73

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

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

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

логических связок «если и только если», «те и только те», «тогда и только тогда, когда» и т.п., называют эквиваленцией.
А ⇔ В
«А тогда и только тогда, когда В»
Слайд 74

Эквиваленцией высказываний А и В называется высказывание А ⇔ В, которое

Эквиваленцией высказываний А и В называется высказывание А ⇔ В, которое

истинно, если оба высказывания А и В истинны или оба высказывания А и В ложны.
В остальных случаях эквиваленция ложна.

И

И

И

Л

И

Л

Л

Л

И

Л

И

Л

Слайд 75

А⇒В ∧ В⇒А = А⇔В Доказательство И Л И И И

А⇒В ∧ В⇒А = А⇔В

Доказательство

И

Л

И

И

И

Л

Л

И

Л

И

Л

И

Л

И

И

И

И

Л

И

И

Л

И

Л

Л

Слайд 76

Эквиваленцией предикатов А(х) и В(х), заданных на множестве Х, называется предикат

Эквиваленцией предикатов А(х) и В(х), заданных на множестве Х, называется предикат

А(х)⇔В(х), заданный на том же множестве, который истинен лишь при тех значениях х ∈ Х, при которых оба предиката истинны или оба ложны.
Слайд 77

Если предикаты А(х) и В(х) равносильны на множестве Х, то эквиваленция

Если предикаты А(х) и В(х) равносильны на множестве Х, то эквиваленция

предикатов А(х) ⇔ В(х) истинна при всех х ∈Х.

Отношение равносильности

Предикаты А(х) и В(х) равносильны, то есть А(х) ⇔ В(х), тогда и только тогда, когда ТА = ТВ

Пусть даны предикаты А(х) и В(х), х ∈Х.

Слайд 78

Пример: А(х) «Число х делится на 10», В(х): «Запись числа х

Пример: А(х) «Число х делится на 10»,
В(х): «Запись числа х заканчивается

цифрой 0»

А(х)⇔В(х): «Число х делится на 10 тогда и только тогда, когда его запись оканчивается 0»

ТА – множество чисел, кратных 10, ТВ – множество чисел, запись которых оканчивается цифрой 0.

ТА = ТВ, значит А(х) ⇔ В(х),
то есть эквиваленция А(х) ⇔ В(х) истинна при всех х ∈ N

Слайд 79

Пример: «Для того чтобы число делилось на 10, необходимо и достаточно, чтобы его запись оканчивалась нулем»

Пример: «Для того чтобы число делилось на 10, необходимо и достаточно,

чтобы его запись оканчивалась нулем»
Слайд 80

Замечание. Из равносильности предикатов А(х) и В(х) на некотором множестве Х

Замечание. Из равносильности предикатов А(х) и В(х) на некотором множестве Х

не следует, что предикаты, выраженные теми же словами, окажутся равносильными на другом множестве Y.
Пример:
А(х): «Все стороны четырехугольника равны»,
В(х): «Диагонали четырехугольника перпендикулярны».
Слайд 81

на множестве параллелограммов: А(х)⇔В(х): «Для того чтобы стороны параллелограмма были равны,

на множестве параллелограммов:
А(х)⇔В(х): «Для того чтобы стороны параллелограмма были равны, необходимо

и достаточно, чтобы его диагонали были перпендикулярны» - истина
Слайд 82

на множестве четырехугольников: А(х)⇔В(х): «Для того чтобы стороны четырехугольника были равны,

на множестве четырехугольников:
А(х)⇔В(х): «Для того чтобы стороны четырехугольника были равны, необходимо

и достаточно, чтобы его диагонали были перпендикулярны» - ложь