Глава 3. Основы логики и логические основы компьютера Тема: Формы мышления. - презентация

1 Глава 3. Основы логики и логические основы компьютера Тема: Формы мышления

2 Логика- наука о формах и способах мышления Формы мышления: Понятие Высказывание Умозаключение

3 Понятие- форма мышления, фиксирующая основные, существенные признаки объекта Содержание Объём Совокупность существенных признаков объекта Выражает всю совокупность существующих в мире объектов Структура каждого понятия включает: Равнозначность – объёмы понятий совпадают Пересечение – объёмы понятий частично совпадают Подчинение – объём одного понятия полностью входит в объём другого

4 Диаграммы Эйлера – Венна – для наглядной геометрической иллюстрации объёмов понятий и соотношений между ними. А В С Объём каждого понятия С А Отношения между объёмами F

5 Высказывание – суждение, утверждение (повествовательное предложение) Высказывание- форма мышления, в которой что- либо утверждается или отрицается о свойствах реальных объектов и отношениях между ними. Истинно (1)- И Ложно (0) - Л Логическая форма высказывания S(субъект) – понятие о предмете Р(предикат)- понятие о свойствах и отношениях предмета Термины суждения (высказывания) Связка- отношения между субъектом и предикатом

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

7 Домашнее задание: §§ 3.1, 3.2 – учебник § 3.1- практикум практикум

8 Алгебра высказываний Назначение: определение истинности или ложности составных высказываний, не вникая в их содержание. А, В, С… -имена логических переменных, которым соответствуют простые высказывания

9 Логические операции Конъюнкция (умножение) Дизъюнкция (сложение) Отрицание (инверсия)