Логика Скачать
презентацию
<<  Основы логики Жизнь и логика  >>
Логика
Логика
Формы мышления
Формы мышления
Языковым выражением суждений является повествовательное предложение
Языковым выражением суждений является повествовательное предложение
Умозаключение – форма мышления
Умозаключение – форма мышления
Античную логику, созданную Аристотелем, называют формальной логикой
Античную логику, созданную Аристотелем, называют формальной логикой
Алгебра логики (алгебра высказываний) – раздел математической логики
Алгебра логики (алгебра высказываний) – раздел математической логики
Логические операции
Логические операции
Логическое отрицание (инверсия)
Логическое отрицание (инверсия)
Логическое умножение (конъюнкция)
Логическое умножение (конъюнкция)
Логическое умножение (конъюнкция)
Логическое умножение (конъюнкция)
Логическое умножение (конъюнкция)
Логическое умножение (конъюнкция)
Логическое сложение (дизъюнкция)
Логическое сложение (дизъюнкция)
Логическое сложение (дизъюнкция)
Логическое сложение (дизъюнкция)
Логическое сложение (дизъюнкция)
Логическое сложение (дизъюнкция)
Строгая дизъюнкция – исключающее «или»
Строгая дизъюнкция – исключающее «или»
Строгая дизъюнкция – исключающее «или»
Строгая дизъюнкция – исключающее «или»
Строгая дизъюнкция – исключающее «или»
Строгая дизъюнкция – исключающее «или»
Логическое следование (импликация)
Логическое следование (импликация)
Логическое следование (импликация)
Логическое следование (импликация)
Логическое равенство (эквивалентность)
Логическое равенство (эквивалентность)
Логическое равенство (эквивалентность)
Логическое равенство (эквивалентность)
Декарт Рене
Декарт Рене
Логика – наука о выводе одних умозаключений из других
Логика – наука о выводе одних умозаключений из других
Логика – наука о выводе одних умозаключений из других
Логика – наука о выводе одних умозаключений из других
Готфрид Вильгельм Лейбниц
Готфрид Вильгельм Лейбниц
Готфрид Вильгельм Лейбниц
Готфрид Вильгельм Лейбниц
Огастес де Морган
Огастес де Морган
Огастес де Морган
Огастес де Морган
Буль Джордж
Буль Джордж
Буль Джордж
Буль Джордж
Картинки из презентации «Логика как наука» к уроку алгебры на тему «Логика»

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

Скачать презентацию

Логика как наука

