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

Презентация: «Основы логики». Автор: ком4. Файл: «Основы логики.ppt». Размер zip-архива: 1748 КБ.

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

содержание презентации «Основы логики.ppt»
СлайдТекст
1 Основы логики

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

».

2 Таня, Петя и Кирилл Ясным зимним днем Бабу снежную лепили Весело

Таня, Петя и Кирилл Ясным зимним днем Бабу снежную лепили Весело

втроем. Улыбаясь, как живая, В парке в тишине Встала баба снеговая В белом зипуне. Получилось все отлично. Только вот беда: Куда-то вдруг пропала Бабина метла.

3 И сказал друзьям Кирилл: «В парк я шел с щенком Дружком

И сказал друзьям Кирилл: «В парк я шел с щенком Дружком

Петя с нами рядом шел, ничего не забывал, ветки в парке собирал.»

«Тут Танюша ни при чем, про метлу не забывала, – заявил серьезно Петя, – виноват во всем Кирилл: взять метлу он позабыл.»

Возразила Таня Пете: «Это ты метлу забыл, а Кирилл не забывал, он о снеге рассуждал.»

Двое правду говорят, а один из них хитрит и неправду говорит.

4 Попытаемся решить задачу с помощью науки логики

Попытаемся решить задачу с помощью науки логики

Для этого введем обозначения:

Запишем высказывания детей формулами: Кирилл – Петя – Танюша –

5 Так как по условию двое детей говорили правду, то справедливы формулы:

Так как по условию двое детей говорили правду, то справедливы формулы:

Преобразуем полученные формулы, используя Булевы алгебры:

6 В результате вычислений была получена формула:

В результате вычислений была получена формула:

Данная формула дает возможность сделать вывод, что метлу забыл Кирилл, а Танюша и Петя не забывали.

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

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

8 Основоположником формальной логики считают древнегреческого мыслителя

Основоположником формальной логики считают древнегреческого мыслителя

и ученого Аристотеля (384-322 г. до н.э.), который подверг анализу человеческое мышление. Он впервые отделил логические формы мышления от его содержания, то есть рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны.

Французский философ и естествоиспытатель Рене Декарт (1596-1650) рекомендовал науке о мышлении – логике – руководствоваться общепринятыми в математике принципами.

9 Немецкий математик и философ Готфрид Вильгельм Лейбниц (1646 – 1716)

Немецкий математик и философ Готфрид Вильгельм Лейбниц (1646 – 1716)

считается основоположником математической логики, он в XVII веке пытался построить первые логические вычисления.

В середине XIX века математик Джордж Буль вывел для логических построений особую алгебру (алгебру логики), в которой символами обозначают не числа, а высказывания. Сегодня идеи Буля используются во всех современных цифровых устройствах.

10 Логика – это наука правильно рассуждать, наука о формах и законах

Логика – это наука правильно рассуждать, наука о формах и законах

человеческого мышления.

Главная задача логики состоит в том, чтобы выявить, какие способы рассуждения правильные, а какие нет.

Логика рассматривает формы человеческого мышления: понятие, суждение, умозаключение.

11 Понятие – мысль, в которой обобщаются и выделяются предметы некоторого

Понятие – мысль, в которой обобщаются и выделяются предметы некоторого

класса по определенным общим и в совокупности специфическим для них признакам.

«Человек», «Компьютер», «Проливной дождь»

