1. Алгебра логики

2. Хорошо думать —
Урок № 1
Логика как наука. значит победить
Формы человеческого беспорядочность потока
мышления мыслей.
Густав Гийом
Урок № 2
Логические операции.
Построение таблиц
истинности
Урок № 3
Логические законы.
Упрощение сложных
высказываний

3. Урок № 1
Объяснение
Логика как наука. материала
Формы человеческого
мышления  Об истории
логики
Урок № 2
Логические операции.
Построение таблиц
 Область
истинности применения
алгебры логики
Урок № 3
Логические законы.
 Основные
Упрощение сложных понятия логики
высказываний

4. Урок № 1 Объяснение
Логика как наука. материала
Формы человеческого
мышления  Логические
операции
Урок № 2
Логические операции.  Сложные
Построение таблиц высказывания
истинности
 Построение
Урок № 3 таблиц
Логические законы. истинности
Упрощение сложных сложных
высказываний
высказываний

5. Урок № 1
Логика как наука.
Формы человеческого Объяснение
мышления
материала
Урок № 2
Логические операции.  Законы логики
Построение таблиц
истинности  Упрощение
сложных
Урок № 3 высказываний
Логические законы.
Упрощение сложных
высказываний

6. Об истории логики
Термин логика происходит от древнегреческого
logos, означающего
«слово, мысль, понятие, рассуждение, закон».
Логика - это наука правильно
рассуждать, наука о формах и законах
человеческого мышления.
Задача логики - описать и исследовать те
способы рассуждений, которые являются
правильными.

7. Аристотель
(384 - 322 гг. до н.э.)
Основоположник формальной логики

8. Рене Декарт
(1596 - 1650)
Рекомендовал в логике использовать
общепринятые математические методы.

9. Готфрид Вильгельм
Лейбниц
(1646 - 1716 )
Предложил использовать в логике
математическую символику и впервые
высказал мысль о возможности
применения в ней двоичной системы
счисления. Так зародилась
математическая, или
символическая, логика.

10. Джордж Буль
(1815 - 1864)
Основоположник алгебры логики
(булевой алгебры)

11. Большой вклад в становление и развитие математической
логики внесли многие выдающиеся математики и логики
XVI - XX веков, в том числе
М. В. Ломоносов А. Тьюринг Д. Гильберт К. Гедель И. Кант
Г. Фреге П. С. Новиков А. А. Марков А. Н. Колмогоров

12. Область применения
алгебры логики
Алгебра логики сегодня - раздел
математической логики, изучающий
строение (форму, структуру) сложных
логических высказываний и способы
установления их истинности с
помощью алгебраических методов.

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

14. Практическое применение
булевой алгебры
 в вычислительной технике;
 в логических построениях в математике;
 в повседневных рассуждениях.

15. Основные понятия логики
Понятие –
форма мышления, в которой отражается
существенные признаки предметов
СОДЕРЖАНИЕ ОБЪЕМ
Компьютер –
многофункциональное техническое Совокупность (сотни миллионов)
электронное автоматическое существующих в настоящее время в
устройство для мире персональных компьютеров
накопления, обработки и передачи
информации.

16. Виды понятий
O Несравнимые – далекие друг от друга по своему
содержанию понятия, не имеющие
общих признаков.
O Сравнимые – остальные.
O Совместимые – объемы понятий совпадают
полностью или частично.
O Несовместимые – объемы понятий не совпадают
ни по одному элементу.

17. Физкультминутка
Упражнение первое:
сжимать и разжимать кулаки. Повторить 4- 5
раз.
Упражнение второе:
вращать кистями рук в одну и другую сторону.
Повторить 4-5 раз.
Упражнение третье:
перевести взгляд быстро по диагонали:
направо вверх - налево вниз, потом прямо
вдаль на счет 1-6; затем налево вверх -
направо вниз и посмотреть вдаль на счет 1-6.
Повторить 4-5 раз.

18. Основные понятия логики
Суждение (высказывание, утверждение) -
форма мышления, в которой что-либо утверждается
или отрицается о предметах, их свойствах или
отношениях между ними.
Суждение (высказывание, утверждение)
- повествовательное предложение, относительно
которого можно сказать, истинно оно или ложно.

19. Не являются суждениями:
O Предложения, о которых  Эта книга - информатика.
нельзя сказать, истинны  Метеорологический
они или ложны. прогноз.
O Вопросительные и  Как мелодичны
вы, песни, Украины!
восклицательные
предложения.  Верно ли, что сегодня
теплая погода?
O Предикаты (выражения о
 5 +X =12
переменных) , в которых
X+Z<1
значения переменных не
 Число Y кратно 3