содержание презентации «Логика как наука.ppt»
Сл Текст Сл Текст
1Логика. Логика – одна из древнейших наук. Как 11и только тогда, когда только одно из высказываний истинно, ложна
самостоятельная наука логика сложилась в IV в. до н.э. Её – когда оба высказывания ложны или оба высказывания истинны.
основателем считается древнегреческий философ Аристотель. Таблица истинности строгой дизъюнкции. Графическая иллюстрация
Мыслить логично – значит мыслить точно и последовательно, не строгой дизъюнкции.
допускать противоречий в своих рассуждениях, уметь вскрывать 12Логическое следование (импликация). Обозначение импликации:
логические ошибки. Предметом исследования науки логики является А ? В А => В. Логическое следование (импликация) образуется
человеческое мышление. соединением двух высказываний в одно с помощью оборота речи
2Формы мышления. Понятие – форма мышления, в которой «если…, то…». Говорят: если А, то В; А имплицирует В, А влечет
отражаются отличительные существенные признаки предметов. В; В следует из А. Импликация двух высказываний ложна тогда и
Существенными называются такие признаки, каждый из которых, только тогда, когда из истинного высказывания следует ложное. В
взятый отдельно, необходим, а все вместе достаточны, чтобы с их теории множеств соответствующей операции нет. Таблица
помощью отличить предмет или явление от всех остальных. Понятие истинности. Графическая иллюстрация. В. А.
имеет две основные логические характеристики: содержание 13Логическое равенство (эквивалентность). Логическое равенство
(совокупность существенных признаков, отраженных в этом понятии) (эквивалентность) образуется соединением двух высказываний в
и объем (множество предметов, каждому из которых принадлежат одно с помощью оборота речи «…тогда и только тогда, когда…».
признаки, составляющие содержание понятие). Обозначение : А ~ В А <=> В А ? В А <-> В. Говорят:
3Формы мышления. Языковым выражением суждений является если А, то В; А имплицирует В, А влечет В; В следует из А.
повествовательное предложение. Суждения бывают простыми и Эквивалентность двух высказываний истинна тогда и только тогда,
сложными (составленное из одного или нескольких простых (или когда оба высказывания истинны или ложны. В теории множеств
сложных) логических выражений, связанных с помощью логических соответствует операция эквивалентность множеств. Таблица
операций). Суждение (высказывание, утверждение) – форма истинности. Графическая иллюстрация.
мышления, в которой что-либо утверждается или отрицается о 14Декарт Рене (1596-1650, фр. Философ, математик) -
предметах, их свойствах или отношениях между ними. Всякое РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ МАТЕМАТИЧЕСКИЕ МЕТОДЫ.
суждение может быть либо истинным, либо ложным по своему Лейбниц Г.В. (1646-1716, нем. ученый и математик) - ПРЕДЛОЖИЛ
содержанию. Содержание суждения – это то, о чем идет речь, его ИСПОЛЬЗОВАТЬ В ЛОГИКЕ МАТЕМАТИЧЕСКУЮ СИМВОЛИКУ И ВПЕРВЫЕ
смысл. Логическая форма суждения – это его строение, способ ВЫСКАЗАЛ МЫСЛЬ О ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ В НЕЙ ДВОИЧНОЙ СИСТЕМЫ
связи его составных частей. СЧИСЛЕНИЯ. Джордж Буль (1815-1864, анл.) - основоположник мат.
4Формы мышления. Умозаключение – форма мышления, посредством логики. - СОЗДАЛ БУЛЕВУ АЛГЕБРУ - ОДИН ИЗ РАЗДЕЛОВ
которой из одного или нескольких суждений, называемых посылками, МАТЕМАТИЧЕСКОЙ ЛОГИКИ. РАЗРАБОТАЛ СВОЙ АЛФАВИТ, ОРФОГРАИЮ И
мы по определенным правилам вывода получаем суждение-заключение ГРАММАТИКУ. Вклад в становление и развитие математ. Логики:
(вывод умозаключения). Посылками умозаключения могут быть только аугустус де морган (1806 - 1871) уильям стенли джевонс (1835 -
истинные суждения. 1882) платон сергеевич порецкий (1846-1907) чарлз сандерс пирс
5Античную логику, созданную Аристотелем, называют формальной (1839-1914) клод шеннон (1938-2001) - алгебра логики применима
логикой. Это название происходит от основного принципа логики для описания релейно-контактных и электронно-ламповых схем.
как науки, который гласит, что правильность рассуждения 15Логика – наука о выводе одних умозаключений из других,
(умозаключения) определяется только его формой, или структурой, сообразно их логической форме. Аристотель (384-322 гг. до н.э.)
и не зависит от конкретного содержания входящих в него суждений. считается внуком легендарного Эскулапа, врачевателя милостью
6Алгебра логики (алгебра высказываний) – раздел богов, родился в маленьком фракийском городе Стагира. Его отец
математической логики, изучающий строение (форму, структуру) был врачевателем при дворе македонского царя Аминты. Он вылечил
сложных логических высказываний и способы установления их царского сына Филиппа, будущего отца Александра Македонского.
истинности с помощью алгебраических методов. Под высказыванием Аристотель занимался воспитанием наследника престола –
(суждением) понимается повествовательное предложение, тринадцатилетнего Александра. Создал теорию умозаключений и
относительно которого можно сказать, истинно оно или ложно. доказательств. Описал ряд логических операций. Сформулировал
Высказывания обозначаются прописными буквами (A), если основные законы мышления. Пытался соединить логику и математику.
высказывание истинное, то пишут А=1, а говорят А – истинно , Вплотную подошел к теории доказательств.
если высказывание ложное, то пишут А=0, а говорят А - ложно. В 16Готфрид Вильгельм Лейбниц (1 июля 1646 — 14 ноября 1716)
алгебре логики над высказываниями можно производить различные родился в Лейпциге в семье профессора философии и морали
операции. Лейпцигского университета. Он стремился создать символическую
7Логические операции. Логическая операция – способ построения логику для формализации естественного языка и научного мышления
сложного высказывания из данных высказываний, при котором с целью безошибочного получения различных теорем науки. Однако
значение истинности сложного высказывания полностью определяется алгебра логики была им так и не создана. Возможно создать
значениями истинности исходных высказываний. Логическое искусственный язык, который понимался без словаря и был бы
отрицание (инверсия) Логическое умножение (конъюнкция) способен точно и однозначно выражать мысли. Высказал мысль о
Логическое сложение (дизъюнкция) Логическое следование введении в логику математической символики. Придумал выделить
(импликация) Логическое равенство (эквивалентность). простейшие суждения, из которых можно было бы получить все
8Логическое отрицание (инверсия). А. ? 0. 1. 1. 0. Логическое возможные суждения, комбинируя исходные по определенным
отрицание (инверсия) образуется из высказывания с помощью правилам. Ввел в логику двоичную систему счисления.
добавления частиц «не» к сказуемому или использования оборота 17Огастес де Морган (27 июня 1806 — 8 марта 1871) шотландский
речи «неверно, что…». Обозначение: НЕ А ¬ А NOT А ? Таблица математик и логик родился в Индии в семье полковника английских
истинности. Графическая иллюстрация. Мнемоническое правило: войск. Получил высшее образование в Кембриджском университете.
слово «инверсия» (от латинского inversio – переворачивать) Был профессором Лондонского университета. Математику и логику де
означает, что истина меняется на ложь, а ложь меняется на Морган называл очами точного знания и выражал сожаление, что
истину, ноль на единицу, единица на ноль. ? А. математики не более заботятся о логике, чем логики о математике.
9Логическое умножение (конъюнкция). Обозначение: А И В А ^ В Стремился сблизить две эти науки, и его главной заслугой явилось
А & В А . В А AND В. Логическое умножение (конъюнкция) построение логики по образцу математики. основные труды по
образуется соединением двух высказываний в одно с помощью союза математической логике и теории рядов; к своим идеям в алгебре
«и». Таблица истинности. Графическая иллюстрация. Мнемоническое логики пришел независимо от Дж.Буля; Изложил элементы логики
правило: конъюнкция – это логическое умножение. Истинна тогда и высказываний и логики классов, дал первую развитую систему
только тогда когда высказывания истинны, ложна – когда хотя бы алгебры отношений; с его именем связаны известные
одно из высказываний ложно. В теории множеств соответствует теоретико-множественные соотношения: законы де Моргана.
пересечению множеств. 18Буль Джордж (2.11.1815, Линкольн, — 8.12.1864, Баллинтемпл
10Логическое сложение (дизъюнкция). Обозначение нестрогой близ Корка), английский математик и логик. Не имея специального
дизъюнкции: А ИЛИ В А v В А | В А + В А OR В. Логическое математического образования, в 1849 стал профессором математики
сложение (дизъюнкция) образуется соединением двух высказываний в в Куинс-колледже в Корке (Ирландия), где преподавал до конца
одно с помощью союза «или». Есть строгая и нестрогая дизъюнкция. жизни. Его почти в равной мере интересовали логика,
Мнемоническое правило: нестрогая дизъюнкция – это логическое математический анализ, теория вероятностей, этика Спинозы,
сложение. Истинна тогда когда хотя бы одно высказывание истинно, философские работы Аристотеля и Цицерона. В работах
ложна – тогда и только когда все высказывания ложны. В теории "Математический анализ логики" (1847),
множеств соответствует объединению множеств. Таблица истинности "Логическое исчисление" (1848), "Исследование
нестрогой дизъюнкции. Графическая иллюстрация нестрогой законов мышления" (1854) Буль заложил основы математической
конъюнкции. логики. Именем Буля названы так называемые булевы алгебры —
11Логическое сложение (дизъюнкция). Строгая дизъюнкция – особые алгебраические системы, для элементов которых определены
исключающее «или». Обозначение строгой дизъюнкции: А v В А XOR В две операции.
А + В. Мнемоническое правило: строгая дизъюнкция – Истинна тогда
«Логика как наука» | Логика как наука.ppt
http://900igr.net/kartinki/algebra/Logika-kak-nauka/Logika-kak-nauka.html
cсылка на страницу

