Логика
<<  Элементы логики Основные понятия логики  >>
Основные понятия логики
Основные понятия логики
Основные понятия логики
Основные понятия логики
Логика древняя наука
Логика древняя наука
Логика древняя наука
Логика древняя наука
Claude Elwood Shannon (1916 - 2001)
Claude Elwood Shannon (1916 - 2001)
Claude Elwood Shannon (1916 - 2001)
Claude Elwood Shannon (1916 - 2001)
Понятие
Понятие
Содержание понятия
Содержание понятия
Множество букв русского алфавита Множество натуральных чисел Множество
Множество букв русского алфавита Множество натуральных чисел Множество
Множество букв русского алфавита Множество натуральных чисел Множество
Множество букв русского алфавита Множество натуральных чисел Множество
Множество букв русского алфавита Множество натуральных чисел Множество
Множество букв русского алфавита Множество натуральных чисел Множество
Как образуются понятия
Как образуются понятия
Умозаключение
Умозаключение
Учащиеся выполняют самостоятельно задание – ключ
Учащиеся выполняют самостоятельно задание – ключ
Закрепления изученного материала а) Устные упражнения: Запишите на
Закрепления изученного материала а) Устные упражнения: Запишите на
Картинки из презентации «Основные понятия логики» к уроку алгебры на тему «Логика»

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

Основные понятия логики

