Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Основы логики
Содержание
- 1. Основы логики
- 2. Алгебра логики (булева алгебра) - это раздел
- 3. Джордж Буль
- 4. Логическое высказывание — это любое повествовательное предложение,
- 5. Пример: «Трава зеленая» -истинное высказывание. «Лев – птица» - ложное высказывание.
- 6. Не всякое предложение является логическим высказыванием.
- 7. Употребляемые в обычной речи слова и словосочетания
- 8. Высказывания, образованные из других высказываний с помощью
- 9. Пример: Элементарные высказывания: «Петров — врач», «Петров
- 10. Чтобы обращаться к логическим высказываниям, их обозначают
- 11. Пример:А ="Тимур поедет летом на море", В
- 12. Операции над логическими высказываниями
- 13. Таблица истинности это табличное представление логической схемы
- 14. Логическое «отрицание» (инверсия или НЕ) обозначается чертой над высказыванием Ā .
- 15. Диаграмма Эйлера-Венна:
- 16. Пример:А = «Луна — спутник Земли»А = "Луна — не спутник Земли"
- 17. Высказывание А истинно, когда A ложно, и ложно, когда A истинно. Таблица истинности
- 18. Логическое умножение ( «и», конъюнкция
- 19. Диаграмма Эйлера-Венна:
- 20. Пример: А = «10 делится на 2»,
- 21. Высказывание А · В истинно тогда и
- 22. Логическое сложение ( «или», дизъюнкция (лат.
- 23. Диаграмма Эйлера-Венна:
- 24. Высказывание А v В ложно тогда и
- 25. Импликация (лат. implico — тесно связаны)
- 26. Высказывание А В
- 27. Эквиваленция (двойная импликация) - операция, выражаемая
- 28. Высказывание А В истинно
- 29. А = «10 делится на 2», А=
- 30. Порядок выполнения логических операций 1.Сначала выполняется операция
- 31. A → B = ¬ A ∨
- 32. http://electrik.info/main/fakty/229-buleva-algebra-chast-1-nemnogo-istorii.htmlhttphttp://http://booleanalgebrahttp://booleanalgebra.http://booleanalgebra.narodhttp://booleanalgebra.narod.http://booleanalgebra.narod.ruhttp://booleanalgebra.narod.ru/http://www.mirea.ac.ru/d1/metodika/Indexmet.htmhttp://alglib.sources.ru/articles/logic.phphttp://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D00http://www.sch861.ru/2-school/3-11-ikt/ikt/urok/logica/2.html· http://kpolyakov.narod.ru/school/ege.htmО.Б. Богомолова Логические задачи. — М.
- 33. Скачать презентанцию
Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними.
Слайды и текст этой презентации
Слайд 1основы логики
Морозова Инна Валентиновна
Учитель информатики и технологии
МБОУ»СОШ №3 им.
Г.В.Зимина» г. Калуги
Слайд 2Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания,
рассматриваемые со стороны их логических значений (истинности или ложности) и
логических операций над ними.
Слайд 4Логическое высказывание — это любое повествовательное предложение, в отношении которого
можно однозначно сказать, истинно оно или ложно.
Слайд 6Не всякое предложение является логическим высказыванием. Пример: «ученик десятого класса»
«информатика — интересный предмет».
Слайд 7Употребляемые в обычной речи слова и словосочетания "не", "и", "или",
"если... , то", "тогда и только тогда" и другие позволяют
из уже заданных высказываний строить новые высказывания. Такие слова и словосочетания называются логическими связками.
Слайд 8Высказывания, образованные из других высказываний с помощью логических связок, называются
составными.
Высказывания, не являющиеся составными, называются элементарными.
Слайд 9Пример:
Элементарные высказывания:
«Петров — врач»,
«Петров — шахматист»
Составные
высказывания:
"Петров — врач и шахматист", понимаемое как "Петров —
врач, хорошо играющий в шахматы". "Петров — врач или шахматист", понимаемое в алгебре логики как "Петров или врач, или шахматист, или и врач и шахматист одновременно".
Слайд 10Чтобы обращаться к логическим высказываниям, их обозначают буквами.
Пример:
А =
«Луна – спутник Земли», А = 1
В = « 3*
2 = 5», В = 0
Слайд 11Пример:
А ="Тимур поедет летом на море",
В = "Тимур летом
отправится в горы".
А и В = "Тимур летом побывает
и на море, и в горах»
Слайд 13Таблица истинности это табличное представление логической схемы (операции), в котором
перечислены все возможные сочетания значений истинности входных сигналов (операндов) вместе
со значением истинности выходного сигнала (результата операции) для каждого из этих сочетаний.
Слайд 18Логическое умножение
( «и», конъюнкция (лат. conjunctio —
соединение)) обозначается точкой " . " (может также обозначаться знаками
/\ или &).А . В, А /\ В, А & В
Слайд 20Пример:
А = «10 делится на 2», А= 1
В =
«5 больше 3», В = 1
С = « 4 –
нечётное число», С = 0А & В = «10 делится на 2 и 5 больше 3», А & В = 1
А & С = «10 делится на 2 и 4 – чётное число», А & С = 0
Слайд 21Высказывание А · В истинно тогда и только тогда, когда
оба высказывания А и В истинны.
Таблица истинности
Слайд 22Логическое сложение
( «или», дизъюнкция (лат. disjunctio — разделение)
обозначается знаком v или +.
А V В, А
+ В
Слайд 24Высказывание А v В ложно тогда и только тогда, когда
оба высказывания А и В ложны.
Таблица истинности
Слайд 25 Импликация (лат. implico — тесно связаны)
-операция, выражаемая связками
«если ..., то…», «из ... следует…», «... влечет ...».
Обозначается
знаком . А В
.
Слайд 26Высказывание А В ложно тогда и
только тогда, когда А истинно, а В – ложно.
Таблица
истинности
Слайд 27Эквиваленция (двойная импликация)
- операция, выражаемая связками «тогда и
только тогда», «необходимо и достаточно», «... равносильно ...» Обозначается знаком
или ~.А В, А ~ В.
Слайд 28Высказывание А В истинно тогда и только
тогда, когда значения А и В совпадают.
Таблица
истинности
Слайд 29А = «10 делится на 2», А= 1
В = «5
больше 3», В = 1
С = « 4 – нечётное
число», С = 0К = « 3 – чётное число», К = 0
А + В = «10 делится на 2 или 5 больше 3», А + В = 1
А + С = «10 делится на 2 или 4 – чётное число», А + С = 1
С + К = « 4 – нечётное число или 3 – чётное число», С+К = 0
Пример:
Слайд 30Порядок выполнения логических операций
1.Сначала выполняется операция отрицания (“не”),
2.
Затем конъюнкция (“и”),
3. После конъюнкции — дизъюнкция (“или”),
4. В
последнюю очередь — импликация и эквиваленция.
Слайд 31A → B = ¬ A ∨ B
Законы де
Моргана ¬ (A ∧ B) = ¬ A ∨ ¬
B¬ (A ∨ B) = ¬ A ∧ ¬ B
3. Законы коммутативности А&B ⬄ B&A
AVB ⬄ BVA
4. Законы ассоциативности (А&B)&C ⬄ A&(B&C)
(АVB)VC ⬄ AV(BVC)
5. Законы дистрибутивности А&(BVC) ⬄ (A&B)V(A&C)
АV(B&C) ⬄ (AVB)&(AVC)
6. Законы поглощения A&(AVB)⬄A
AV(A&B)⬄A
7. Законы противоречия A&¬A=0
8. Закон исключения третьего AV¬A=1
9. Закон двойного отрицания ¬¬A=A
10. Закон контрапозиции A-›B⬄ ¬A->¬B
Законы логики.
Слайд 32http://electrik.info/main/fakty/229-buleva-algebra-chast-1-nemnogo-istorii.html
httphttp://http://booleanalgebrahttp://booleanalgebra.http://booleanalgebra.narodhttp://booleanalgebra.narod.http://booleanalgebra.narod.ruhttp://booleanalgebra.narod.ru/
http://www.mirea.ac.ru/d1/metodika/Indexmet.htm
http://alglib.sources.ru/articles/logic.php
http://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D00
http://www.sch861.ru/2-school/3-11-ikt/ikt/urok/logica/2.html·
http://kpolyakov.narod.ru/school/ege.htm
О.Б. Богомолова Логические задачи. — М. БИНОМ. Лаборатория знаний,
2005
В.Ю. Лыскова, Е.А. Ракитина Логика в информатике. — М.
“Информатика и образование”. 1999 г. С.С. Коробков Элементы математической логики и теории вероятности. — Екатеринбург, 1999
М.И. Башмаков Уроки математики. Выпуск 4. Учимся логике. — Санкт-Петербург “Информатизация образования”, 2000 г.
А.П. Бойко Практикум по логике. — М. “Издательский центр АЗ”, 1997 г.
А.С. Жилин Логические задачи.
Список использованных источников информации.
Теги
Похожие презентации
Обратная связь
Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть
Что такое TheSlide.ru?
Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно хранить и делиться своими презентациями с другими пользователями.