Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Презентация для 9 класса на тему "Основы логики.Формы мышления"

Презентация для 9 класса на тему "Основы логики.Формы мышления"

  • Информатика

Поделитесь материалом с коллегами:

Формы мышления Первые учёные о формах и способах рассуждений возникли в стран...
Мышление всегда осуществляется в каких-то формах.
ПОНЯТИЕ ПОНЯТИЕ – это форма мышления, фиксирующая основные, сущес-твенные при...
Понятие имеет 2 стороны: содержание и объём. Содержание понятия составляет со...
ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ – это форма мышления, в котором что-либо утверждает...
УМОЗАКЛЮЧЕНИЕ УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного...
Алгебра высказываний Здесь высказывания обозначаются именами логических перем...
Логическое умножение (конъюнкция) Высказывания объединяются с помощью союза «...
Логическое сложение (дезъюнкция) Высказывания объединяются с помощью союза «И...
Логическое отрицание (инверсия) Присоединение частицы «НЕ» к высказыванию. Об...
Порядок выполнения операций Скобках Отрицание Логическое умножение Логическое...
В обыденной и научной речи кроме базовых логических связок «и», «или», «не» и...
Логическое следование (импликация) Логическое следование (импликация) образуе...
Составное высказывание, образо-ванное с помощью операции логического следован...
Таблица истинности логической функции «импликация» А	В	А→В 0	0	1 0	1	1 1	0	0...
Например, высказывание «Если число делится на 10, то оно делится на 5» истинн...
Однако операция логического следования несколько отличается от обычного поним...
Доказать методом сравнения таблиц истинности, что операция импликации А→В рав...
Таблицы истинности совпадают, что и требовалось доказать А	В	А→В 0	0	1 0	1	1...
Логическое равенство (эквивалентность) Логическое равенство (эквивалентность)...
Составное высказывание, образованное с помощью логической операции эквивалент...
Таблица истинности логической функции эквивалентности А	В	А~В 0	0	1 0	1	0 1	0...
Рассмотрим, например, два высказывания: А = «Компьютер может производить вычи...
Составное высказывание, полученное с помощью операции эквивалентности, ложно,...
Приоритет операций: Инверсия (отрицание); Конъюнкция (умножение); Дизъюнкция...
1 из 28

Описание презентации по отдельным слайдам:

№ слайда 1
Описание слайда:

№ слайда 2 Формы мышления Первые учёные о формах и способах рассуждений возникли в стран
Описание слайда:

Формы мышления Первые учёные о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия). Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления от его содержания. ЛОГИКА – это наука о формах и способах мышления.

№ слайда 3 Мышление всегда осуществляется в каких-то формах.
Описание слайда:

Мышление всегда осуществляется в каких-то формах.

№ слайда 4 ПОНЯТИЕ ПОНЯТИЕ – это форма мышления, фиксирующая основные, сущес-твенные при
Описание слайда:

ПОНЯТИЕ ПОНЯТИЕ – это форма мышления, фиксирующая основные, сущес-твенные признаки объекта. Например, понятие «компьютер» объединяет множество электронных устройств, которые предназначены для обработки информации.

№ слайда 5 Понятие имеет 2 стороны: содержание и объём. Содержание понятия составляет со
Описание слайда:

Понятие имеет 2 стороны: содержание и объём. Содержание понятия составляет сово-купность существенных признаков объекта. («Персональный компьютер – это универ-сальное электронное устройство для автоматической обработки информации, предназначенное для 1 пользователя») Объём понятия определяется совокупностью предметов, на которую оно распространяется. («персональный компьютер» выражает всю совокупность(сотни миллионов)существующих в настоящее время в мире персональных компьютеров)

№ слайда 6 ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ – это форма мышления, в котором что-либо утверждает
Описание слайда:

ВЫСКАЗЫВАНИЕ ВЫСКАЗЫВАНИЕ – это форма мышления, в котором что-либо утверждается или отрицается. Высказывание могут быть выражены с помощью не только естественных языков, но и формальных. Например, высказывание на естественном языке имеет вид «Два умножить на два равно четырём», а на формальном, математическом языке оно записывается в виде: «2•2=4»

№ слайда 7
Описание слайда:

№ слайда 8 УМОЗАКЛЮЧЕНИЕ УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного
Описание слайда:

УМОЗАКЛЮЧЕНИЕ УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (заключение). Например, Если «Все углы треугольника равны», то справедливо суждение «Этот треугольник равносторонний»

№ слайда 9 Алгебра высказываний Здесь высказывания обозначаются именами логических перем
Описание слайда:

Алгебра высказываний Здесь высказывания обозначаются именами логических переменных(А, В, С и т.д.), которые могут принимать лишь 2 значения: «истина»(1) и «ложь»(0). В алгебре высказываний над высказы-ваниями можно производить определённые логические операции, в результате которых получаются новые, составные высказывания. Для их образования используют базовые логические операции, выражаемые с помощью логических связок «и», «или», «не».

№ слайда 10 Логическое умножение (конъюнкция) Высказывания объединяются с помощью союза «
Описание слайда:

Логическое умножение (конъюнкция) Высказывания объединяются с помощью союза «И». Между высказываниями ставят знак & либо ^ Истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. Таблица истинности функции логического умножения А В А ^ В 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 11 Логическое сложение (дезъюнкция) Высказывания объединяются с помощью союза «И
Описание слайда:

