Основы математической логики

Сентябрь 12, 2022

Главная
Математика
Основы математической логики

Содержание

2. План: Вопрос 1. Основные категории математической логики. Вопрос 2. Алгебра высказываний. Вопрос 3. Логические операции (действия
3. Вопрос 1. Основные категории математической логики
4. Понятие «логика» Логика – это наука о формах, приемах и законах мышления. Мышление, или рациональное (по
5. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить
6. Понятие Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет две стороны: содержание
7. Высказывание Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов
8. Умозаключение Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может
9. Вопрос 2. Алгебра высказываний
10. Алгебра высказываний была разработана для того, чтобы можно было определить истинность или ложность составленных высказываний, не
11. В алгебре высказываний над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные
12. Вопрос 3. Логические операции (действия над высказываниями)
13. Существует три базовых логических операции: Логическое отрицание или инверсия; конъюнкция или логическое умножение высказываний; дизъюнкция или
14. Логическое отрицание или инверсия Данной операции соответствует логическая связка НЕ и символ ¬ Отрицанием высказывания а
15. Конъюнкция или логическое умножение высказываний Данной операции соответствует логическая связка «И» и символ & либо ^.
16. Дизъюнкция или логическое сложение высказываний Этой операции соответствует логическая связка «ИЛИ» и символ v. Дизъюнкцией высказываний
17. Вопрос 4. Логические выражения и таблицы истинности
18. Импликация и логическое следствие Импликацией высказываний a (посылка) и b (следствие) называют высказывание a → b,
19. Эквиваленция Эквиваленция обозначается значком ↔ и читается «тогда и только тогда» Эквиваленцией высказываний a и b
20. Логические выражения Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические
21. Пример (2*2=5 или 2*2 = 4) и (2*2≠ 5 или 2*2 ≠4) Они содержат два простых
22. Таблицы истинности
23. Таблицы истинности
24. Таблицы истинности
25. Вопрос 5. Логические законы и правила преобразования логических выражений
26. Закон тождества. Всякое высказывание тождественно самому себе: А = А Закон непротиворечия. Высказывание не может быть
27. Законы де Моргана. Закон коммуникативности. В алгебре высказываний можно менять местами логические переменные при операциях логического
28. Закон дистрибутивности. В алгебре высказываний можно выносить за скобки как общие множители, так и общие слагаемые:
30. Скачать презентацию

Слайд 2

План:
Вопрос 1. Основные категории математической логики.
Вопрос 2. Алгебра высказываний.
Вопрос 3. Логические

операции (действия над высказываниями).
Вопрос 4. Логические выражения и таблицы истинности.
Вопрос 5. Логические законы и правила преобразования логических выражений.

Слайд 3

Вопрос 1. Основные категории математической логики

Слайд 4

Понятие «логика»
Логика – это наука о формах, приемах и законах мышления.
Мышление,

или рациональное (по средством разума, а не чувств) отражение действительности, по своей природе есть процесс, связанный с абстрагированием.
Мышление всегда происходит посредством языка, а слова языка суть абстракции.
Мышление имеет содержание и формы:
Основной характеристикой содержания мышления является истинность мысли, или адекватность мысли отражаемому предмету.
Формы мышления – это способы, в которых осуществляется отражение.

Слайд 5

Законы логики отражают в сознании человека свойства, связи и отношения объектов

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

Понятие «логика»

Слайд 6

Понятие
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.
Понятие имеет

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

Слайд 7

Высказывание
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается

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

Слайд 8

Умозаключение
Умозаключение – это форма мышления, с помощью которой из одного или

нескольких суждений (посылок) может быть получено новое суждение (заключение).
Умозаключения позволяют на основе известных фактов, выраженных в форме суждений (высказываний), получать заключение, т.е. новое знание.
Примером умозаключений могут быть геометрические доказательство.
Например: исходя из суждения «Все углы треугольника равны», путем умозаключения можем доказать, что треугольник равносторонний.

Слайд 9

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

Слайд 10

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

или ложность составленных высказываний, не вникая в их содержание.
В алгебре высказываний суждений ставятся в соответствие логические переменные, обозначаемые буквами латинского алфавита.
Истинное высказывание обозначается 1
Ложное высказывание обозначается 0

Слайд 11

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

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

Слайд 12

Вопрос 3. Логические операции (действия над высказываниями)

Слайд 13

Существует три базовых логических операции:
Логическое отрицание или инверсия;
конъюнкция или логическое умножение

высказываний;
дизъюнкция или логическое сложение высказываний.

Слайд 14

Логическое отрицание или инверсия
Данной операции соответствует логическая связка НЕ и символ

¬
Отрицанием высказывания а называется высказывание ¬а («не а»), которое ложно, если истинно, и истинно – если ложно:

Слайд 15

Конъюнкция или логическое умножение высказываний
Данной операции соответствует логическая связка «И» и

символ & либо ^.
Конъюнкцией высказываний а и b называют высказывание a & b, которое истинно в том и только том случае, когда истинны оба высказывания a и b:

Слайд 16

Дизъюнкция или логическое сложение высказываний
Этой операции соответствует логическая связка «ИЛИ» и

символ v.
Дизъюнкцией высказываний a и b называют высказывание a v b, которое ложно в том и только в том случае, когда ложны оба высказывания a и b:

Слайд 17

Вопрос 4. Логические выражения и таблицы истинности

Слайд 18

Импликация и логическое следствие
Импликацией высказываний a (посылка) и b (следствие) называют

высказывание a → b, которое ложно в единственном случае – когда a истинно, а b – ложно:
из истины может следовать только истина и не может следовать ложь!

Слайд 19

Эквиваленция
Эквиваленция обозначается значком ↔ и читается «тогда и только тогда»
Эквиваленцией высказываний

a и b называют высказывание a ↔ b , которое истинно в том и только том случае, когда высказывания a и b истинны или ложны одновременно:

Слайд 20

Логические выражения
Каждое составное высказывание можно выразить в виде формулы (логического выражения),

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

Слайд 21

Пример
(22=5 или 22 = 4) и (22≠ 5 или 22 ≠4)
Они

содержат два простых высказывания:
А= 2*2=5 – ложно (0)
В = 2*2=4 – истинно (1)
Тогда составное высказывание можно записать в следующей форме:
(А или В) и (¬А или ¬В)
Теперь необходимо записать высказывание в форме логического выражения с учетом последовательности выполнения логических операций: инверсия, конъюнкция, дизъюнкция.
F=(A v B) & (¬A v ¬B)
F=(A v B) & (¬A v ¬B) = (0 V1) & (1 v 0) = 1 & 1= 1

Слайд 22

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

Слайд 23

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

Слайд 24

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

Слайд 25

Вопрос 5. Логические законы и правила преобразования логических выражений

Слайд 26

Закон тождества. Всякое высказывание тождественно самому себе: А = А
Закон непротиворечия.

Высказывание не может быть одновременно истинным и ложным. Если высказывание А истинно, то его отрицание не А должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно:
Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означает, что результат логического сложения высказывания и его отрицание всегда принимает значение «истина»:
Закон двойного отрицания. Если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание:

Слайд 27

Законы де Моргана.
Закон коммуникативности. В алгебре высказываний можно менять местами

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

Слайд 28

Закон дистрибутивности. В алгебре высказываний можно выносить за скобки как общие

множители, так и общие слагаемые:

Основы математической логики

Содержание

План:Вопрос 1. Основные категории математической логики.Вопрос 2. Алгебра высказываний.Вопрос 3. Логические

Вопрос 1. Основные категории математической логики

Понятие «логика»Логика – это наука о формах, приемах и законах мышления.Мышление,

Законы логики отражают в сознании человека свойства, связи и отношения объектов

ПонятиеПонятие – это форма мышления, фиксирующая основные, существенные признаки объекта.Понятие имеет

ВысказываниеВысказывание – это форма мышления, в которой что-либо утверждается или отрицается

УмозаключениеУмозаключение – это форма мышления, с помощью которой из одного или

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

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

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

Вопрос 3. Логические операции (действия над высказываниями)

Существует три базовых логических операции:Логическое отрицание или инверсия;конъюнкция или логическое умножение

Логическое отрицание или инверсияДанной операции соответствует логическая связка НЕ и символ

Конъюнкция или логическое умножение высказыванийДанной операции соответствует логическая связка «И» и

Дизъюнкция или логическое сложение высказыванийЭтой операции соответствует логическая связка «ИЛИ» и

Вопрос 4. Логические выражения и таблицы истинности

Импликация и логическое следствиеИмпликацией высказываний a (посылка) и b (следствие) называют

ЭквиваленцияЭквиваленция обозначается значком ↔ и читается «тогда и только тогда»Эквиваленцией высказываний

Логические выраженияКаждое составное высказывание можно выразить в виде формулы (логического выражения),

Пример(2*2=5 или 2*2 = 4) и (2*2≠ 5 или 2*2 ≠4)Они

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

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

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

Вопрос 5. Логические законы и правила преобразования логических выражений

Закон тождества. Всякое высказывание тождественно самому себе: А = АЗакон непротиворечия.

Законы де Моргана. Закон коммуникативности. В алгебре высказываний можно менять местами

Закон дистрибутивности. В алгебре высказываний можно выносить за скобки как общие

Похожие презентации

План:
Вопрос 1. Основные категории математической логики.
Вопрос 2. Алгебра высказываний.
Вопрос 3. Логические

Понятие «логика»
Логика – это наука о формах, приемах и законах мышления.
Мышление,

Понятие
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.
Понятие имеет

Высказывание
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается

Умозаключение
Умозаключение – это форма мышления, с помощью которой из одного или

Существует три базовых логических операции:
Логическое отрицание или инверсия;
конъюнкция или логическое умножение

Логическое отрицание или инверсия
Данной операции соответствует логическая связка НЕ и символ

Конъюнкция или логическое умножение высказываний
Данной операции соответствует логическая связка «И» и

Дизъюнкция или логическое сложение высказываний
Этой операции соответствует логическая связка «ИЛИ» и

Импликация и логическое следствие
Импликацией высказываний a (посылка) и b (следствие) называют

Эквиваленция
Эквиваленция обозначается значком ↔ и читается «тогда и только тогда»
Эквиваленцией высказываний

Логические выражения
Каждое составное высказывание можно выразить в виде формулы (логического выражения),

Пример
(22=5 или 22 = 4) и (22≠ 5 или 22 ≠4)
Они

Закон тождества. Всякое высказывание тождественно самому себе: А = А
Закон непротиворечия.

Законы де Моргана.
Закон коммуникативности. В алгебре высказываний можно менять местами