Презентация по информатике _Основы логики_ (8 класс)

1. Презентация по теме «ОСНОВЫ ЛОГИКИ»

Информатика.
8 класс
Презентация по теме
«ОСНОВЫ ЛОГИКИ»
Рогачёва Ирина Викторовна,
учитель информатики
МБОУ «Гимназия № 5» г. Рязань

2. Логика в информатике

Логика – наука о формах и способах
мышления.
Высказывание – это форма мышления, в которой
что-либо утверждается или отрицается о свойствах
реальных предметов и отношениях между ними.
Высказывание может быть истинно или ложно.
«2*2=4», «Москва – столица России», «Луна –
спутник Земли» являются истинными,
«Киев – столица Белоруссии», «Юпитер – спутник
Марса» - ложными.

3. Логика в информатике. Высказывания

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

4. Высказывания. Задачи

Какие из перечисленных ниже предложений являются
высказываниями и каково их значение?
а) «сумма внутренних углов треугольника равна
двум прямым углам»
б) «верно ли, что =3,1415926…?»
в) «44>88»
г) «математическое доказательство»
д) «Х+5=45»
е) «Любой ромб является параллелограммом»
ж) «Квадрат любого четного числа делится на 4»

5. Высказывания

Из простых высказываний строятся
составные высказывания.
Например, «2*2=4 и 2<0» - составное
высказывание, которое состоит из двух
простых, соединенных логической
операцией «и».

6. Высказывания

Поскольку для применения логических операций
имеет значение лишь истинность или ложность
высказываний, а не их содержание, то можно
использовать алгебраический подход, заменив
высказывания логическими переменными, обычно
обозначаемыми латинскими буквами.
А=«Два умножить на два равно четыре»
В=«Два умножить на два равно семь»
Истинному высказыванию ставят в соответствие 1,
ложному – значение 0.
А=1
В=0

7. Базовые логические операции

Логическое отрицание (Инверсия)
Логическое умножение (Конъюнкция)
Логическое сложение (Дизъюнкция)

8. Логические операции. Инверсия

Логическое отрицание (инверсия) делает
истинное высказывание ложным и, наоборот,
ложное – истинным.
Обозначение:
Ā, А, НЕ А, NOT А.
А=«Мы любим математику»
А =Мы не любим математику»
Таблица истинности
операции логического
отрицания:
А
0
1
А
1
0
Для каждого логического выражения можно построить
таблицу, в которой для каждого набора значений простых
логических переменных приведены значения этого
выражения. Такая таблица называется таблицей
истинности логического выражения.

9. Логические операции. Дизъюнкция

Составное высказывание, образованное в
результате логического сложения (дизъюнкции)
истинно тогда, когда истинно хотя бы одно из
входящих в него простых высказываний.
Обозначение:
АvВ, А+В, А В,
А or В, А ИЛИ В
А=«Я люблю математику»
В=«Я люблю физику»
«Я люблю математику ИЛИ
физику»
Таблица истинности
операции логического
сложения
А
В
АvВ
0
1
0
1
0
0
1
1
0
1
1
1

10. Логические операции. Конъюнкция

Составное высказывание, образованное в
результате логического умножения (конъюнкции)
истинно тогда и только тогда, когда истинны все
входящие в него простые высказывания.
Обозначение:
А В, А&В, А В, А И В,
А AND В.
А=«Я люблю математику»
В=«Я люблю физику»
«Я люблю математику И
физику»
Таблица истинности
операции логического
умножения:
А
0
1
0
1
В
0
0
1
1
А В
0
0
0
1

11. Логические выражения

Каждое составное высказывание можно выразить в виде
формулы (логического выражения), в которую входят
логические переменные, обозначающие высказывания, и
знаки логических операций, обозначающие логические
функции.
Запишем в форме логического выражения составное
высказывание:
«(2*2=5 или 2*2=4)и(2*2 5 или 2*2 4)»
Оно содержит два простых высказывания:
А=«2*2=5» - ложь (А=0) и В=«2*2=4» - истина (В=1)
Тогда составное высказывание можно записать в виде:
«(А или В) и ( А или В)»
Что необходимо знать для выполнения
логических операций?

12. Логические выражения

Определен следующий порядок выполнения
логических операций:
1. Операции в скобках
2. Инверсия
3. Конъюнкция
4. Дизъюнкция
Определим истинность логического выражения:
«(2*2=5 или 2*2=4)и(2*2 5 или 2*2 4)»
(А v В) ( А v В)
(А v В) ( А v В)=(0 v 1) (1 v 0)=1 1=1

13. Таблицы истинности

Для каждого составного высказывания (логического
выражения) можно построить таблицу истинности,
которая определяет его истинность или ложность при всех
возможных комбинациях исходных значений простых
высказываний (логических переменных).
Правила построения таблиц истинности:
1. Количество строк в таблице должно быть равно
количеству возможных комбинаций значений логических
переменных, входящих в логическое выражение.
Если количество переменных n, то количество строк – 2n
2. Количество столбцов равно количеству логических
переменных плюс количество логических операций.
Построим таблицу истинности для логического
выражения: (А v В) ( А v В)

14. Таблицы истинности

Таблица истинности для логического выражения:
(А v В) ( А v В)
А
В
АvB
А
В
А v В
(А v В)
( А v В)
0
0
0
1
1
1
0
0
1
1
1
0
1
1
1
0
1
0
1
1
1
1
1
1
0
0
0
0

15. Логические законы и тождества

Тождества
Логического сложения
Логического умножения
1) А v 0 = А
1) А 0 = 0
2) А v 1 = 1
2) А 1 = А
3) А v А = А
3) А А = А
4) А v А = 1
4) А А = 0

16. Логические законы и тождества

Законы
1) А=А (Закон тождества)
2) ( А)=А (Закон двойного отрицания)
3) А ( A B)=А (Закон поглощения)
4) А (A B)=А (Закон поглощения)
5) АvВ=BvA (Закон коммутативности сложения)
6) A B=B A (Закон коммутативности
умножения)

17. Логические законы и тождества

Законы
7. (АvB)vC=Av(BvC) (Ассоциативность
сложения)
8. (A B) C=A (B C) (Ассоциативность
умножения)
9. A (BvC)=(A B)v(A C) (Дистрибутивность
умножения относительно сложения)
10. Av(B C)=(AvB) (AvC) (Дистрибутивность
сложения относительно умножения)
11. (AvB)= A B
(A B)= Av B
Законы де Моргана