Логика Наука, изучающая законы и формы мышления. - презентация

1

2 Логика Наука, изучающая законы и формы мышления.

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

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

5 Умозаключение Это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение.

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

7 История развития логики. Основоположником является Аристотель.Впервые высказал идею о том, что можно перевести формальную логику на математический аппарат Готфрид Вильгельм Лейбниц.Осуществил эту идею Джордж Буль.

8 Логика Формальная. Суть заключается в словесных утверждениях и высказываниях. Математическая. Суждения в математической логике называются высказываниями.

9

10 Алгебра высказываний В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина»(1) и «ложь»(0).

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

12 Таблица истинности Это специальная таблица, в которой собраны воедино все возможные комбинации значений входных переменных и значения функции, получаемые при этих значениях переменных.

13 Таблица истинности логического умножения АВF=А&В

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

15 Таблица истинности логического сложения АВ F=A B

16 Логическое отрицание (инверсия) Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным.

17 Таблица истинности логического отрицания АF=Ā 01 10

18 Логическое следование (импликация) А В F= Ā B Соответствует высказыванию: «если А…, то В…»

19 Логическое следование (импликация) Составное высказывание, образованное с помощью операции логического следования, ложно тогда и только тогда, когда первое высказывание истинно, а второе ложно.

20 Таблица истинности функции импликации АВĀF

21 Логическое равенство (эквивалентность) А В F= A B Ā В Соответствует высказыванию «…тогда и только тогда, когда…»

22 Логическое равенство (эквивалентность) Составное высказывание, образованное с помощью операции эквивалентности истинно, тогда и только тогда, когда оба высказывания либо ложны, либо истинны.

23 Таблица истинности функции эквивалентности АВF

24 Отрицание от конъюнкции F= A B Функция Шеффера или штрих Шеффера ложно тогда, когда обе логические переменные истинны.

25 Таблица истинности функции Шеффера АВF

26 Отрицание от дизъюнкции F=А В Стрелка Пирса истинно тогда, когда оба логических высказывания ложны.

27 Таблица истинности функции стрелка Пирса АВF

28 Отрицание равнозначности (эквивалентности) F= Ā B A B Эту функцию ещё называют функцией сложения по модулю 2

29 Таблица истинности функции отрицание равнозначности АВF

30 Равносильные логические функции Функция, у которых совпадают таблицы истинности, т.е. на всех наборах значения входных переменных они принимают одинаковое значение.

31 Функции Тождественно истинные. Логические функции истинные на всех наборах значений входных переменных. (F= А 1=1) Тождественно ложные. Логические функции ложные на всех наборах значений входных переменных (F= А 0=0)

32 Свойства, позволяющие упростить логические выражения. Конъюнкция ДизъюнкцияИнверсия Ā А=0Ā А=1 А А=А А=А А 1=АА 1=1 А 0=0А 0=А А=А

33 Законы логики Переместительный закон A B = В А Сочетательный закон A B С = А (В С) (A B) С = А (В С) Распределительный закон (A B) С = (A С) (В С) Законы Инверсии (формулы де Моргана) A B = А В

34 Формулы склеивания (A B) (А В) =А

35 Формулы свертки А (Ā В)=А+В А (Ā В)=АВ

36 СДНФ АВFАВF 001-Ā В А В F= А В Ā В

37 СКНФ АВFАВF А В Ā В F= (А В) (Ā В)

38 Минимизация функций методом Квайна-Мак Класски Пример: F= Ā В Группа Конъюнкция гр.01 2 гр.11