определены.

20. Виды суждений
O Частные – выражают конкретные факты.
O Общие – характеризуют свойства групп
объектов (явлений).
O Простые – не содержат в себе других
высказываний.
– образованы из нескольких
O Сложные
простых с помощью
определенных способов
соединения.
O Равносильные – одновременно истинные или
(эквивалентные) одновременно ложные.

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

22.  Вопросы и задания 1
Какие из перечисленных ниже предложений являются суждениями?
С
У
Ж • Некоторые люди имеют голубые глаза.
Д
Е • Вы были в театре?
Н
И • Мойте руки перед едой.
Е
• Если будет дождь, то мы поедем за грибами.
Н • Завтра я сдам экзамен, либо останусь на второй год.
Е
• Существую такие люди, которые не любят животных.
С
У • Завтра я пойду на каток.
Ж
Д • Если я поеду туда, то смогу ли вернуться?
Е
Н • IF X>1 THEN Y=0
И
Е

23.  Вопросы и задания 2
Укажите для нижеприведенных высказываний, сложные они или простые:
• Если две прямые параллельны, то они пересекаются.
С
Л • Идет дождь.
О • На следующем уроке будет либо контрольная работа, либо
Ж свободный урок.
Н
Ы • Завтра или сегодня брат приедет к нам в гости.
Е • Треугольники с равными сторонами не равнобедренны.
• Завтра премьера в нашем театре.
П
Р • Это число не простое.
О
• Сегодня, завтра и каждый день я буду учиться.
С
Т • 7 + x  x + c + 0,1 a
Ы
• Число 4 больше числа 2.
Е

24.  Вопросы и задания 3
Какие из перечисленных ниже предложений являются суждениями
и каково значение их истинности:
И
С O "сижу и смотрю";
Т
И O "сумма внутренних углов треугольника
Н равна двум прямым углам";
А
O "верно ли, что π=3,1415926...?";
Л O "44>88";
О
Ж O "математическое доказательство";
Ь
O "Z + 5 = 45".

25.  Вопросы и задания 4
Укажите, какие из суждений являются частными, а какие общими:
O (X + Y) (X - Y) = X2 - Y2;
Ч
А O "Любой ромб является параллелограммом";
С
O "А3= А2, если А=1";
Т
Н O Если |А| = |В|, то А = В;
Ы
Е O "Квадрат любого числа делится на 4";
O "Меркурий - спутник Марса";
О O "Джордано Бруно - ученик Галилео Галилея";
Б
Щ O "Не существует целого числа, куб которого оканчивается
цифрой 2 ".
И
Е

26. Физкульминутка
Упражнение первое:
резко зажмурить глаза на 2-3 секунды: и широко
открыть на 2-3 секунды, повторить упражнение 10
раз.
Упражнение второе:
часто-часто моргать глазами, повторить 10 раз.
Упражнение третье:
поднять глаза вверх, при этом голова остается в одном
положении, задержать взгляд на 2-3 секунды, затем
опустить глаза вниз и задержать взгляд на 2-3 секунды
повторить упражнение 10 раз .

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

28. Логическое отрицание -ИНВЕРСИЯ
Образуется из высказывания с помощью добавления
частицы «НЕ» к сказуемому или использования
оборота речи «НЕВЕРНО, ЧТО...»
Обозначение: Ā, ¬А, не А, Примеры инверсии:
not А А= «Неверно, что у меня
есть приставка Dendy»
Таблица истинности:
В= «Я не знаю китайского
языка»
А Ā
0 1 Инверсия высказывания истинная,
когда высказывание ложно, и ложна,
1 0 когда высказывание истинно.

29. Логическое умножение-КОНЪЮНКЦИЯ
Образуется соединением двух высказываний в одно с
помощью союза «И» (а также «А», «НО» )
Обозначение: А и В, А^В, А &
В, А*В, А and B, А B Примеры конъюнкции:
А= «Сегодня солнечный день и мы
Таблица истинности: пойдем гулять»
А В А*В
В= «Богдан был победителем, а
Степан занял второе место»
0 0 0
1 0 0 Конъюнкция двух высказываний
0 1 0
истинная тогда и только тогда, когда
оба высказывания истинны, и ложна,
1 1 1 когда хотя бы одно высказывание
ложно.

