Основы логики
Алгебра высказываний
Логические переменные
Логические переменные
Составные высказывания
Логические операции
Конъюнкция. Определите истинность логической функции
Запись конъюнкции на формальном языке алгебры высказываний
Значение логической функции определяется по ее таблице истинности
Таблица истинности для конъюнкции
Таблица истинности для конъюнкции
Дизъюнкция. Определите истинность логической функции
Запись дизъюнкции на формальном языке алгебры высказываний
Таблица истинности для дизъюнкции
Таблица истинности для дизъюнкции
Инверсия
Запись инверсии на формальном языке алгебры высказываний
Таблица истинности для инверсии
Таблицы истинности основных логических функций
Дополнительные логические функции
Импликация
Импликация
Таблица истинности для импликации
Эквивалентность
Таблица истинности для эквивалентности
Переместительный
Сочетательный
Распределительный
Правила де Моргана
Идемпотенции
Поглощения
Склеивания
Переменная со своей инверсией
Операция с константами
Двойного отрицания
Порядок действий
672.50K
Категория: ИнформатикаИнформатика

Основы логики. Алгебра высказываний

1. Основы логики

Алгебра высказываний
Автор:
Сергеев
Евгений Викторович
МОУ СОШ №4 г. Миньяра
Челябинской области
[email protected]
http://shk4-minyar.ucoz.ru

2. Алгебра высказываний

Алгебра высказываний была разработана
для того, чтобы определять истинность
или ложность составных высказываний, не
вникая в их содержание

3. Логические переменные

Логические переменные – простые
высказывания, содержащие только одну
мысль.
Обозначаются буквами латинского алфавита:
A, B, C…
Логические переменные могут принимать лишь
два значения: «ИСТИНА» (1) или «ЛОЖЬ» (0)

4. Логические переменные

Например, два простых высказывания:
А = «2 2 = 4»
истина
В = «2 2 = 5» ложь
(1)
(0)
являются логическими переменными А и В

5.

В алгебре высказываний
высказывания обозначаются
именами логических переменных,
которые могут принимать лишь
два значения:
«ИСТИНА» (1) или «ЛОЖЬ» (0)

6.

В алгебре высказываний над
логическими переменными (над
высказываниями) можно
производить определенные
логические операции, в
результате которых получаются
новые высказывания

7. Составные высказывания

Высказывания, состоящие из нескольких
простых суждений и содержащие в себе
более, чем одну простую мысль, называются
логическими функциями
Обозначаются F(A,B,C…)
Также могут принимать значения «ИСТИНА»
или «ЛОЖЬ» в зависимости от того, какие
значения имеют входящие в их состав
логические переменные и от действий над
ними

8. Логические операции

Конъюнкция
(логическое умножение, «И»)
Дизъюнкция
(логическое сложение, «ИЛИ»)
Инверсия
(логическое отрицание, «НЕ»)
Импликация
(логическое следование, «Если А, то В»)
Эквивалентность
(логическое равенство, «А тогда и только тогда, когда В»)

9.

Объединение двух или
нескольких высказываний в
одно с помощью союза «И»
называется операцией
логического умножения, или
конъюнкцией

10.

Логическая функция,
полученная в результате
конъюнкции, истинна тогда и
только тогда, когда истинны
все входящие в него
логические переменные

11. Конъюнкция. Определите истинность логической функции

1)
2)
3)
4)
«2 2 = 5»
«2 2 = 5»
«2 2 = 4»
«2 2 = 4»
И
И
И
И
«3 3 = 10»
«3 3 = 9»
«3 3 = 10»
«3 3 = 9»
Истинна только функция (4)

12. Запись конъюнкции на формальном языке алгебры высказываний

F(A,B) = A & B
или
F(A,B) = A B
Также может встретиться запись, типа:
F(A,B) = A * B
или
F(A,B) = A and B

13. Значение логической функции определяется по ее таблице истинности

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

14. Таблица истинности для конъюнкции

A
B
2 2=5
3 3 = 10
2 2=5
3 3=9
2 2=4
3 3 = 10
2 2=4
3 3=9
A B
ЛОЖЬ
ЛОЖЬ
ЛОЖЬ
ИСТИНА

15. Таблица истинности для конъюнкции

A
0
0
1
1
B
0
1
0
1
A B
0
0
0
1

16.

Объединение двух или
нескольких высказываний в
одно с помощью союза «ИЛИ»
называется операцией
логического сложения, или
дизъюнкцией

17.

Логическая функция,
полученная в результате
дизъюнкции, истинна тогда,
когда истинна хотя бы одна
из входящих в него
логических переменных

18. Дизъюнкция. Определите истинность логической функции

«2 2 = 5»
2) «2 2 = 5»
3) «2 2 = 4»
4) «2 2 = 4»
1)
ИЛИ
ИЛИ
ИЛИ
ИЛИ
«3 3 = 10»
«3 3 = 9»
«3 3 = 10»
«3 3 = 9»
Ложна только функция (1),
остальные истинны