содержание презентации «Основные понятия логики.ppt»
Сл Текст Сл Текст
1Основные понятия логики. Логика — 9них переменных. Пример высказываний:
наука о фoрмах мышления. "5 + 7 = 12", "4 - четное
2Логика древняя наука. Еще живший в 384 число", пример предикатов: "х +
- 322 г.г. до нашей эры древнегреческий у > 0", "N - число
ученый и философ Аристотель (???????????) нечетное".
пытался найти ответ на вопрос “Как мы 10Являются ли высказываниями следующие
рассуждаем”, изучал правила мышления. Он примеры: Какого цвета твой автомобиль?
впервые дал систематическое изложение Число Х больше пяти? Посмотрите в окно.
логики, подверг анализу человеческое Пейте томатный сок! Вы были в театре?
мышление, его формы – понятие, суждение, Высказывание может быть либо истинным,
умозаключение. Так возникла формальная либо ложным, и не может быть одновременно
логика. Немецкий ученый и философ Готфрид и истинным и ложным. Высказывание может
- Вильгельм Лейбниц (Gottfried Wilhelm von быть простым или составным (сложным). Об
Leibniz) (1646-1716) начал развивать идею истинности сложных высказываний говорить
формализации логики, размышляя о ее можно только тогда, когда мы будем знать
переводе "из словесного царства, как "работают" связи между
полного неопределенностей, в царство простыми высказываниями, которые являются
математики, где отношения между объектами их составляющими. А вот значения
или высказываниями определяются совершенно истинности каждого простого высказывания,
точно". Лейбниц мечтал создать особый сможем определить. Высказывания могут быть
язык для выражения мыслей в чистом виде - постоянными и переменными. Если значение
lingua mentalis, с помощью которого можно истинности высказывания не изменяется ни
было бы математически строго выразить при каких условиях, говорят, что его
любую мысль. При этом он уделял особое значение истинности постоянно. (Пример:
внимание двоичной системе счисления, "Москва - столица России" -
считая ее основой основ для любого счета. постоянно и истинно, "Сегодня - пятое
3Claude Elwood Shannon (1916 - 2001). число месяца" - переменно, истинно
Является основателем теории информации, только по пятым числам каждого месяца). В
нашедшей применение в современных общем случае, произвольное высказывание
высокотехнологических системах связи. считается переменным, но в любом случае
Шеннон внес огромный вклад в теорию может принимать только одно из двух
вероятностных схем, теорию автоматов и возможных значений - истина или ложь.
теорию систем управления — области наук, 11Умозаключение. Умозаключение – это
входящие в понятие кибернетика. Буль форма мышления, с помощью которой из
(Boole) Джордж (1815 — 1864) английский одного или нескольких суждений может быть
математик и логик. Не имея специального получено новое суждение. Посылками
математического образования, в 1849 стал умозаключения по правилам формальной
профессором математики в Куинс-колледже в логики могут быть только истинные
Корке (Ирландия), где преподавал до конца суждения. Тогда, если умозаключение
жизни. Д. Буля почти в равной мере проводится в соответствии с правилами
интересовали логика, математический формальной логики, то оно будет истинным.
анализ, теория вероятностей, этика Б. В противном случае можно прийти к ложному
Спинозы, философские работы Аристотеля и умозаключению. Например: Все девочки 5
Цицерона. класса - отличницы. Настя - ученица 5
4Логика - наука о формах и способах класса. Значит Настя - отличница. Примеры
мышления. Логика позволяет строить форм получения умозаключений (представлено
формальные модели окружающего мира, диаграммами Эйлера - Венна): Если все А
отвлекаясь от содержательной стороны. являются В, а все В являются С, то все А
5Понятие. Понятие – это форма мышления, являются С Если ни одно А не является В, а
выделяющая существенные признаки предмета все С являются А, то ни одно С не
или класса предметов, позволяющих отличить является. Дополнительный материал: Круги
их от других. Понятие выражается одним или Эйлера.
несколькими словами. Например: 12Ресурс в сети Интернет. Сложные
треугольник, компьютер, персональный высказывания образуются из простых с
компьютер, стол, дом и т.п. Понятие имеет помощью логических операций: инверсии,
две стороны: содержание и объем. конъюнкции, дизъюнкции. (Фронтальная
Содержание понятия - совокупность работа с учебником, заполнение таблицы по
существенных признаков, отраженных в этом группам) Учебник стр.150-154. Проверка на
понятии. Объем понятия - множество доске. А. В. А или B. A и B. Не А. 0. 0.
предметов, каждому из которых принадлежат 0. 0. 1. 0. 1. 1. 0. 1. 1. 0. 1. 0. 0. 1.
признаки, составляющие содержание понятий. 1. 1. 1. 0. Вывод: Составное высказывание,
Например: содержание понятия ГОРОД - это образованное в результате логического
территория, где компактно проживает сложения (дизъюнкции) , истинно тогда т
определенное количество людей, это только тогда, когда истинно хотя бы одно
образование имеет имя и органы управления. из входящих в него простых высказываний.
Объем понятия ГОРОД - это множество Составное высказывание, образованное в
городов с определенными именами: Москва, результате логического
Киев, Берлин, Стамбул и т.д. Приведите умножения(конъюнкции) , истинно тогда т
примеры: только тогда, когда истинны входящие в
6Содержание понятия. него простые высказывания. Логическое
7Множество букв русского алфавита отрицание (инверсия) получает из истинного
Множество натуральных чисел Множество высказывания ложное и, наоборот.
знаков Продолжите: Объем понятия. 13Учащиеся выполняют самостоятельно
8Как образуются понятия. Анализ задание – ключ. Ответьте на поставленные
Мысленное разделение объекта на части или вопросы и из каждого слова-ответа возьмите
выделение признаков объекта Синтез указанные мною буквы, из них составьте
Мысленное соединение в целое частей слово-ключ. 1) … выделяет существенные
объекта или его признаков Сравнение признаки объекта, которые отличают его от
Мысленное установления сходства или других объектов. (Из ответа возьмите
различия объектов Абстрагирование первую букву) 2) Высказывание, которое не
Мысленное выделение одних признаков и соответствует реальной действительности
отвлечение от других Обобщение Мысленное (Из ответа возьмите первую букву) 3) К
объединение однородных объектов в какой форме мышления относится
некоторый класс. Анализ, синтез, предложение: «Если соблюдать ТБ при работе
сравнение, абстрагирование и обобщение с дисками, то они прослужат более ста лет»
являются основными логическими приемами (Из ответа возьмите пятую букву) 4)
формирования понятий. Понятие формируется Инверсия – это логическое … ((Из ответа
на основе обобщения существенных признаков возьмите вторую букву) 5) Как еще
(свойств, отношений), присущих классу называется простое высказывание? (Из
однородных объектов. ответа возьмите пятую букву) Ответы: 1)
9Высказывание. Высказывание (суждение, понятие, 2) ложное, 3) умозаключение, 4)
утверждение) – это форма мышления, в отрицание, 5) атомарное. КЛЮЧ– ПЛАТА.
которой что-либо утверждается или 14Давайте обсудим. Что необходимо
отрицается о свойствах реальных предметов провести для выделения отдельных признаков
и отношениях между ними. (Работа с объекта? Какой логический прием
учебником стр. 147-148) Высказывание может формирования понятий позволяет выделить
быть только повествовательным существенные признаки объекта и отвлечься
предложением. Примеры высказываний: от несущественных? Какое из понятий
Декабрь - первый зимний месяц. Начало «последовательность» и «множество»
весны всегда сопровождается половодьем аналогично понятию «класс»? Приведите
рек. Сегодня пятое число месяца. примеры классов. Что является основными
Высказывания могут выражаться с помощью логическими приемами формирования понятия?
математических, физических, химических и 15Закрепления изученного материала а)
прочих знаков (H2O+SO2=H2SO4). Из двух Устные упражнения: Запишите на языке
числовых выражений можно составить алгебры логики: «Этот день солнечный и
высказывание, соединив их знаком равенства теплый», «Информацию с одного компьютера
или неравенства. Однако, сами числовые на другой можно переносить диском или
выражения высказываниями не являются. Не флешкой» б) Определите истинность
являются высказываниями и равенства или (ложность) высказываний: «7*8=48 или Земля
неравенства, содержащие переменные. – планета» «Существительное – часть речи и
Например, предложение «Х < 12» всегда является подлежащим» в)
становится высказыванием при замене Самостоятельная работа в тетради Учебник
переменной каким-либо конкретным стр.150 № 3.1, 3.3.2, 3.3 Домашнее
значением. Предложения типа «Х < 12» задание: пп. 3.1-3.2.1, выучить
называют предикатами. Предикаты - это определения, обозначения и таблицы
утверждения о переменных, истинность истинности логических операций .
предикатов зависит от значений входящих в
Основные понятия логики.ppt
http://900igr.net/kartinka/algebra/osnovnye-ponjatija-logiki-71049.html
cсылка на страницу

Основные понятия логики

другие презентации на тему «Основные понятия логики»

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

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

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

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

«Логика высказываний» - Например: Х=Число 12 кратно 3. Р=Город Париж-столица Франции. Определите значение высказывания (истина или ложь): 1)Без труда не выловишь и рыбку из пруда. 2)Как хорошо быть генералом! 3)Революция может быть мирной и немирной. Данная фраза является парадоксаль-ным утверждением. Будем обозначать высказывания прописными буквами.

«Законы логики» - Один из основателей формальной алгебры. Домашняя работа. Профессор математики в университетском колледже в Лондоне. Дана следующая логическая схема. Получим: (AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C. Воспользуемся распределительным законом: Х ? ( Y V Z ) = X ? Y V X ? Z (или вынесем общий множитель за скобку).

Логика

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

Алгебра

35 тем
Картинки
900igr.net > Презентации по алгебре > Логика > Основные понятия логики