30. Логическое сложение -ДИЗЪЮНКЦИЯ
Образуется соединением двух высказываний в одно с
помощью союза «ИЛИ» (нестрогая), «ЛИБО» (строгая)
Обозначение: А или В, АV В,
А | В, А+В, А or B, А B; Примеры дизъюнкции:
AB, A xor B
А= «Снег пойдет ночью или утром»
В= «Он приедет сегодня либо
Таблица истинности: завтра»
А В А+В
0 0 0
Дизъюнкция двух высказываний
1 0 1
ложна тогда и только тогда, когда оба
0 1 1 высказывания ложны, и истинна, когда
хотя бы одно высказывание истинно.
1 1 1

31. Логическое следование -ИМПЛИКАЦИЯ
Образуется соединением двух высказываний в одно с
помощью оборота речи «ЕСЛИ …, ТО ...»
Обозначение: А  В, А В
Примеры импликации:
Таблица истинности: А= «Если число делится на 9, то оно
делится на 3»
А В АВ В= «Если на улице дождь, то
асфальт мокрый»
0 0 1
1 0 0
Импликация двух высказываний
0 1 1 ложна тогда и только тогда, когда из
истинного высказывания следует
1 1 1 ложное.

32. Логическое равенство -ЭКВИВАЛЕНТНОСТЬ
Образуется соединением двух высказываний в одно с
помощью оборота речи «… ТОГДА И ТОЛЬКО ТОГДА,
КОГДА ...»
Обозначение: А  В, А В, Примеры эквивалентности:
А=В, АВ, А~В А= «Число кратно 3 тогда и только
тогда, когда сумма цифр числа
Таблица истинности: делится нацело на 3»
А В АВ В= «Угол называется прямым тогда
и только тогда, когда он равен
0 0 1
90°»
1 0 0
Эквивалентность двух высказываний
0 1 0 истинна тогда и только тогда, когда
оба высказывания истинны или оба
1 1 1 ложны.

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

34. Перевод логических операций
на естественный язык
O не А; неверно, что А
O Инверсия O и А, и В; как А, так и В; А вместе с В;
O Конъюнкция А несмотря на В; А, в то время как В;
АиВ
O А или В; А либо В; либо А, либо В;
O Дизъюнкция строго А или В
O Импликация O если А, то В; В, если А; В
необходимо для А; А достаточно для
В; А только тогда, когда В; В
тогда, когда А; все А есть В
O А эквивалентно В; А необходимо и
O Эквивалентность достаточно для В; А тогда и только
тогда, когда В

35. Приоритет логических
операций
O инверсия
O конъюнкция
O дизъюнкция
O импликация
O эквивалентность
Операции одного приоритета выполняются
слева направо.
Для изменения порядка действий
используются скобки.

36. Пример 1
3 4 2 5 1
Дана формула: А V В  С & D  Ā
Порядок вычисления:
•Ā — инверсия
• C&D — конъюнкция
• АV В — дизъюнкция
•АVВС&D — импликация
•АVВС&DĀ — эквивалентность

37. Пример 2
4 2 3 5 1
Дана формула: А V (В  С) & D  Ā
Порядок вычисления:
•Ā — инверсия
• (В  C) — импликация в скобках
• (В  С) & D — конъюнкция
• А V (В  С) & D — дизъюнкция
• А V (В  С) & D  Ā — эквивалентность

38. Сложные высказывания
Если несколько простых высказываний объединены в
одно с помощью логических операций, то такое
высказывание называется сложным.
Примеры сложных высказываний:
С ж вы
ло ное сказывание С т
ос авляющ прос т е
ие ы Ф а сло ж
орм ного
высказывания высказывания
Е = «И дет дож дь, а у А = «Идет дож »
дь ;
меня нет зонта » В = «У меня есть зонт » Е =А & В
Е = «Когда ж ивется весело, А = «Ж ивется весело»;
то работа спорится» В=« Работа спорится» Е =А В
Е = «Идет налево – песнь А = «И дет налево»;
заводит, направо – сказку В = «Идет направо» ; Е = (А С) V (В  D)
говорит » С = «Песнь заводит » ;
D = «Сказку говорит »

39. Тождественно истинные, тождественно
ложные и эквивалентные
высказывания
Если высказывание истинно при всех значениях входящих в
него переменных, то такое высказывание называется
тождественно истинным или тавтологией (обозначается
константой 1).
Например, Демократ - человек, исповедующий демократические убеждения.
Если высказывание ложно при всех значениях входящих в него
переменных, то такое высказывание называется тождественно
ложным (обозначается константой 0).
Например, Компьютер включен, и компьютер выключен.
Если значения сложных высказываний совпадают на всех
возможных наборах значений входящих в них переменных, то
такие высказывания называется равносильными,
тождественными, эквивалентными.

