Глава 3. Основы логики и логические основы компьютера Тема: Формы мышления Логика- наука о формах и способах мышления Формы мышления: • Понятие • Высказывание • Умозаключение Понятие- форма мышления, фиксирующая основные, существенные признаки объекта Структура каждого понятия включает: Объём Содержание Совокупность существенных признаков объекта Выражает всю совокупность существующих в мире объектов Равнозначность – объёмы понятий Пересечение – совпадают объёмы понятий Подчинение – объём одного понятия полностью входит в объём другого частично совпадают Диаграммы Эйлера – Венна – для наглядной геометрической иллюстрации объёмов понятий и соотношений между ними. А В С F А С Объём каждого понятия Отношения между объёмами Высказывание – суждение, утверждение (повествовательное предложение) Высказывание- форма мышления, в которой чтолибо утверждается или отрицается о свойствах реальных объектов и отношениях между ними. Истинно (1)- И Ложно (0) - Л Логическая форма высказывания S(субъект) – понятие о предмете Р(предикат)- понятие о свойствах и отношениях предмета Термины суждения (высказывания) Связка- отношения между субъектом и предикатом Умозаключение – позволяет на основе известных фактов, выраженных в форме суждений, получать заключение (новое знание) Умозаключение- форма мышления ,с помощью которой из одного или нескольких суждений может быть получено новое суждение Дедуктивные (от общего к частному) Индуктивные (от частного к общему) По аналогии – движение мысли от общности одних свойств и отношений у сравниваемых предметов к общности других свойств и отношений. Доказательство- мыслительный процесс, направленный на подтверждение или опровержение какого- либо положения посредством других, ранее обоснованных доводов. Домашнее задание: §§ 3.1, 3.2 – учебник § 3.1- практикум № 3.1-3.3 -практикум Алгебра высказываний Назначение: определение истинности или ложности составных высказываний, не вникая в их содержание. А, В, С… -имена логических переменных, которым соответствуют простые высказывания Логические операции Конъюнкция (умножение) Дизъюнкция (сложение) Отрицание (инверсия)