Логика
<<  Зарождение научного мышления в древней греции Логика перебора  >>
Из истории возникновения логики
Из истории возникновения логики
Картинки из презентации «Понятие логики» к уроку алгебры на тему «Логика»

Автор: Алферьева. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока алгебры, скачайте бесплатно презентацию «Понятие логики.ppt» со всеми картинками в zip-архиве размером 460 КБ.

Понятие логики

содержание презентации «Понятие логики.ppt»
Сл Текст Сл Текст
1Понятие логики. 10которыми представляется информация в ЭВМ.
2Логика. (от греч. “логос”, означающего 11Логика. Понятия. Суждения.
“слово” и “смысл”) – наука о законах, Умозаключение. Содержание. Объем. Общие.
формах и операциях правильного мышления. Частные. Единичные. Дедукция. Индукция.
Ее основная задача заключается в Аналогия.
нахождении и систематизации правильных 12Понятие. Понятие – это форма мышления,
способов рассуждения. Алгебра логики — это в которой отражаются существенные признаки
раздел математики, изучающий высказывания, отдельного предмета или класса однородных
рассматриваемые со стороны их логических предметов. Всякое понятие имеет содержание
значений (истинности или ложности) и и объем Например, понятие “Красная
логических операций над ними. площадь” – отражает единичный предмет,
3Из истории возникновения логики. “Сиамская кошка” – отражает класс сиамских
Основоположником науки считают кошек. Содержание понятия – совокупность
древнегреческого мыслителя Аристотеля (384 существенных признаков множества,
-322гг. до н. э.). Он пытался найти ответ отраженных в этом понятии. Например,
на вопрос "как мы рассуждаем", понятие “квадрат” – прямоугольник, имеет
изучал правила мышления. Аристотель равные стороны. Объем понятия – множество
впервые дал систематическое изложение предметов, которые мыслятся в понятии.
логики. Он подвергал анализу человеческое Например, под объемом понятия “лев”
мышление, его формы - понятие, суждение, подразумевается множество всех львов,
умозаключение, и рассмотрел со стороны которые существовали, существуют и будут
строения, структуры, то есть с формальной существовать.
стороны. Так возникла формальная логика - 13Суждения (высказывания). Высказывание
наука пытавшаяся найти ответ на вопрос, (суждение) – повествовательное
как мы рассуждаем, изучающая логические предложение, о котором можно сказать
операции и правила мышления. Похазникова истинно оно или ложно. Бывают простые и
Валерия. сложные (объединяют несколько простых).
4Из истории возникновения логики. Рене Высказывания. Высказывания. Высказывания.
Декарт (1596-1650). – Внес большой вклад в Общие. Частные. Единичные. Начинаются со
развитие логики. Он считал, что слов: все, всякий, каждый, ни один, любой…
человеческий разум может постигнуть Начинаются со слов: некоторые,
истину, если будет исходить из достоверных большинство, многие… Например, А – первая
положений, сводить сложные идеи к простым, буква алфавита. Похазникова Валерия.
переходить от известного и доказанного к 14Суждения (высказывания). Высказывание.
неизвестному, избегая каких-либо пропусков Высказывание. Высказывание. Высказывание.
в логических звеньях исследований. Истинное. Ложное. Простое. Составное.
Фактически Декарт рекомендовал науке о Суждение, в котором связь понятий
мышлении - логике - руководствоваться правильно отражает свойства и отношения
общепринятыми в математике принципами. реальных вещей. В том случае, когда связь
5Из истории возникновения логики. понятий не соответствует реальной
Основоположником математической логики действительности. Если никакая его часть
считают великого немецкого математика и сама не является высказыванием.
философа Готфрида Вильгельма Лейбница Высказывание состоящее из простых
(1646-1716). Он попытался построить первые высказываний. Предложения типа "в
логические исчисления: арифметические и городе A более миллиона жителей",
буквенно-алгебраические, что можно "у него голубые глаза" не
заменить простые рассуждения действиями со являются высказываниями, так как для
знаками, и привел соответствующие правила. выяснения их истинности или ложности нужны
Он одним из первых использовал для решения дополнительные сведения: о каком конкретно
задач изображения кругов. городе или человеке идет речь. Такие
6Из истории возникновения логики. Метод предложения называются высказывательными
использования для решения задач формами.
изображения кругов развил швейцарский 15Умозаключение. это форма мышления, с
математик Леонард Эйлер (1707—1783). Он помощью которой из одного или нескольких
долгие годы работал в Петербургской суждений (посылок) может быть получено
Академии наук. К этому времени относятся новое суждение (заключение). Умозаключения
его знаменитые «Письма к немецкой бывают: Дедуктивные (от общего к частному)
принцессе», написанные в период с 1761 по – Все ученики ходят в школу. Коля –
1768 год. В некоторых из этих «Писем...» ученик. Коля ходит в школу. Индуктивные
Эйлер как раз и рассказывает о своем (от частного к общему) – Абрикос и персик
методе. – сладкие. Значит, все фрукты сладкие на
7Из истории возникновения логики. вкус. Аналогия – Наши коровы едят траву и
Графический решения задач метод дают молоко. В Австралии есть поля, коровы
разрабатывал чешский математик Бернард едят эту траву. Следовательно,
Больцано(1781—1848). Только в отличие от австралийские коровы тоже дают молоко.
Эйлера он рисовал не круговые, а 16Обозначения. Логические величины – это
прямоугольные схемы. Методом кругов Эйлера понятия выражаемые словами И или Л.
пользовался и немецкий математик Эрнест Логическая переменная – это символически
Шредер (1841—1902). Этот метод широко выраженная логическая величина. Логическое
используется в его книге «Алгебра логики». выражение – это простое или сложное
Но наибольшего расцвета графические методы высказывание о котором можно сказать И оно
достигли в сочинениях английского логика или Л.
Джона Венна (1843 —1923). С наибольшей 17Какие из предложений являются
полнотой этот метод изложен им в книге высказываниями? Определите их истинность.
«Символическая логика», изданной в Лондоне Число 6 – четное. Посмотрите на доску. Все
в 1881 году. В честь Венна вместо кругов роботы являются машинами. У каждой собаки
Эйлера соответствующие рисунки называют есть хвост. Внимание! Кто отсутствует?
иногда диаграммами Венна; в некоторых Есть кошки, которые дружат с собаками. Не
книгах их называют также диаграммами (или все то золото, что блестит. Х2>=0
кругами) Эйлера-Венна. Некоторые люди являются художниками.
8Из истории возникновения логики. Выразите 1 час 15 минут в минутах. Всякий
Джордж Буль (1815 — 1864 г.) создал моряк умеет плавать. Похазникова Валерия.
алгебру, в которой буквами обозначены 18Какие из предложенных высказываний
высказывания, и это привело к алгебре являются общими? Не всякие книги содержат
высказываний. Сочинение Джорджа Буля, в полезную информацию. Кошка является
котором подробно исследовалась эта домашним животным. Все солдаты храбрые. Ни
алгебра, было опубликовано в 1854 г., то один внимательный человек не совершит
есть почти 150 лет тому назад. Оно оплошность. Некоторые ученики двоечники.
называлось «Исследование законов мысли» Все ананасы приятны на вкус. Мой кот
(«Investigation of the Laws of Thought»). страшный забияка. Любой неразумный человек
Отсюда ясно, что Буль рассматривал свою ходит на руках.
алгебру как инструмент изучения законов 19Какие из приведенных высказываний
человеческого мышления, то есть законов являются частными, единичными? Некоторые
логики. мои друзья собирают марки. Все лекарства
9Из истории возникновения логики. В неприятны на вкус. А – первая буква в
конце XIX века, когда стала ясна алфавите. Некоторые медведи – бурые. Тигр
необходимость обоснования понятий и идей – хищное животное. У некоторых змей нет
самой математики, определилось главное ядовитых зубов. Многие растения обладают
назначение математической логики. Эти целебными свойствами. Все металлы проводят
задачи имели логическую природу и, тепло.
естественно, привели к дальнейшему 20Укажите для нижеприведенных суждений,
развитию математической логики. В этом составные они или простые, истинные или
отношении показательны работы немецкого ложные, общие или частные: Суждение. П /
математика Г. Фрёге (1846-1925 г.) и с. И / л. О / ч. Если две прямые
итальянского математика Д. Пеано (1858 параллельны, то они не пересекаются. Число
-1932 г.), которые применили 222 – непростое. Треугольники с равными
математическую логику для обоснования сторонами не равнобедренны. Все собаки
арифметики и теории множеств. имеют четыре лапы, кошки тоже
10Из истории возникновения логики. Лишь четырехпалые. Собака – это не кошка. Земля
в 1938 году выдающийся американский – плоская. 15+9>19-15. Любой квадрат
математик и инженер Клод Шеннон обнаружил, является ромбом. Любой четырехугольник
что алгебра логики приложима к любым является параллелограммом. Две прямые
переменным, которые могут принимать только перпендикулярны тогда и только тогда,
два значения. Например, к состоянию когда угол между ними равен 90 градусов.
контактов: включено - выключено или Все кролики любят капусту.
напряжению (или току): есть - нет,
Понятие логики.ppt
http://900igr.net/kartinka/algebra/ponjatie-logiki-77434.html
cсылка на страницу