40. Задача № 1
Укажите значения истинности простых
высказываний, при которых суждение
«Если у меня будет свободное время, и я сдам
экзамены, то я поеду отдыхать»
ложно.

41. Задача № 1
Решение
В = «У меня будет свободное время»
Е = «Я сдам экзамены»
А = «Я поеду отдыхать»
B&Ē Ā

42. Построение таблиц истинности
сложных высказываний
Построить таблицу истинности для высказывания
B&Ē Ā
Алгоритм построения таблицы истинности сложного высказывания
( на примере n=3):
• вычислить количество строк и столбцов таблицы истинности
(количество строк - 2n +2, количество столбцов равно сумме количества
переменных (n) и количества логических операций, входящих в сложное
высказывание);
• начертить таблицу и заполнить заголовок в соответствии с приоритетом
логических операций;
• заполнить первые 3 столбца с учетом всех возможных комбинаций
значений переменных;
• заполнить остальные столбцы таблицы в соответствии с таблицами
истинности логических операций, причем при заполнении каждого
столбца операции выполняются над значениями столбцов, расположенных
левее заполняемого.

43. В & Ē Ā
В Е А Ē Ā В & Ē В &Ē Ā
1 2 3 4(2) 5(3) 6 (1) * (4) 7 (6)  (5)
0 0 0 1 1 0 1
0 0 1 1 0 0 1
0 1 0 0 1 0 1
0 1 1 0 0 0 1
1 0 0 1 1 1 1
1 0 1 1 0 1 0
1 1 0 0 1 0 1
1 1 1 0 0 0 1

44. Законы логики

45. Закон тождества:
в процессе определенного рассуждения
всякое понятие и суждение должны
быть тождественны самим себе.
А=А

46. Закон непротиворечия:
невозможно, чтобы одно и тоже в
одно и тоже время было и не было
присуще одному и тому же в одном и
том же отношении. То есть
невозможно что-то одновременно
утверждать и отрицать.
А&Ā=0

47. Закон исключения
третьего:
из двух противоречащих суждений
одно истинно, другое ложно, а
третьего не дано.
А+Ā=1

48. Закон достаточного
основания:
всякая истинная мысль должна быть
достаточно обоснована.

49. Закон двойного
отрицания:
если отрицать дважды некоторое
высказывание, то в результате
получается исходное высказывание.
А =А

50. Свойства констант:
отрицание отрицание
лжи есть истины
истина. есть ложь.
0=1 1=0
Аv0=А А&0=0
Аv1=1 А& 1 =A

51. Закон идемпотентности:
АvА=А
А&А=A

52. Законы коммутативности
(сочетательные законы):
операнды А и В в операциях
дизъюнкции и конъюнкции можно
менять местами.
АvВ=ВvА
А&В=В&А

53. Законы ассоциативности
(распределительные законы):
если в выражении используется только
операция дизъюнкции или только операция
конъюнкции, то можно пренебрегать
скобками или произвольно их расставлять.
А v (В v C) = (А v В) v C
А & (В & C) = (А & В) & C

54. Законы дистрибутивности:
А v (В & C) = (А v В) & (А v C)
А & (В v C) = (А & В) v (А & C)

55. Законы поглощения:
А & (В v B) = А или
А & (А v В) = А или
(А v B) & B = А & B
А v В & B = А или
А v (А & В) = А или
(А & B) v B = А v B

56. Законы де Моргана:
отрицание дизъюнкции есть конъюнкция
отрицаний. Отрицание конъюнкции есть
дизъюнкция отрицаний.
А v В = А & В или
АvB=А&B
А & В = А v В или
А&B=АvB

57. Правило замены операции
импликации:
АВ =АvВ

58. Правило замены операции
эквивалентности:
АВ =ВА
А  В = (А v В) & (А v B)
А  В = (А & В) v (А & B)
А  В = (А  В) & (B  A)

59. Доказательство логических
законов
O построить таблицу истинности для правой и
левой частей равенства;
O выполнить эквивалентные преобразования
над правой и левой частями равенства для
приведения их к одному виду;
O с помощью диаграмм Эйлера - Венна;
O путем правильных логических рассуждений.

60. Упрощение сложных
высказываний

