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

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

1. Отрицание – единственная операция, которая может применяться к одному высказыванию.

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

Отрицание обозначается Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , или b, читается: «не А» или «неверно, что А».

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

А Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru

2.Конъюнкция (логическое умножение) .

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

Конъюнкция обозначается Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru или А&B; читается: «А и В».

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

А В Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru

3. Дизъюнкция (логическое сложение) .

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

Дизъюнкция обозначается Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru и читается «А или В».

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

А В Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru

4. Импликация (логическое следствие).

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

Импликация обозначается Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru или Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , читается «ЕслиА, то В» («Когда А, тогда В», «А, следовательно В»).

Таблица истинности импликации выглядит так:

А В Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru

Компоненты импликации имеют свои собственные «имена»: предложение А называется посылкой или антецедентом, предложение В – заключением или консеквентом.

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

5. Эквиваленция (логическая равносильность).

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

Эквиваленция обозначается Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru или Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , читается «А тогда и только тогда, когдаВ».

Таблица истинности для эквиваленции выглядит так:

А В Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru

В форме эквиваленции, как правило, формулируются определения (например, определения логических операций).

3. Дать определения функции, композиции функций и указать их свойства.

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

Пусть даны две переменные х и y с областями изменения Х и Y. Переменная y называется функцией от х, если по некоторому правилу или закону каждому значению Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru ставится в соответствие одно определенное значение Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

Для указания этого факта, что y есть функция от х, пишут: Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru и т.п.

Можно также сказать, что функция f отображает множество Х на множество Y. Это обозначается так Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru (рис.1.1).

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru Рис. 1.1

Переменная х называется независимой переменной или аргументом.

Переменная y называется зависимой переменной или функцией.

Относительно самих величин х и y говорят, что они находятся в функциональной зависимости.

Область определения и изменения функции

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

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

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

Множество Х называется областью определения функции и обозначается Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

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

Множество значений Y называется областью изменения или областью значений функции, и обозначается Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

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

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

Функция Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru называется числовой функцией, если ее область определения Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru и множество значений Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru содержатся в множестве действительных чисел R.

В дальнейшем будем изучать лишь числовые функции. Частное значение функции Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru при Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru записывается так: Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

Характеризуют функцию по следующим свойствам:

  1. четность или нечетность функции;
  2. периодичность функции;
  3. нули функции;
  4. возрастание или убывание функции (монотонность функции);
  5. ограниченность функции.

Рассмотрим эти характеристики.

Четные и нечетные функции

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

Функция Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru называется четной, если она не изменяет своего значения при изменении знака аргумента, т.е. Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

График четной функции расположен симметрично относительно оси Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

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

Функция Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru называется нечетной, если при изменении знака аргумента знак функции меняется на противоположный, а числовое значение её сохраняется, т.е. Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

График нечетной функции расположен симметрично относительно начала координат .

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

Графики таких функций не симметричны ни относительно оси Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , ни относительно начала координат.

Периодические функции

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

Функция Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru называется периодической, если существует такое положительное число Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , что Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru в области определения функции.

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

Нули функции

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

Значение аргумента, при котором функция обращается в нуль, Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , называется нулем функции.

Монотонные функции

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

Функция называется возрастающей (убывающей) в некоторой области изменения аргумента, если большему значению аргумента соответствует большее (меньшее) значение функции.

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

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

Ограниченные функции

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

Функция Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru называется ограниченной на множестве Х, если существует такое число Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , что для всех Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru выполняется неравенство Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

Например, функции Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru и Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru – ограниченные функции, т.к. Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru и Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru для Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

График ограниченной функции лежит между прямыми Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru и Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

Пусть даны числовые функции f(x)и g(x), такие, чтоE(f) UD(g). Их композицией называется новая числовая функция F, заданная на D(f), которая каждому x D(f) ставит в соответствие число g[f(x)]. Функцию F обозначают также: g○ f :

(g ○ f) (x) = g(f(x))

Если функции f(x) и g(x) заданы своими выражениями, то для получения выражения композиции этих функций надо подставить в выражение функции g(x)вместоx выражение функции f(x).

Свойства композиции

Композиция ассоциативна:

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

Если Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru — тождественное отображение на Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , то есть

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru ,

то

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

Если Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru — тождественное отображение на Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , то есть

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru ,

то

Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

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

Группа Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru , вообще говоря, не коммутативна, то есть Союзы «и», «или», «если, то», «тогда и только тогда, когда», а также частицу «не» (словосочетание «неверно, что») называют логическими связками. - student2.ru .

Наши рекомендации