Понятие логики

другие презентации на тему «Понятие логики»

«Логика» - Математическая логика. Такие правила вывода принято называть аксиомами. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Правила вывода подразделяются на два класса. Исчислением называется совокупность правил вывода, позволяющих считать некоторые формулы выводимыми.

«Логика в школе» - Медведева Ольга. Укажите наибольшее возможное значение такой дроби. Условие Представьте следующие рациональные числа в виде десятичных дробей: а)1/7 ; б)2/7. Условие Какая из дробей больше: 29/73 или 291/731? Можно ли так жить? Немного логики.

«Законы алгебры логики» - — Для логического сложения: 8. Закон противоречия. 4. Распределительный (дистрибутивный) закон. 6. Закон идемпотентности. — Для логического сложения. — Для логического сложения: A + (A* B) = A; Докажите справедливость второго закона Моргана , используя таблицы истинности. — для логического сложения: А + B = B + A — для логического умножения: A*B = B*A.

«Логические основы компьютера» - Умозаключение. Дважды два равно пять – естественный язык. Как устроен полноразрядный сумматор? Таблица истинности операции конъюнкция. Высказывание. Диаграмма Эйлера - Венна. Таблица истинности логических функций двух аргументов. Основы логики и логические основы компьютера. Логическое следование. Логическое равенство.

«Законы логики» - Первый президент Лондонского математического общества. Продолжая работы Дж. Буля. Упрощение сложных высказываний. Пикока, Морган в 1841-1847гг. опубликовал ряд работ по основам алгебры. Применим закон двойного отрицания, получим: (A v В) & ¬(¬(В v С)) = (A v В) & (B v С). Родился в Мадуре (Индия).

«Задачи на логику» - Алгоритм. Задача 4 (2009, В-133). Требуется определить, кто есть кто. Задача 2 (2009, В-135). Решение логических задач (Законы математической логики). Выполнила: Н.Н.Севрюкова, учитель информатики с.Богучаны, Красноярского края. Задача 1 (2008). Задача 5 (Демо 2010). Условие задачи: В одном доме живут Воронов, Павлов, Журавлёв и Синицын.

Логика

15 презентаций о логике
Урок

Алгебра

35 тем
Картинки