61. X=X&1
- по свойствам констант;
X=Xv0
1=АvA - по закону исключения третьего;
0=Z&Z - по закону исключения третьего;
B=BvB=BvBvBvB - по законам
идемпотентности;
C=C&C=C&C&C&C
E=E - по закону двойного отрицания.

62. Задача № 2 «Уроки логики»
На вопрос, кто из трех школьников
изучал логику, был получен
правильный ответ:
если изучал первый, то изучал и
второй, но не верно, что если
изучал третий, то изучал и второй.
Кто из учащихся изучал логику?

63. Задача № 2 «Уроки логики»
Решение:
Р1 = «Первый школьник изучал логику»
Р2 = «Второй школьник изучал логику»
Р3 = «Третий школьник изучал логику»

64. Задача № 2 «Уроки логики»
(Р1 → Р2) & (Р3 → Р2) =
= (P1 v P2) & (P3 v P2) =
= (P1 v P2) & (P3 & P2) =
= (P1 & P3 & P2) v (P2 & P3 & P2) =
=0
= (P1 & P3 & P2)

65. Пример 3
Требуется упростить: А & B v A & B
По закону дистрибутивности вынесем А за
скобки:
А & B v A & B = А & (B v B) = А & 1 = A

66. Пример 4
Требуется упростить: (А v B) & (A v B)
Способ 1. Применим закон дистрибутивности:
(А v B) & (A v B) = А v (B & B) = А v 0 = A
Способ 2. Перемножим скобки на основании того
же закона дистрибутивности:
(А v B) & (A v B) = А & А v А & B v B & А v B & B
= А v А & (B v B) v 0 = А v A & 1 = А v А = A

67. Пример 5
Требуется упростить: X v X & Y
Представим Х как Х & 1, а 1 распишем по закону исключения
третьего как Y v Y, далее раскроем скобки:
X v X & Y = X & 1 v X & Y = X & (Y v Y) v X & Y= X & Y v
v X & Y v X & Y.
Закон имподентности позволяет добавить в выражение любое
из имеющихся в нем слагаемых. Добавим к полученному
выражению X & Y и сгруппируем слагаемые:
X&Yv X&YvX&Y=X&YvX&YvX&YvX&Y=
= (X & Y v X & Y) v (X & Y v X & Y) = X & (Y v Y) v Y &
& (X v X) = X & 1 v Y & 1 = X v Y.

68. Пример 6
Требуется упростить: А & C v B & C v А & B
Добавим к последнему слагаемому С. Это делается
стандартным способом: умножим А & B на 1, а 1 распишем как
С v С:
A& C v B & C vA& B =A& C v B & C vA& B & 1 =A& C v
v B & C v А & B & (C v C) = A & C v B & C v A & B & C v A &
&B &C =A& C vA&B &C v B &C vA&B &C = =
A & C & (1 v B) v B & C & (1 v А) = A & C v B & C

69. Пример 7
Требуется упростить: X v Y
Применим закон де Моргана:
X v Y=X& Y=X&Y

70. Пример 8
Требуется упростить: X & Y v X & Y v X & Z
В данном случае воспользуемся законом двойного отрицания:
X&YvX& YvX&Z=X&YvX& YvX&Z=
{раскроем одно отрицание}= (X & Y) & (X & Y) & (X & Z) =
= (X v Y) & (X v Y) & (X v Z) = {перемножим первую и вторую
скобки, упростим, а третью скобку оставим без
изменения}= (X & X v X & Y v X & Y v Y & Y) & (X v Z) =
= (X & Y v X & Y) & (X v Z) = {перемножим скобки,
упростим}= X & X & Y v X & Y & Z v X & Y v X & Y & Z =
= X & Y & Z v X & Y = {применим закон де Моргана}= =
X & Y & Z & (X v Y) = (X v Y v Z) & (X v Y)

71. Физкульминутка
Упражнение 1.
Поднять глаза вверх, при этом голова остается в одном
положении, задержать взгляд на 2-3 секунды, затем опустить глаза
вниз и задержать взгляд на 2-3 секунды повторить упражнение 10
раз.
Упражнение 2.
Посмотреть вправо (не поворачивая головы), как можно
дальше, задержать взгляд на 2-3 секунды, затем посмотреть
влево, как можно дальше (при этом голова остается в том же
положении) "и задержать взгляд на 2-3 секунды, повторить
упражнение 10 раз.
Упражнение 3.
Вращать глаза по часовой стрелке -10 раз, затем в обратную
сторону - 10 раз.