Логика

другие презентации о логике

«Примеры решения логических задач» - Виновник. Каждый из свидетелей правильно указал либо только марку машины, либо только первую цифру. Решение логических задач. Юноша. Иностранные языки. Цифра номера машины. Девочка, вырастившая маргаритки. Клуб служебного собаководства. Истинное высказывание. Выполните преобразование. Роза вырастила анютины глазки.

«Математическая логика» - Дизъюнкция высказываний. Эквивалентность высказываний. Математическая логика. Моделирование логической структуры правовой нормы. Логические формулы. Определение логических операций. Закон силлогизма. Закон исключения третьего. Равносильные логические формулы. Логика-это наука, изучающая формы и законы мышления.

«Логика как наука» - Готфрид Вильгельм Лейбниц. Строгая дизъюнкция – исключающее «или». Языковым выражением суждений является повествовательное предложение. Буль Джордж. Логика. Логика – наука о выводе одних умозаключений из других. Логические операции. Умозаключение – форма мышления. Логическое отрицание (инверсия). Логическое сложение (дизъюнкция).

«Жизнь и логика» - Рассмотрение теоретического материала. Обсуждение возможных источников. Распределите обязанности. Основы формальной логики. Жизнь. Логическое мышление. Жизнь и логика. Формирование навыков самостоятельной работы. Подготовка учащимися отчета. Человек. Логика. Формулирование основополагающего вопроса.

«Задачи на логику» - Кто из мальчиков какое место занял. Нужно вынуть шарик из ящика. Решение логических задач. На одном заводе работали три друга: слесарь, токарь и сварщик. Введение. Физкультминутка. Воронов - математик, Павлов - баянист, Журавлев - писатель. Четверо друзей. Алеша, Боря и Гриша нашли в земле сосуд. Три фигуры вырезали из бумаги, окрасили сверху и снизу.

«Решение логических задач» - Как решать логические задачи. Решение задач средствами алгебры логики. Евгений. Празднование Нового года. Логическая формула. Задача «Новогодний подарок». Решение логических задач с помощью рассуждений. Задача «Новогодние костюмы». Задача «История Нового года». Обозначения. Решение задач табличным способом.

Урок

Алгебра

34 темы
Картинки
Презентация: Логика как наука | Тема: Логика | Урок: Алгебра | Вид: Картинки
900igr.net > Презентации по алгебре > Логика > Логика как наука.ppt