12 Суждением (высказыванием) называется всякое утверждение (или всякое

Суждением (высказыванием) называется всякое утверждение (или всякое

предположение), о котором можно судить, истинно оно или ложно.

«На уроке информатики необходимо соблюдать особые правила поведения.»

13 Не являются суждениями утверждения, вопросительные и восклицательные

Не являются суждениями утверждения, вопросительные и восклицательные

предложения, предикаты.

«Метеорологический прогноз»

«Как прекрасен этот мир!»

«Жираф – это млекопитающее?»

«45+х=64»

14 1. «Посмотрите этот кинофильм

1. «Посмотрите этот кинофильм

2. «Без труда не вытащишь рыбку из пруда.»

3. «Как здорово, что все мы здесь сегодня собрались!»

4. «Сколько учащихся учится в вашем классе?»

5. «Корова – домашнее животное.»

6. «25+х>63.»

7. «Назовите устройства вывода информации.»

8. «Ночью людям нужно спать.»

9. «Светофор регулирует движение на дороге.»

10. «Сегодня будет солнечная погода?»

15 Путь вывода умозаключений лежит через рассуждения, доказательства,

Путь вывода умозаключений лежит через рассуждения, доказательства,

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

«Если идет дождь, то необходимо открыть зонт.»

16 Умозаключение по аналогии – это знание, полученное из рассмотрения

Умозаключение по аналогии – это знание, полученное из рассмотрения

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

Приемы вывода умозаключений:

17 Суждения

Суждения

18 Важная характеристика суждений – значение истинности

Важная характеристика суждений – значение истинности

Суждение истинно обозначается числом 1(знак того, что совершилось какое-то событие истинное), ложное суждение – числом 0 (совершилось событие ложное).

Суждение А: «Скворечник – дом для птиц.» А=1

Суждение D: «Лягушата не боятся цапли.» D =0

19 Равносильные (эквивалентные) суждения

Равносильные (эквивалентные) суждения

Два суждения равносильны, если они одновременно истинны или одновременно ложны.

«Этот мальчик учится в первом классе ? Этот мальчик – первоклассник.»

«Таня – сестра Вани ? Брат Тани – Ваня.»

20 Суждения подразделяются на общие и частные

Суждения подразделяются на общие и частные

Частные суждения выражают конкретные (частные) факты.

Общие суждения характеризуют свойства групп объектов или явлений.

«Этот кот рыжий.»

«Медвежата любят мёд.»

21 Людям информация необходима крайне редко

Людям информация необходима крайне редко

Для любого х выражение х2 больше или равно нулю. В прямоугольнике все углы прямые. При х=1 х=х2 =х3 =х4 . Четные числа делятся на 3. Город Ахтубинск расположен на юге Астраханской области. Все углы равностороннего треугольника равны.

0 1 1 1 0 0 1

+ + + + +

+ +

Людям информация необходима крайне редко. Для любого х выражение х2 больше или равно нулю. В прямоугольнике все углы прямые. При х=1 х=х2 =х3 =х4 . Четные числа делятся на 3. Город Ахтубинск расположен на юге Астраханской области. Все углы равностороннего треугольника равны.

Суждение

Суждение

Значение истинности

Значение истинности

Общее суждение

Общее суждение

Частное суждение

Частное суждение

22 Суждения простые и сложные

Суждения простые и сложные

Суждение считается простым, если никакая его часть не является суждением.

Сложные суждения характеризуются тем, что образованы из нескольких суждений с помощью определенных способов соединения суждений (связок: «и», «или», «если…, то…» .

«Человек в зеркале видит свое отражение.»

«Если мама-птица не принесет червячка, то птенцы будут голодные .»

23 Если завтра будет туман, то вылет самолета задержится

Если завтра будет туман, то вылет самолета задержится

Для любого х выражение х2 больше или равно нулю. В прямоугольнике все углы прямые и противоположные стороны попарно равны. Коля в библиотеке взял справочник, или Коля в библиотеке взял словарь. В книжном шкафу хранятся книги. 9А класс идет на экскурсию, а 9Б класс - в поход. Паспорт удостоверяет личность человека.

+ + +

+ + + +

Если завтра будет туман, то вылет самолета задержится. Для любого х выражение х2 больше или равно нулю. В прямоугольнике все углы прямые и противоположные стороны попарно равны. Коля в библиотеке взял справочник, или Коля в библиотеке взял словарь. В книжном шкафу хранятся книги. 9А класс идет на экскурсию, а 9Б класс - в поход. Паспорт удостоверяет личность человека.

Суждение

Простое суждение

Сложное суждение

Суждение

Простое суждение

Сложное суждение

«Основы логики»
http://900igr.net/prezentacija/algebra/osnovy-logiki-262570.html
cсылка на страницу

Логика

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

Алгебра

35 тем
Слайды