Основатель – Аристотель (384 -322 гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика. - презентация

1

2 Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика

3 Основатель – Лейбниц ( гг ) Предпринял попытку логических вычислений Историческая справка 2 этап – математическая логика

4 Основатель – английский математик Джордж Буль(1815 – 1864) Ввёл алфавит, орфографию и грамматику для математической логики Историческая справка 3 этап – алгебра высказываний

5 Логика –наука о формах и способах мышления ОСНОВЫ ЛОГИКИ

6 Формы мышления Понятие Высказывание Умозаключение

7 Понятие Понятие Понятие - это форма мышления, фиксирующая основные, существенные признаки объекта. Любое понятие состоит из двух составляющих: объем содержание Понятие

8 Понятие Объем понятия Объем понятия - это совокупность (множество) предметов, на которое оно распространяется Содержание понятия- Содержание понятия- это совокупность основных, существенных признаков объекта

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

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

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

12 Простое высказывание содержит одну простую мысль Составные высказывания состоят из простых высказываний и логических операций Высказывание простое составное Высказывание

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

14 Математический аппарат логики: Вместо простых высказываний вводятся логические переменные: А, В, С и т.д. Значения высказываний обозначаются следующим образом: истина- 1 ложь- 0.

15 В алгебре высказываний, как и в обычной алгебре, вводится логические операции: конъюнкция, дизъюнкция и инверсия. Это основные логические операции, при помощи которых можно записать любую логическую функцию. Базовые логические операции

16 Название Обозначение Математическая запись Логическое умножение, конъюнкция и &,,/\ Логическое сложение, дизъюнкция или +,\/ Логическое отрицание, инверсия не Импликация, следование если, то Эквивалентность, равносильность тогда и только тогда Логические операции

17 соответствует союзу И обозначается знаком & или Λ, или · Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны. Конъюнкция

18 Таблица истинности ABА & В Конъюнкция Графическая иллюстрация

19 соответствует союзу ИЛИ обозначается знаком + или V Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны. Дизъюнкция

20 Таблица истинности Дизъюнкция Графическая иллюстрация AB А V В

21 Соответствует частице НЕ обозначается черточкой над именем или знаком ¬ Инверсия логической переменной ложна, когда сама переменная истинна и наоборот, инверсия истинна, когда сама переменная ложны. Инверсия

22 Таблица истинности Инверсия Графическая иллюстрация A 01 10

23 Соответствует союзу «ЕСЛИ…ТО» Обозначается знаком Импликация двух логических переменных истинна всегда, кроме случая, когда первое высказывание истинно, а второе ложно Импликация

24 Таблица истинности Импликация Графическая иллюстрация АВА В А В

25 Соответствует выражению «тогда и только тогда» Обозначается знаком или Эквивалентность двух высказываний истинна только в тех случаях, когда оба высказывания ложны или оба истинны Эквивалентность

26 Таблица истинности Эквивалентность Графическая иллюстрация АВА В

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

28 Закон тождества. Закон непротиворечия. Закон исключенного третьего. Закон двойного отрицания

29 Законы идемпотентности. Законы де Моргана:

30 Свойства констант.

31 Правила коммутативности. Правила ассоциативности.

32 Правило дистрибутивности. Законы поглощения: