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

Презентация по теме "Основы логики" 1, 2 уроки

  • Информатика
Муравьева Инна Владимировна Учитель информатики и ИКТ МБОУ «Гимназия №11» г....
НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ
 Понятия Высказывания Умозаключения
форма мышления, которая выделяет существенные признаки предмета или класса пр...
формулировка своего понимания окружающего мира (повествовательное предложение...
ИСТИННОЕ			 (Пример: Буква «А» - гласная) 							 ЛОЖНОЕ (Пример: Компьютер б...
форма мышления, с помощью которой из одного или нескольких суждений может быт...
наука об общих операциях, аналогичных сложению и умножению, которые выполняют...
Логическая переменная – это простое высказывание, содержащее только одну мысл...
Название 	Обозначение 	Союз в естественном языке	Пример А – «Число 10 – четно...
таблица определяющая значение сложного высказывания при всех возможных значен...
Вывод: Результат будет истинным тогда и только тогда, когда оба исходных выск...
Вывод: Результат будет ложным тогда и только тогда, когда оба исходных высказ...
Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот...
Вывод: Результат будет ложным тогда и только тогда, когда из истинного основа...
Вывод: Результат будет истинным тогда и только тогда, когда оба высказывания...
Если составное высказывание (логическую функцию) выразить в виде формулы, в к...
 Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность
Это составное высказывание состоит из простых высказываний: А = «Петя поедет...
Есть два простых высказывания: А = «Число 10 четное» В = Волк – травоядное жи...
Урок №2
3. Решить логические выражения: F(A, B) =¬(А v В)^( A ^ ¬B) F(A, B, C) =C v (...
3. Решить логические выражения: 1) F(A, B) =¬(А v В)^( A ^ ¬B)
3. Решить логические выражения: 2) F(A, B, C) =C v ( B ^ A ^ ¬C)
3. Решить логические выражения: 3) F(A, B, C) =А ^ В v ¬B v ¬A ^ C
3. Решить логические выражения: 4) F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C
3. Решить логические выражения: 5) F(A, B, C) = (A v B) → (¬A v C)
3. Решить логические выражения: 6) F(A, B, C) = ¬A v С v (A ^ ¬B)
3. Решить логические выражения: 7) F(A, B, C) = (A v B) ^ (¬A v C)
3. Решить логические выражения: 8) F(A, B, C) = A ^¬B ^ C v A v B v ¬C
3. Решить логические выражения: 9) F(A, B, C) = (A ^ B) → (A v ¬C)
1 из 31

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

№ слайда 1 Муравьева Инна Владимировна Учитель информатики и ИКТ МБОУ «Гимназия №11» г.
Описание слайда:

Муравьева Инна Владимировна Учитель информатики и ИКТ МБОУ «Гимназия №11» г. Выборг, Ленинградская обл. Урок №1

№ слайда 2 НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ
Описание слайда:

НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ

№ слайда 3  Понятия Высказывания Умозаключения
Описание слайда:

Понятия Высказывания Умозаключения

№ слайда 4 форма мышления, которая выделяет существенные признаки предмета или класса пр
Описание слайда:

форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их друг от друга (Пример: Прямоугольник - геометрическая фигура у которой все углы прямые и противоположные стороны равны)

№ слайда 5 формулировка своего понимания окружающего мира (повествовательное предложение
Описание слайда:

формулировка своего понимания окружающего мира (повествовательное предложение в котором что-либо утверждается или отрицается) (Пример: Париж – столица Франции)

№ слайда 6 ИСТИННОЕ			 (Пример: Буква «А» - гласная) 							 ЛОЖНОЕ (Пример: Компьютер б
Описание слайда:

ИСТИННОЕ (Пример: Буква «А» - гласная) ЛОЖНОЕ (Пример: Компьютер был изобретен до нашей эры)

№ слайда 7 форма мышления, с помощью которой из одного или нескольких суждений может быт
Описание слайда:

форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод) (Пример: любая теорема)

№ слайда 8 наука об общих операциях, аналогичных сложению и умножению, которые выполняют
Описание слайда:

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

№ слайда 9 Логическая переменная – это простое высказывание, содержащее только одну мысл
Описание слайда:

Логическая переменная – это простое высказывание, содержащее только одну мысль Обозначение: латинская буква (А, В, Х …) Значение: ИСТИНА (1) или ЛОЖЬ (0) Логическая функция – это составное высказывание, которое содержит несколько простых мыслей, соединенных между собой с помощью логических операций Обозначение: F Логические операции – логическое действие

№ слайда 10 Название 	Обозначение 	Союз в естественном языке	Пример А – «Число 10 – четно
Описание слайда:

Название Обозначение Союз в естественном языке Пример А – «Число 10 – четное» В – «Число 10 – отрицательное» Конъюнкция (логическое умножение) А ^ B или A & B И «Число 10 четное и отрицательное» - ЛОЖЬ Дизъюнкция (логическое сложение) A v B ИЛИ «Число 10 четное или отрицательно» - ИСТИНА Инверсия (отрицание) ¬ A или Ā НЕ «Число 10 нечетное» – ЛОЖЬ «Число 10 – не отрицательное» - ИСТИНА Импликация логическое следование) А → В ЕСЛИ … ТО …; КОГДА …. ТОГДА …. «Если число 10 – четное, то оно отрицательное» - ЛОЖЬ Эквивалентность (логическое равенство) А В или А ↔ В … ТОГДА И ТОЛЬКО ТОГДА, КОГДА … «Число 10 – четное тогда и только тогда, когда оно отрицательное» - ЛОЖЬ

№ слайда 11 таблица определяющая значение сложного высказывания при всех возможных значен
Описание слайда:

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

№ слайда 12 Вывод: Результат будет истинным тогда и только тогда, когда оба исходных выск
Описание слайда:

Вывод: Результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны А В А^В 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 13 Вывод: Результат будет ложным тогда и только тогда, когда оба исходных высказ
Описание слайда:

Вывод: Результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны, и истинным во всех остальных случаях А В А v В 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 14 Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот
Описание слайда:

Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот. А Ā 0 1 1 0

№ слайда 15 Вывод: Результат будет ложным тогда и только тогда, когда из истинного основа
Описание слайда:

Вывод: Результат будет ложным тогда и только тогда, когда из истинного основания (А) следует ложное следствие (В) А В А → В 0 0 1 0 1 1 1 0 0 1 1 1

№ слайда 16 Вывод: Результат будет истинным тогда и только тогда, когда оба высказывания
Описание слайда:

Вывод: Результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны А В А ↔ В 0 0 1 0 1 0 1 0 0 1 1 1

№ слайда 17 Если составное высказывание (логическую функцию) выразить в виде формулы, в к
Описание слайда:

Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ истина ложь

№ слайда 18  Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность
Описание слайда:

Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность

№ слайда 19 Это составное высказывание состоит из простых высказываний: А = «Петя поедет
Описание слайда:

Это составное высказывание состоит из простых высказываний: А = «Петя поедет в деревню» В = «Будет хорошая погода» С = «Он пойдет на рыбалку» Записываем высказывание в виде логического выражения, учитывая порядок действий F = A ^ (B → C)

№ слайда 20 Есть два простых высказывания: А = «Число 10 четное» В = Волк – травоядное жи
Описание слайда:

Есть два простых высказывания: А = «Число 10 четное» В = Волк – травоядное животное» Составьте из них все возможные составные высказывания и определите их истинность Запишите следующие высказывания в виде логических выражений: Неверно, что корова – хищное животное На уроке физики ученики выполняли лабораторную работу и сообщали результаты учителю. Если Маша – сестра Саши, то Саша - брат Маши.

№ слайда 21 Урок №2
Описание слайда:

Урок №2

№ слайда 22 3. Решить логические выражения: F(A, B) =¬(А v В)^( A ^ ¬B) F(A, B, C) =C v (
Описание слайда:

3. Решить логические выражения: F(A, B) =¬(А v В)^( A ^ ¬B) F(A, B, C) =C v ( B ^ A ^ ¬C) F(A, B, C) =А ^ В v ¬B v ¬A ^ C F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C F(A, B, C) = (A v B) → (¬A v C) F(A, B, C) = ¬A v С v (A ^ ¬B) F(A, B, C) = (A v B) ^ (¬A v C) F(A, B, C) = A ^¬B ^ C v A v B v ¬C F(A, B, C) = (A ^ B) → (A v ¬C)

№ слайда 23 3. Решить логические выражения: 1) F(A, B) =¬(А v В)^( A ^ ¬B)
Описание слайда:

3. Решить логические выражения: 1) F(A, B) =¬(А v В)^( A ^ ¬B)

№ слайда 24 3. Решить логические выражения: 2) F(A, B, C) =C v ( B ^ A ^ ¬C)
Описание слайда:

3. Решить логические выражения: 2) F(A, B, C) =C v ( B ^ A ^ ¬C)

№ слайда 25 3. Решить логические выражения: 3) F(A, B, C) =А ^ В v ¬B v ¬A ^ C
Описание слайда:

3. Решить логические выражения: 3) F(A, B, C) =А ^ В v ¬B v ¬A ^ C

№ слайда 26 3. Решить логические выражения: 4) F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C
Описание слайда:

3. Решить логические выражения: 4) F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C

№ слайда 27 3. Решить логические выражения: 5) F(A, B, C) = (A v B) → (¬A v C)
Описание слайда:

3. Решить логические выражения: 5) F(A, B, C) = (A v B) → (¬A v C)

№ слайда 28 3. Решить логические выражения: 6) F(A, B, C) = ¬A v С v (A ^ ¬B)
Описание слайда:

3. Решить логические выражения: 6) F(A, B, C) = ¬A v С v (A ^ ¬B)

№ слайда 29 3. Решить логические выражения: 7) F(A, B, C) = (A v B) ^ (¬A v C)
Описание слайда:

3. Решить логические выражения: 7) F(A, B, C) = (A v B) ^ (¬A v C)

№ слайда 30 3. Решить логические выражения: 8) F(A, B, C) = A ^¬B ^ C v A v B v ¬C
Описание слайда:

3. Решить логические выражения: 8) F(A, B, C) = A ^¬B ^ C v A v B v ¬C

№ слайда 31 3. Решить логические выражения: 9) F(A, B, C) = (A ^ B) → (A v ¬C)
Описание слайда:

3. Решить логические выражения: 9) F(A, B, C) = (A ^ B) → (A v ¬C)

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

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