Вы находитесь на странице: 1из 20

КГУ имени И.

Арабаева
факультет Педагогики
• Тема 2. Математические понятия.
Высказывания. Предикаты. Теорема.
Математика, как и другие науки, изучает окружающий нас мир,
природные и общественные явления, но изучает лишь их осо­бые
стороны. Например, в геометрии изучают форму и размеры предметов,
не принимая во внимание другие их свойства: цвет, массу, твердость и т.
д. От всего этого отвлекаются, абстраги­руются. Поэтому в геометрии
вместо слова «предмет» говорят: «Геометрическая фигура». Отрезок,
луч, прямая, угол, окружность, квадрат — геометрические фигуры.
Результатом абстрагирования являются и такие важнейшие ма­
тематические понятия, как «число» и «величина».
Вообще любые математические объекты — это результат выде­ления
из предметов и явлений окружающего мира количествен­ных и
пространственных свойств и отношений и абстрагирования их от всех
других свойств. Следовательно, математические объекты реально не
существуют, нет в окружающем нас мире геометри­ческих фигур, чисел и
т. д. Все они созданы человеческим умом в процессе исторического
развития общества и существуют лишь в мышлении человека и в тех
знаках и символах, которые обра­зуют математический язык.

Всякий математический объект обладает определенными свой­


ствами. Например, квадрат имеет четыре стороны, четыре прямых угла,
равные диагонали.
Можно указать и другие свойства квадрата.
Среди свойств объекта различают свойства существенные и
несущественные для его выделения из других объектов. Свойство
считают существенным для объекта, если оно присуще этому объекту и
без него он не может существовать. Несущественные свойства — это
такие свойства, отсутствие которых не влияет на существование объекта.
Вообще объем понятия — это совокупность всех объектов,
обозначаемых одним и тем же термином.
Таким образом, всякое понятие характеризуется термином, объемом
и содержанием.
Определение — это логическая операция, раскрываю­щая
содержание понятия.
2. Высказывания и операции над ними
Познавая окружающий мир, человек устанавливает различные взаимосвязи
между объектами, между объектами и их свойствами и др. В языке эти связи
выражаются с помощью предложений, которые образуются из понятий. Например:
«В равностороннем треугольнике все углы равны», «Число 28 делится на 7».
Каждое математическое предложение характеризуется содер­жанием и
логической структурой. Наше внимание будет обращено в основном на структуру
предложений.
В математике различают элементарные и составные предложе­ния.
Предложение «Число 28 делится на 7» элементарное. Со­ставными предложениями
являются, например, следующие:
1) число 28 четное и делится на 7;
2) число х меньше или равно 8;
Составные предложения образуются из элементарных с по­мощью слов «и»,
«или», частицы «не» и некоторых других. Эти слова в математике называют
логическими связками.
Среди суждений, устанавливающих различные отношения между
математическими понятиями, выделяют высказывания и высказывательные
формы.
Высказыванием называется предложение,
относительно кото­рого имеет смысл вопрос,
истинно оно или ложно. Например, предложение
«Число 6 четное» есть истинное вы­сказывание, а
предложение «2+4 = 35» — ложное высказывание.
Высказывания обозначают большими
латинскими буквами. Значения истинности
высказываний обозначаются буквами И – «истина»
и Л – «ложь».
Предложения, образованные из других
предложений с помощью логических связок,
называют составными или сложными.
Предложения, которые не содержат логических
связок, называют элементарными или простыми.
•   Отрицание высказывания называется новое высказывание,
которое истинно тогда и только тогда, когда само высказывание ложно
и ложно, когда само высказывание истинно.
Обозначается
Для произвольного высказывания А определение удобно записывать
с помощью так называемой таблицы истинности:
А
А

и л

л и

Например: С :«32 не делится на 4» л


:«32 делится на 4» и
  Конъюнкцией
•высказывание, двух высказываний называется новое
которое истинно тогда и только тогда, когда
оба высказывания истинны.
Конъюнкция (логическое умножение) – от латинского –
соединение. Обозначается АВ, читается А и В

А 
В АВ
и и и
и
и л
л л
л
л
л и
и л
л
л
л «4*2=8»л
Например:А: л
ли В: «(-5)2=25»
л
АВ: «4*2=8 и (-5)2=25»
Дизъюнкцией двух высказываний является новое высказывание,
•  
которое ложно тогда и только тогда, когда оба высказывания
ложны. Дизъюнкция (логическое сложение) – от латинского –
разделение.
Обозначается АВ, читается А или В

А В АВ
и и и
и
и л
л и
и
л
л и
и и
и
Например: А:
л «число 29 простое»
л В: «Число 29 лсоставное»
л «Число 29 простое
АВ: л или составное»л
•   Импликацией двух высказываний называется новое
высказывание, которое ложно тогда и только тогда,
когда первое высказывание истинно, а второе – ложно.
Импликация (логическое следствие).
Обозначается АВ, читается «Если А, то В»

А В АВ
И И И
И Л Л
Л И И

Например:Л А: «48 кратно


Л 8», В: «48 кратно
И 4»
А В: «Если 48 кратно 8, то оно кратно 4»
Эквиваленцией двух высказываний называется новое
•  
высказывание, которое истинно тогда и только тогда,
когда оба высказывания одновременно истинны либо
ложны. Эквиваленция (логическая равносильность).
Обозначается АВ, читается «А тогда и только тогда, когда В»

