Логика
<<  Основы логики Основы логики  >>
Таня, Петя и Кирилл Ясным зимним днем Бабу снежную лепили Весело
Таня, Петя и Кирилл Ясным зимним днем Бабу снежную лепили Весело
И сказал друзьям Кирилл: «В парк я шел с щенком Дружком
И сказал друзьям Кирилл: «В парк я шел с щенком Дружком
И сказал друзьям Кирилл: «В парк я шел с щенком Дружком
И сказал друзьям Кирилл: «В парк я шел с щенком Дружком
И сказал друзьям Кирилл: «В парк я шел с щенком Дружком
И сказал друзьям Кирилл: «В парк я шел с щенком Дружком
В результате вычислений была получена формула:
В результате вычислений была получена формула:
Основоположником формальной логики считают древнегреческого мыслителя
Основоположником формальной логики считают древнегреческого мыслителя
Основоположником формальной логики считают древнегреческого мыслителя
Основоположником формальной логики считают древнегреческого мыслителя
Немецкий математик и философ Готфрид Вильгельм Лейбниц (1646 – 1716)
Немецкий математик и философ Готфрид Вильгельм Лейбниц (1646 – 1716)
Немецкий математик и философ Готфрид Вильгельм Лейбниц (1646 – 1716)
Немецкий математик и философ Готфрид Вильгельм Лейбниц (1646 – 1716)
Логика – это наука правильно рассуждать, наука о формах и законах
Логика – это наука правильно рассуждать, наука о формах и законах
Понятие – мысль, в которой обобщаются и выделяются предметы некоторого
Понятие – мысль, в которой обобщаются и выделяются предметы некоторого
Суждением (высказыванием) называется всякое утверждение (или всякое
Суждением (высказыванием) называется всякое утверждение (или всякое
Не являются суждениями утверждения, вопросительные и восклицательные
Не являются суждениями утверждения, вопросительные и восклицательные
Не являются суждениями утверждения, вопросительные и восклицательные
Не являются суждениями утверждения, вопросительные и восклицательные
Не являются суждениями утверждения, вопросительные и восклицательные
Не являются суждениями утверждения, вопросительные и восклицательные
1. «Посмотрите этот кинофильм
1. «Посмотрите этот кинофильм
1. «Посмотрите этот кинофильм
1. «Посмотрите этот кинофильм
1. «Посмотрите этот кинофильм
1. «Посмотрите этот кинофильм
1. «Посмотрите этот кинофильм
1. «Посмотрите этот кинофильм
Путь вывода умозаключений лежит через рассуждения, доказательства,
Путь вывода умозаключений лежит через рассуждения, доказательства,
Важная характеристика суждений – значение истинности
Важная характеристика суждений – значение истинности
Важная характеристика суждений – значение истинности
Важная характеристика суждений – значение истинности
Равносильные (эквивалентные) суждения
Равносильные (эквивалентные) суждения
Равносильные (эквивалентные) суждения
Равносильные (эквивалентные) суждения
Равносильные (эквивалентные) суждения
Равносильные (эквивалентные) суждения
Суждения подразделяются на общие и частные
Суждения подразделяются на общие и частные
Суждения подразделяются на общие и частные
Суждения подразделяются на общие и частные
Суждения простые и сложные
Суждения простые и сложные
Суждения простые и сложные
Суждения простые и сложные
Картинки из презентации «Основы логики» к уроку алгебры на тему «Логика»

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

Основы логики

содержание презентации «Основы логики.ppt»
Сл Текст Сл Текст
1«Основы логики». 15положений, получаемых из других суждений
2Таня, Петя и Кирилл Ясным зимним днем по определенным правилам вывода.
Бабу снежную лепили Весело втроем. Рассуждение есть переход от некоторых
Улыбаясь, как живая, В парке в тишине предположений, утверждений, называемых
Встала баба снеговая В белом зипуне. посылками к утверждению, которое
Получилось все отлично. Только вот беда: называется умозаключением. «Если идет
Куда-то вдруг пропала Бабина метла. дождь, то необходимо открыть зонт.».
3И сказал друзьям Кирилл: «В парк я шел 16Умозаключение по аналогии – это
с щенком Дружком. Петя с нами рядом шел, знание, полученное из рассмотрения
ничего не забывал, ветки в парке какого-либо объекта, переносимое на менее
собирал.». «Тут Танюша ни при чем, про изученный, сходный по существенным
метлу не забывала, – заявил серьезно Петя, свойствам и качествам объект. Индукция –
– виноват во всем Кирилл: взять метлу он это правила вывода умозаключений при
позабыл.». Возразила Таня Пете: «Это ты переходе от частных суждений к общим.
метлу забыл, а Кирилл не забывал, он о Дедукция – это правила вывода
снеге рассуждал.». Двое правду говорят, а умозаключений при переходе от общих
один из них хитрит и неправду говорит. суждений к частным. Приемы вывода
4Попытаемся решить задачу с помощью умозаключений:
науки логики. Для этого введем 17Суждения.
обозначения: Запишем высказывания детей 18Важная характеристика суждений –
формулами: Кирилл – Петя – Танюша –. значение истинности. Суждение истинно
5Так как по условию двое детей говорили обозначается числом 1(знак того, что
правду, то справедливы формулы: совершилось какое-то событие истинное),
Преобразуем полученные формулы, используя ложное суждение – числом 0 (совершилось
Булевы алгебры: событие ложное). Суждение А: «Скворечник –
6В результате вычислений была получена дом для птиц.» А=1. Суждение D: «Лягушата
формула: Данная формула дает возможность не боятся цапли.» D =0.
сделать вывод, что метлу забыл Кирилл, а 19Равносильные (эквивалентные) суждения
Танюша и Петя не забывали. . Два суждения равносильны, если они
7Основы логики. одновременно истинны или одновременно
8Основоположником формальной логики ложны. «Этот мальчик учится в первом
считают древнегреческого мыслителя и классе ? Этот мальчик – первоклассник.».
ученого Аристотеля (384-322 г. до н.э.), «Таня – сестра Вани ? Брат Тани – Ваня.».
который подверг анализу человеческое 20Суждения подразделяются на общие и
мышление. Он впервые отделил логические частные. Частные суждения выражают
формы мышления от его содержания, то есть конкретные (частные) факты. Общие суждения
рассмотрел мышление со стороны строения, характеризуют свойства групп объектов или
структуры, то есть с формальной стороны. явлений. «Этот кот рыжий.». «Медвежата
Французский философ и естествоиспытатель любят мёд.».
Рене Декарт (1596-1650) рекомендовал науке 21Людям информация необходима крайне
о мышлении – логике – руководствоваться редко. Для любого х выражение х2 больше
общепринятыми в математике принципами. или равно нулю. В прямоугольнике все углы
9Немецкий математик и философ Готфрид прямые. При х=1 х=х2 =х3 =х4 . Четные
Вильгельм Лейбниц (1646 – 1716) считается числа делятся на 3. Город Ахтубинск
основоположником математической логики, он расположен на юге Астраханской области.
в XVII веке пытался построить первые Все углы равностороннего треугольника
логические вычисления. В середине XIX века равны. 0 1 1 1 0 0 1. + + + + +. + +.
математик Джордж Буль вывел для логических Людям информация необходима крайне редко.
построений особую алгебру (алгебру Для любого х выражение х2 больше или равно
логики), в которой символами обозначают не нулю. В прямоугольнике все углы прямые.
числа, а высказывания. Сегодня идеи Буля При х=1 х=х2 =х3 =х4 . Четные числа
используются во всех современных цифровых делятся на 3. Город Ахтубинск расположен
устройствах. на юге Астраханской области. Все углы
10Логика – это наука правильно равностороннего треугольника равны.
рассуждать, наука о формах и законах Суждение. Суждение. Значение истинности.
человеческого мышления. Главная задача Значение истинности. Общее суждение. Общее
логики состоит в том, чтобы выявить, какие суждение. Частное суждение. Частное
способы рассуждения правильные, а какие суждение.
нет. Логика рассматривает формы 22Суждения простые и сложные. Суждение
человеческого мышления: понятие, суждение, считается простым, если никакая его часть
умозаключение. не является суждением. Сложные суждения
11Понятие – мысль, в которой обобщаются характеризуются тем, что образованы из
и выделяются предметы некоторого класса по нескольких суждений с помощью определенных
определенным общим и в совокупности способов соединения суждений (связок: «и»,
специфическим для них признакам. «или», «если…, то…» . «Человек в зеркале
«Человек», «Компьютер», «Проливной дождь». видит свое отражение.». «Если мама-птица
12Суждением (высказыванием) называется не принесет червячка, то птенцы будут
всякое утверждение (или всякое голодные .».
предположение), о котором можно судить, 23Если завтра будет туман, то вылет
истинно оно или ложно. «На уроке самолета задержится. Для любого х
информатики необходимо соблюдать особые выражение х2 больше или равно нулю. В
правила поведения.». прямоугольнике все углы прямые и
13Не являются суждениями утверждения, противоположные стороны попарно равны.
вопросительные и восклицательные Коля в библиотеке взял справочник, или
предложения, предикаты. «Метеорологический Коля в библиотеке взял словарь. В книжном
прогноз». «Как прекрасен этот мир!». шкафу хранятся книги. 9А класс идет на
«Жираф – это млекопитающее?». «45+х=64». экскурсию, а 9Б класс - в поход. Паспорт
141. «Посмотрите этот кинофильм.». 2. удостоверяет личность человека. + + +. + +
«Без труда не вытащишь рыбку из пруда.». + +. Если завтра будет туман, то вылет
3. «Как здорово, что все мы здесь сегодня самолета задержится. Для любого х
собрались!». 4. «Сколько учащихся учится в выражение х2 больше или равно нулю. В
вашем классе?». 5. «Корова – домашнее прямоугольнике все углы прямые и
животное.». 6. «25+х>63.». 7. «Назовите противоположные стороны попарно равны.
устройства вывода информации.». 8. «Ночью Коля в библиотеке взял справочник, или
людям нужно спать.». 9. «Светофор Коля в библиотеке взял словарь. В книжном
регулирует движение на дороге.». 10. шкафу хранятся книги. 9А класс идет на
«Сегодня будет солнечная погода?». экскурсию, а 9Б класс - в поход. Паспорт
15Путь вывода умозаключений лежит через удостоверяет личность человека. Суждение.
рассуждения, доказательства, умение Простое суждение. Сложное суждение.
ставить вопросы и давать на них четкие Суждение. Простое суждение. Сложное
ответы. Рассуждение – это цепочка суждение.
взаимосвязанных суждений, фактов и общих
Основы логики.ppt
http://900igr.net/kartinka/algebra/osnovy-logiki-262570.html
cсылка на страницу

Основы логики

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

«Законы логики» - Закрепление изученного №1 Упростите выражение: F = ¬ (A&B) v ¬ (BvC). Буля. Дана следующая логическая схема. Профессор математики в университетском колледже в Лондоне. Получится: ¬((AvB)? ¬(BvC))= (AvB)& ¬ (¬(BvC)). Применим (Аv 1= 1 ). Получим:B& (Av1) vA&CvB&C= BvA&CvB&C.

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

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

«Логика высказываний» - Буля и О. Моргана математическая логика представлена как своеобразная алгебра – алгебра логики (алгебра высказываний). Подлинный прогресс науки, называемой математической логикой, был достигнут в середине XIX в. прежде всего благодаря труду английского логика Джорджа Буля «Математический анализ логики».

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

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

Логика

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

Алгебра

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