Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Ответы к экзамену за 3 с. для АТП, МЭП, ЭТЭ.doc
Скачиваний:
4
Добавлен:
01.07.2025
Размер:
3.98 Mб
Скачать

10. Логические высказывания. Основные логические операции над высказываниями, их свойства

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

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

Примеры.

A = «Дважды два – четыре»; B = (Сегодня первое октября)

Определение 2. Отрицанием (инверсией) данного высказывания называется высказывание , определяемое следующей таблицей истинности:

1

0

0

1

Определение 3. Дизъюнкцией (логической суммой) данных высказываний и называется высказывание , определяемое следующей таблицей истинности:

0

0

0

0

1

1

1

0

1

1

1

1

Определение4. Конъюнкцией (логическим произведением) данных высказываний и называется высказывание , определяемое следующей таблицей истинности:

0

0

0

0

1

0

1

0

0

1

1

1

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

0

0

1

0

1

1

1

0

0

1

1

1

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

0

0

1

0

1

0

1

0

0

1

1

1

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

0

0

0

1

0

0

0

0

1

1

1

1

0

1

0

1

1

1

0

1

1

1

1

1

1

0

0

0

0

0

1

0

1

0

1

0

1

1

0

0

1

0

1

1

1

0

1

0

Пример. Установить, равносильны ли высказывания и .

Составим таблицу истинности этих высказываний.

A

B

C

0

0

0

0

1

1

1

1

1

1

0

0

1

0

1

1

0

1

1

1

0

1

0

0

1

0

1

1

1

1

0

1

1

1

1

0

0

0

1

1

1

0

0

0

0

1

1

1

0

0

1

0

1

0

0

1

0

1

0

0

1

1

0

0

0

0

1

1

0

0

1

1

1

1

1

0

0

0

0

1

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

Приложение 1

Числовая функция. Способы задания

и основные свойства функций

Определение 1. Числовой функцией называется соответствие между двумя числовыми множествами, при котором каждому элементу первого множества соответствует единственный элемент второго множества.

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

Способы задания функции

1. Аналитический способ задания функции.

Функция задается уравнением вида , где – выражение с переменной x. Это уравнение позволяет по заданному значению аргумента найти соответствующее значение функции.

Примеры: , , .

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

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

2. Графический способ задания функции.

О пределение 2. Графиком функции называется множество точек координатной плоскости, абсциссы которых являются значениями аргумента, а ординаты – соответствующими значениями функции.

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

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

3. Табличный способ задания функции.

Пример.

x

1,2

3,4

5,5

8,7

12

y

-2

0,8

3,7

11

0,1

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

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

4. Словесный способ задания функции.

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

Пример. На множестве натуральных чисел задана функция следующим образом: y — количество делителей данного натурального числа x.

Задать эту функцию аналитически нельзя, но можно найти ее значение для любого значения аргумента, например: , , , .