А В АВ
И
И И
И И
И
И Л Л
И Л Л
Л И Л
Л кратно 9»,ИВ: «сумма цифр
Например: А: «729 Л числа 729 кратно 9»
АВ: «729лкратно 9 тогда
Л и только тогда,
И когда сумма цифр 729 кратно 9»
л Л И
  3. Предикаты (высказывательные формы) и операции над ними
•   Предложение, содержащее одну или несколько переменных и
которое при конкретных значениях переменных является
высказыванием, называется высказывательной формой или
предикатом.
В зависимости от числа переменных, входящих в предложение,
различают одноместные, двухместные, трехместные и т.д. предикаты,
обозначаемые соответственно: А(х), В(х, у), С(х, у, z).
Если задан некоторый предикат, то с ним связаны два множества:
1. Множество (область) определения Х, состоящее из всех
значений переменных, при подстановке которых в предикат последний
обращается в высказывание. При задании предиката обычно указывают
его область определения.
2. Множество истинности Т, состоящее из всех тех значений
переменных, при подстановке которых в предикат получается истинное
высказывание.
Множество истинности предиката всегда является подмножеством
его области определения, то есть ТХ.
Над предикатами можно совершать те же операции, что и над
высказываниями.
•предикат
  Отрицанием предиката А(х), заданного на множестве Х, называется
 , истинный при тех значениях хХ, при которых предикат А(х)
обращается в ложное высказывание, и наоборот.
Из данного определения следует, что предикаты А(х) и В(х) не являются
отрицаниями друг друга, если найдется хотя бы одно значение хХ, при котором
предикаты А(х) и В(х) обращаются в высказывания с одинаковыми значениями
истинности.
Пусть на множестве Х заданы два предиката А(х) и В(х). Тогда их
конъюкцией будет предикат А(х) В(х). Он истинен при тех значениях х из
множества Х, при которых истинны оба предиката.
•Например,
  На множестве Х={10,15,16,20,35}
заданы предикаты: А(х): «Число х четно», В(х):
«Число х кратно 5», то их конъюнкцией является
А(х) В(х): «Число х четно и кратно 5». Множество
истинности предиката А(х) в данном случае
является Т (А)={10,16,20}, а множеством
истинности предиката В(х) Т(В)={10,15,20,35}.
Предикат «Число х четно и кратно 5» обращается
в истинное высказывание только тогда, когда
х=10, х=20. Множество истинности {10,20} этого
предиката-пересечение множества истинности
предикатов А(х) и В(х).
•Он  истенен
Предикат А(х) В(х) называется дизъюнкцией предикатов А(х), В(х).
при тех значениях из множества Х, при которых истенен хоть
один из предикатов А(х), В(х).
Множеством Т истинности предиката А(х) В(х) является Т1Т2, где Т1-
множество истинности предиката А(х), а Т2- множество истинности
предиката В(х), Т= Т1Т2
•можно
  Из предикатов А(х) и В(х), заданных на одном и том же множестве Х,
составить предикат А(х) В(х). Его называют импликацией этих
предикатов и читают : «Если А(х), то В(х)». Множеством истинности
предиката А(х) В(х) является соединение множества Т2 истинности
предиката В(х) и дополнения к множеству Т1 истинности предиката А(х).
•   Из предикатов А(х) и В(х), заданных на
одном и том же множестве Х, можно
составить предикат А(х) В(х). Его называют
эквиваленцией этих предикатов и читают:
«А(х) в том и только в том случае, когда В(х)».
Если предикаты А(х) и В(х), заданные на
множестве Х, эквивалентны, т.е. если
множества их истинности Т1 и Т2 совпадают, Т1
= Т2, то для всех х истинна эквиваленция А(х)
В(х).
4. Понятие о теореме
Ранее мы отмечали, что существенные свойства объекта об­разуют
содержание понятия об этом объекте. Часть этих свойств включается в
определение понятия. Чтобы; иметь достаточно пол­ное представление об
объекте, изучают и другие его свойства.
Свойства основных (первоначальных) понятий раскрываются в аксиомах —
предложениях, принимаемых без доказательства (в не­которой теории).
Вообще система аксиом любой математической теории, раскры­вая свойства
основных понятий, дает, по сути дела, их опре­деления. Эти определения
называются аксиоматическими.
Свойства понятий, не являющиеся основными и не включен­ные в
определения, как правило, доказываются, т. е. выводятся как следствия из
определения, аксиом и ранее доказанных свойств. Доказываемые свойства
понятий чаще всего называют теоре­мами, иногда следствиями или признаками.
В алгебре — формула­ми, тождествами, правилами. Несмотря на разные
названия, устрое­ны эти предложения одинаково. Поэтому будем называть их
все теоремами.
Итак, теорема — это высказывание о том, что из свойства А следует свойство
В. Истинность этого высказывания устанав­ливается путем доказательства.
•  Так как теорема есть высказывание вида А=>В,
то ее словес­ная формулировка может иметь
различную форму. Однако, в каком бы виде ни
была сформулирована теорема, в ней всегда
выделяется условие А (что дано) и заключение В
(что надо доказать).
Пусть дана теорема А=>В. Образуем из нее
высказывания вида В=>А, =>, .
Теоремы А=>В и В=>А называются обратными
друг другу, а те­оремы А=>В и => называются
противоположными друг другу.Теорему
называют обратной противоположной
•Задания
  для самостоятельной работы
1.Для высказываний А,В и С докажите:
а) Аб) = ;
в) А ; г) =
2. Для следующих формул составьте таблицы
истинности:
а) А; б) (А