Задать множество высказывательным способом

Источник

Высказывательные формы (предикаты) и операции над ними

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

По числу переменных, входящих в высказывательную форму (предикат), их делят на одноместные, двухместные и т.д. и соответственно обозначают: А(х), В(х; у) и т.д.

Например, предложения «Число х – двузначное» и «х+3=8» являются одноместными высказывательными формами (предикатами), а предложения «х>у» и «х+у=10» — двухместными высказывательными формами.

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

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

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

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

Область определения высказывательной формы будем обозначать через Х и предикаты будем записывать с указанием области определения: А(х), хÎХ; В(х; у), х, уÎХ и т.д. Запись А(х), х Î Х, читают: «Высказывательная форма (предикат) А(х) задана на множестве Х».

1. А(х): «Слово х – глагол», его областью определения будет множество слов русского языка.

3. С(х): «Четырехугольник х – квадрат», Х – множество четырехугольников.

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

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

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

1. А(х): «Слово х – глагол», его множеством истинности является множество глаголов русского языка.

3. С(х): «Четырехугольник х – квадрат», Т- множество квадратов.

4. D(х; у): «х+у=5». Множество истинности этого предиката может быть различным в зависимости от области определения. Если Х=R или Х=Z, то Т – множество пар чисел, сумма которых равна 5, причем это множество будет бесконечным. Если Х=N, то Т=<(1;4), (2;3), (4;1), (3;2)>.

5. Q(х): «х

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

Источник

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

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

Перечислительный способ (перечисление элементов)

Высказывательный способ (описание свойств элемента).

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

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

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

Х = <xM | Р(х)>

означает, что рассматриваемое множество Х состоит из элементов некоторого множества М, обладающих свойством Р.

Пример. Запись А=<xR| (x 2 +2x-15=0)> означает, что множество A состоит из действительных корней уравнения: x 2 +2x-15=0. Это же множество можно также задать перечислительным способом: A=<-5,3>.

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

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

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

Приведем один из известных парадоксов Б. Рассела.

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

Рассмотрим некоторое множество X, которое не содержит себя как свой элемент.

Пусть Y — множество всех таких множеств X, т. е. множество всех множеств, не содержащих себя как свой элемент.

Зададимся вопросом: каково множество Y? Содержит оно себя как элемент или нет? Возможны два случая: 1) содержит; 2) не содержит.

В первом случае YϵY. Тогда по определению множества Y имеем YY. Получили противоречие.

Во втором случае YY. Тогда по определению множества Y имеем YϵY. Получили также противоречие.

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

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

Глава 2. Операции над множествами

2.1 Сравнение множеств

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

Два множества равны, если они являются подмножествами друг друга:

А = В = АВ & ВА.

Мощность множества М обозначается как |М|. Для конечных множеств мощ­ность — это число элементов. Например, |0| = 0, но |<0>| = 1. Если |А| = |В|, то множества А и В называются равномощными.

Если множества A и В содержат одни и те же элементы и мощности их равны, то эти множества считаются равными. Это обозначается так: А=В. Неравные множества состоят из различных элементов, обозначается так: А≠В.

Равенство множеств обладает следующими свойствами:

• А = В — рефлексивность;

• если А = В, то В = А — симметричность;

• если А = В и В = С, то А = С — транзитивность.

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

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Источник

Лекция 6. Высказывания и высказывательные формы (Математические предложения)

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

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

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

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

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

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

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 – ложное.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Обозначают А∧В (читают: «А и В»).

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

Используя данное определение, найдем значение истинности высказывания «число 28 делится на 7 и на 9», которое, как было установлено раньше, состоит из двух элементарных высказываний, соединенных союзом «и», т.е. является конъюнкцией.. Так как первое высказывание истинно, а второе ложно, то, согласно определению конъюнкции, высказывание «число 28 делится на 7 и на 9» будет ложным.

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

Высказывание образовано с помощью союза «или»: А∨В (читают А или В).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Пример 1. «Установите, какие из фигур являются квадратами, а какие нет».

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

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

Пример 2. «Выяснить, в каком случае луч ВD является биссектрисой угла АВС».

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

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

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

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

Источник