Логическое сложение (дезъюнкция) Высказывания объединяются с помощью союза «ИЛИ». Между высказываниями ставят знак + либо V Истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний. Таблица истинности функции логического сложения А В А V В 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 12 Логическое отрицание (инверсия) Присоединение частицы «НЕ» к высказыванию. Об
Описание слайда:

Логическое отрицание (инверсия) Присоединение частицы «НЕ» к высказыванию. Обозначают Ē Делает истинное высказывание ложным и, наоборот, ложное – истинным. Таблица истинности функции логического отрицания Е Ē 0 1 1 0

№ слайда 13 Порядок выполнения операций Скобках Отрицание Логическое умножение Логическое
Описание слайда:

Порядок выполнения операций Скобках Отрицание Логическое умножение Логическое сложение

№ слайда 14
Описание слайда:

№ слайда 15 В обыденной и научной речи кроме базовых логических связок «и», «или», «не» и
Описание слайда:

В обыденной и научной речи кроме базовых логических связок «и», «или», «не» используются и некоторые другие: «если... то...», «... тогда и только тогда, когда...» и др. Некоторые из них имеют свое название и свой символ, и им соответствуют определенные логические функции.

№ слайда 16 Логическое следование (импликация) Логическое следование (импликация) образуе
Описание слайда:

Логическое следование (импликация) Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если..., то...». Обозначение: А →В, А В. Пример: А={2·2=4} и В={3·3=10}. А В={Если 2·2=4, то 3·3=10 }

№ слайда 17 Составное высказывание, образо-ванное с помощью операции логического следован
Описание слайда:

Составное высказывание, образо-ванное с помощью операции логического следования (импликации), ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).

№ слайда 18 Таблица истинности логической функции «импликация» А	В	А→В 0	0	1 0	1	1 1	0	0
Описание слайда:

Таблица истинности логической функции «импликация» А В А→В 0 0 1 0 1 1 1 0 0 1 1 1

№ слайда 19 Например, высказывание «Если число делится на 10, то оно делится на 5» истинн
Описание слайда:

Например, высказывание «Если число делится на 10, то оно делится на 5» истинно, так как истинны и первое высказывание(предпосылка), и второе высказывание (вывод). Высказывание «Если число делится на 10, то оно делится на 3» ложно, так как из истинной предпосылки делается ложный вывод.

№ слайда 20 Однако операция логического следования несколько отличается от обычного поним
Описание слайда:

Однако операция логического следования несколько отличается от обычного понимания слова «следует». Если первое высказывание (предпосылка) ложно, то вне зависимости от истинности или ложности второго высказывания (вывода) составное высказывание истинно. Это можно понимать таким образом, что из неверной предпосылки может следовать что угодно.

№ слайда 21 Доказать методом сравнения таблиц истинности, что операция импликации А→В рав
Описание слайда:

Доказать методом сравнения таблиц истинности, что операция импликации А→В равносильна логическому выражению А v В.

№ слайда 22 Таблицы истинности совпадают, что и требовалось доказать А	В	А→В 0	0	1 0	1	1
Описание слайда:

Таблицы истинности совпадают, что и требовалось доказать А В А→В 0 0 1 0 1 1 1 0 0 1 1 1 А В А А v В 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1

№ слайда 23 Логическое равенство (эквивалентность) Логическое равенство (эквивалентность)
Описание слайда:

Логическое равенство (эквивалентность) Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно с помощью оборота речи «... тогда и только тогда, когда ...». Обозначения: А=В; А В; А~В; А=В А={Угол прямой}; В={Угол равен 900} А~В ={Угол называется прямым тогда и только тогда, когда он равен 900}

№ слайда 24 Составное высказывание, образованное с помощью логической операции эквивалент
Описание слайда:

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

№ слайда 25 Таблица истинности логической функции эквивалентности А	В	А~В 0	0	1 0	1	0 1	0
Описание слайда:

Таблица истинности логической функции эквивалентности А В А~В 0 0 1 0 1 0 1 0 0 1 1 1

№ слайда 26 Рассмотрим, например, два высказывания: А = «Компьютер может производить вычи
Описание слайда:

Рассмотрим, например, два высказывания: А = «Компьютер может производить вычисления» и B = «Компьютер включен». Составное высказывание, полученное с помощью операции эквивалентности, истинно, когда оба высказывания либо истинны, либо ложны: «Компьютер может производить вычисления тогда и только тогда, когда компьютер включен». «Компьютер не может производить вычисления тогда и только тогда, когда компьютер не включен».

№ слайда 27 Составное высказывание, полученное с помощью операции эквивалентности, ложно,
Описание слайда:

Составное высказывание, полученное с помощью операции эквивалентности, ложно, когда одно высказывание истинно, а другое — ложно: «Компьютер может производить вычисления тогда и только тогда, когда компьютер не включен». «Компьютер не может производить вычисления тогда и только тогда, когда компьютер включен».

№ слайда 28 Приоритет операций: Инверсия (отрицание); Конъюнкция (умножение); Дизъюнкция
Описание слайда:

Приоритет операций: Инверсия (отрицание); Конъюнкция (умножение); Дизъюнкция (сложение); Импликация (следование) и эквивалентность (равенство).

Выберите курс повышения квалификации со скидкой 50%:

Автор
Дата добавления 29.09.2015
Раздел Информатика
Подраздел Презентации
Просмотров245
Номер материала ДВ-018119
Получить свидетельство о публикации
Похожие материалы

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