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

Содержание

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

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

обл.

Урок №1

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

Слайд 2ЛОГИКА
НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ

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

Слайд 3МЫШЛЕНИЕ ОСУЩЕСТВЛЯЕТСЯ ЧЕРЕЗ:
Понятия
Высказывания
Умозаключения

МЫШЛЕНИЕ ОСУЩЕСТВЛЯЕТСЯ ЧЕРЕЗ: Понятия Высказывания Умозаключения

Слайд 4ПОНЯТИЕ
форма мышления, которая выделяет существенные признаки предмета или класса предметов,

позволяющие отличать их друг от друга

(Пример: Прямоугольник - геометрическая фигура у которой все углы прямые и противоположные стороны равны)


ПОНЯТИЕ форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их друг от друга(Пример:

Слайд 5ВЫСКАЗЫВАНИЕ
формулировка своего понимания окружающего мира (повествовательное предложение в котором что-либо утверждается

или отрицается)

(Пример: Париж – столица Франции)


ВЫСКАЗЫВАНИЕформулировка своего понимания окружающего мира (повествовательное предложение в котором что-либо утверждается или отрицается)(Пример: Париж – столица Франции)

Слайд 6ВЫСКАЗЫВАНИЕ
ИСТИННОЕ
(Пример:
Буква «А» - гласная)



ЛОЖНОЕ

(Пример:
Компьютер
был изобретен до нашей эры)

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

Слайд 7УМОЗАКЛЮЧЕНИЕ
форма мышления, с помощью которой из одного или нескольких суждений может

быть получено новое суждение
(знание или вывод)

(Пример: любая теорема)


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

Слайд 8АЛГЕБРА ЛОГИКИ
наука об общих операциях, аналогичных сложению и умножению, которые выполняются

над высказываниями



АЛГЕБРА ЛОГИКИнаука об общих операциях, аналогичных сложению и умножению, которые выполняются над высказываниями

Слайд 9ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ:
Логическая переменная – это простое высказывание, содержащее только одну

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

ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ:Логическая переменная – это простое высказывание, содержащее только одну мысль Обозначение: латинская буква (А, В,

Слайд 10БАЗОВЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ

БАЗОВЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ

Слайд 11ТАБЛИЦА ИСТИННОСТИ
таблица определяющая значение сложного высказывания при всех возможных значениях простых

высказываний


ТАБЛИЦА ИСТИННОСТИтаблица определяющая значение сложного высказывания при всех возможных значениях простых высказываний

Слайд 12ТАБЛИЦА ИСТИННОСТИ ДЛЯ КОНЪЮНКЦИИ
Вывод:
Результат будет истинным тогда и только тогда,

когда оба исходных высказывания истинны
ТАБЛИЦА ИСТИННОСТИ ДЛЯ КОНЪЮНКЦИИВывод: Результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны

Слайд 13ТАБЛИЦА ИСТИННОСТИ ДЛЯ ДИЗЪЮНКЦИИ
Вывод:
Результат будет ложным тогда и только тогда,

когда оба исходных высказывания ложны, и истинным во всех остальных случаях
ТАБЛИЦА ИСТИННОСТИ  ДЛЯ ДИЗЪЮНКЦИИВывод: Результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны,

Слайд 14ТАБЛИЦА ИСТИННОСТИ ДЛЯ ИНВЕРСИИ
Вывод:
Результат будет ложным, если исходное высказывание истинно,

и наоборот.
ТАБЛИЦА ИСТИННОСТИ ДЛЯ ИНВЕРСИИВывод: Результат будет ложным, если исходное высказывание истинно, и наоборот.

Слайд 15ТАБЛИЦА ИСТИННОСТИ ДЛЯ ИМПЛИКАЦИИ
Вывод:
Результат будет ложным тогда и только тогда,

когда из истинного основания (А) следует ложное следствие (В)
ТАБЛИЦА ИСТИННОСТИ ДЛЯ ИМПЛИКАЦИИВывод: Результат будет ложным тогда и только тогда, когда из истинного основания (А) следует

Слайд 16ТАБЛИЦА ИСТИННОСТИ ДЛЯ ЭКВИВАЛЕНТНОСТИ
Вывод:
Результат будет истинным тогда и только тогда,

когда оба высказывания одновременно либо ложны, либо истинны
ТАБЛИЦА ИСТИННОСТИ ДЛЯ ЭКВИВАЛЕНТНОСТИВывод: Результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны,

Слайд 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 ( 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)


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

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

¬B)

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

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

^ A ^ ¬C)

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

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

¬B v ¬A ^ C


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

Слайд 263. Решить логические выражения:
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

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

→ (¬A v C)

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

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

v (A ^ ¬B)


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

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

^ (¬A v C)

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

Слайд 303. Решить логические выражения:
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

Слайд 313. Решить логические выражения:
9) F(A, B, C) = (A ^ B)

→ (A v ¬C)

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

Что такое shareslide.ru?

Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.


Для правообладателей

Яндекс.Метрика

Обратная связь

Email: Нажмите что бы посмотреть