Формы мышления

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