19. Запись дизъюнкции на формальном языке алгебры высказываний

F(A,B) = A B
Также может встретиться запись, типа:
F(A,B) = A + B
или
F(A,B) = A or B

20. Таблица истинности для дизъюнкции

A
B
2 2=5
3 3 = 10
2 2=5
3 3=9
2 2=4
3 3 = 10
2 2=4
3 3=9
A B
ЛОЖЬ
ИСТИНА
ИСТИНА
ИСТИНА

21. Таблица истинности для дизъюнкции

A
0
0
1
1
B
0
1
0
1
A B
0
1
1
1

22.

Присоединение частицы «НЕ»
к высказыванию называется
операцией логического
отрицания, или инверсией

23.

Логическое отрицание
(инверсия) делает истинное
высказывание ложным, а
ложное – истинным
[логическая отрицательная
единица, перевертыш]

24. Инверсия

Пусть
A = «2 2 = 4»
– истинное высказывание, тогда
F(A) = «2 2 ≠ 4»
– ложное высказывание

25. Запись инверсии на формальном языке алгебры высказываний

F(A) = ¬A
или
F(A) = Ā
Также может встретиться запись, типа:
F(A) = not А

26. Таблица истинности для инверсии

А
0
1
¬А
1
0

27. Таблицы истинности основных логических функций

Логическое умножение
Логическое сложение
A
0
0
1
1
B
0
1
0
1
А В
0
1
1
1
A
0
0
1
1
B
0
1
0
1
A B
0
0
0
1
Логическое отрицание
A
0
1
¬A
1
0

28. Дополнительные логические функции

Импликацию и эквивалентность можно выразить через
конъюнкцию, дизъюнкцию и отрицание, поэтому их
называют дополнительными логическими функциями:
Импликация:
А → В = ¬A В или
А В = ¬A В или
А В = ¬A В
Эквивалентность:
А ↔ В = (¬A В) (¬B A) или
А В = (¬A В) (¬B A) или
А ≡ В = (¬A В) (¬B A)

29. Импликация

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

30. Импликация

Импликация ложна
тогда и только тогда, когда
условие истинно,
а следствие ложно
Пример:
Если выучишь материал, то сдашь зачет
Это высказывание ложно только тогда, когда материал
выучен, а зачет не сдан, т.к. сдать зачет можно и
случайно, например если попался единственный знакомый
вопрос или удалось воспользоваться шпаргалкой

31. Таблица истинности для импликации

A
B
A→B
0
0
1
0
1
1
1
0
0
1
1
1

32. Эквивалентность

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

33. Таблица истинности для эквивалентности

A
B
A B
0
0
1
0
1
0
1
0
0
1
1
1

34. Переместительный

Основные
законы алгебры
высказываний
Переместительный
Дизъюнкция:
X Y ≡Y X
Конъюнкция:
X Y ≡Y X

35. Сочетательный

Основные
законы алгебры
высказываний
Сочетательный
Дизъюнкция:
X (Y Z) ≡ (X Y) Z
Конъюнкция:
X (Y Z) ≡ (X Y) Z

36. Распределительный

Основные
законы алгебры
высказываний
Распределительный
Дизъюнкция:
X (Y Z) ≡ X Y X Z
Конъюнкция:
X (Y Z) ≡ (X Y) (X Z)

37. Правила де Моргана

Основные
законы алгебры
высказываний
Правила де Моргана
Дизъюнкция:
¬(X Y) ≡ ¬X ¬Y
Конъюнкция:
¬(X Y) ≡ ¬X ¬Y

38. Идемпотенции

Основные
законы алгебры
высказываний
Идемпотенции
Дизъюнкция:
X X≡X
Конъюнкция:
X X≡X

39. Поглощения

Основные
законы алгебры
высказываний
Поглощения
Дизъюнкция:
X (X Y) ≡ X
Конъюнкция:
X (X Y) ≡ X

40. Склеивания

Основные
законы алгебры
высказываний
Склеивания
Дизъюнкция:
(X Y) (¬X Y) ≡ Y
Конъюнкция:
(X Y) (¬X Y) ≡ Y

41. Переменная со своей инверсией

Основные
законы алгебры
высказываний
Переменная
со своей инверсией
Дизъюнкция:
X ¬X ≡ 1
Конъюнкция:
X ¬X ≡ 0

42. Операция с константами

Основные
законы алгебры
высказываний
Операция с
константами
Дизъюнкция:
X 0 ≡ X,
X 1≡1
Конъюнкция:
X 0 ≡ 0,
X 1≡X

43. Двойного отрицания

Основные
законы алгебры
высказываний
Двойного отрицания
¬(¬X) ≡ X

44. Порядок действий

1.
2.
3.
4.
5.
6.
Действия в скобках
Отрицание
Конъюнкция
Дизъюнкция
Импликация
Эквивалентность
English     Русский Правила