Основы логики Введение

Слайд #1

Основы логики Введение Автор: Сергеев Евгений Викторович МОУ СОШ №4 г. Миньяра Челябинской области [email protected] http://shk4-minyar.ucoz.ru

Слайд #2

Логика Логика – наука о формах мышления, учение о способах рассуждений и доказательств. Логика позволяет строить абстрактные модели реальных объектов, не отвлекаясь на их содержание

Слайд #3

Логика, как наука Первые учения о способах и формах мышления, рассуждений и доказательств зародились на Древнем Востоке (Индия и Китай). Основоположник современной формальной логики – Аристотель, т.к. он впервые отделил форму мышления от его содержания.

Слайд #4

Формы мышления Мышление осуществляется через понятия, высказывания (суждения, утверждения) и умозаключения.

Слайд #5

Понятие Понятие – форма мышления, фиксирующая основные существенные признаки объекта. Имеет две стороны: содержание и объем

Слайд #6

Содержание и объем понятия Содержание понятия составляет совокупность существенных признаков объекта. Для раскрытия содержания понятия необходимо и достаточно перечислить все качества объекта, по которым его можно однозначно идентифицировать Объем понятия – количество объектов, на которое распространяются указанные свойства

Слайд #7

Пример Содержание понятия компьютер: Устройство для автоматизированной обработки информации Построено на основе микропроцессора Имеет устройства ввода/вывода Объем понятия компьютер – миллиарды единиц компьютерной техники по всему миру

Слайд #8

Высказывание Форма мышления, выражающая формулировку своего понимания мира, в котором либо что-то утверждается, либо отрицается. Строится на основе понятий и выражается только повествовательным предложением.

Слайд #9

Высказывание может быть либо истинным, либо ложным Если связь понятий, на которых построено высказывание, правильно отражают свойства и отношения реальных вещей, то такое высказывание истинно Высказывание, противоречащее реальной действительности – ложное

Слайд #10

Пример Высказывание: «Буква «А» – гласная» истинно Высказывание: «Компьютер был изобретен в середине XIX века» ложно

Слайд #11

Сложные высказывания Простые высказывания могут быть объединены в сложные с помощью союзов «и» или «или», с помощью частицы «не» и др.

Слайд #12

Истинность высказываний Простых: в результате соглашений на основе здравого смысла Сложных: в результате вычислений по формулам алгебры высказываний

Слайд #13

Упражнение Какой длины эта лента? Прослушайте сообщение! Делайте утреннюю зарядку! Назовите устройства ввода/вывода информации. Кто отсутствует? Париж – столица Англии Число 11 является простым 4 + 5 = 10 Без труда не вытащишь и рыбку из пруда Некоторые медведи живут на севере Все медведи – бурые Чему равно расстояние от Москвы до Питера?

Слайд #14

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

Слайд #15

Пример Дано высказывание: «Все углы равнобедренного треугольника равны» Получить высказывание «Этот треугольник – равносторонний» путем умозаключений

Слайд #16

Решение Если все углы равны, то в качестве основания можно выбрать любую сторону Пусть основание – сторона с Тогда а = b Пусть основание – сторона а Тогда b = c Следовательно a = b = c. Треугольник равносторонний