Логика – наука о формах мышления, учение о способах рассуждений и доказательств.
Логика позволяет строить абстрактные модели реальных объектов, не отвлекаясь на их содержание
Первые учения о способах и формах мышления, рассуждений и доказательств зародились на Древнем Востоке (Индия и Китай).
Основоположник современной формальной логики – Аристотель, т.к. он впервые отделил форму мышления от его содержания.
Основы логики
Основы логики
Логика – наука о формах
мышления, учение о способах
рассуждений и доказательств.
Логика позволяет строить
абстрактные модели реальных
объектов, не отвлекаясь на их
содержание
Логика
Логика
Первые учения о способах и формах
мышления, рассуждений и
доказательств зародились на
Древнем Востоке (Индия и Китай).
Основоположник современной
формальной логики – Аристотель,
т.к. он впервые отделил форму
мышления от его содержания.
Логика, как наука
Логика, как наука
Мышление осуществляется
через понятия,
высказывания (суждения,
утверждения) и
умозаключения.
Формы мышления
Формы мышления
Понятие – форма мышления,
фиксирующая основные
существенные признаки
объекта.
Имеет две стороны:
содержание и объем
Понятие
Понятие
Содержание понятия составляет
совокупность существенных признаков
объекта.
Для раскрытия содержания понятия
необходимо и достаточно перечислить
все качества объекта, по которым его
можно однозначно идентифицировать
Объем понятия – количество объектов,
на которое распространяются
указанные свойства
Содержание ии объем объем
Содержание
понятия
понятия
обработки информации
Содержание понятия компьютер:
Устройство для автоматизированной
Построено на основе микропроцессора
Имеет устройства ввода/вывода
Объем понятия компьютер – миллиарды
единиц компьютерной техники по всему
миру
Пример
Пример
Форма мышления, выражающая
формулировку своего понимания мира,
в котором либо что-то утверждается,
либо отрицается.
Строится на основе понятий и
выражается только
повествовательным предложением.
Высказывание
Высказывание
Если связь понятий, на которых
построено высказывание, правильно
отражают свойства и отношения
реальных вещей, то такое
высказывание истинно
Высказывание, противоречащее
реальной действительности – ложное
Высказывание может быть
Высказывание может быть
либо истинным, либо
либо истинным, либо
ложным
ложным
Высказывание:
«Буква «А» – гласная»
истинно
Высказывание:
«Компьютер был изобретен в
середине XIX века»
ложно
Пример
Пример
Простые высказывания могут быть
объединены в сложные с помощью
союзов «и» или «или», с помощью
частицы «не» и др.
Сложные высказывания
Сложные высказывания
Простых: в результате соглашений на
основе здравого смысла
Сложных: в результате вычислений по
формулам алгебры высказываний
Истинность высказываний
Истинность высказываний
информации.
1. Какой длины эта лента?
2. Прослушайте сообщение!
3. Делайте утреннюю зарядку!
4. Назовите устройства ввода/вывода
5. Кто отсутствует?
6. Париж – столица Англии
7. Число 11 является простым
8. 4 + 5 = 10
9. Без труда не вытащишь и рыбку из
10.Некоторые медведи живут на севере
11.Все медведи – бурые
12.Чему равно расстояние от Москвы до
Упражнение
Упражнение
пруда
Питера?
Умозаключения – это форма мышления,
с помощью которой из одного или
нескольких высказываний (посылок)
может быть получено новое суждение
(заключение)
Посылками могут быть только
истинные высказывания, иначе
заключение может быть ложным
Умозаключения
Умозаключения
Дано высказывание:
«Все углы равнобедренного
треугольника равны»
Получить высказывание
«Этот треугольник –
равносторонний»
путем умозаключений
Пример
Пример
1.Если все углы равны, то в качестве
основания можно выбрать любую
сторону
2. Пусть основание – сторона с
3. Тогда а = b
4. Пусть основание – сторона а
5. Тогда b = c
6. Следовательно a = b = c. Треугольник
равносторонний
Решение
Решение
Основы логики.ppt
