ТЕОРИЯ
- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по информатике на тему Основы логики(теория)
Содержание
- 1. Презентация по информатике на тему Основы логики(теория)
- 2. ОпределениеЛогика – это наука о формах и способах мышленияФормы мышленияпонятиесуждение(высказывание, утверждение)умозаключение
- 3. ПонятиеПонятие – это форма мышления, фиксирующая основные,
- 4. ВысказываниеВысказывание – это форма мышления, в которой
- 5. Вопросительные и восклицательные предложения не являются высказываниями,
- 6. УмозаключениеУмозаключение – это форма мышления, с помощью
- 7. Алгебра высказыванийСлужит для определения истинности или ложности
- 8. Логические операцииЛогическое умножениеОбъединение двух (или нескольких) высказываний
- 9. Обозначение операции логического умножения: &, ^, *;Пусть
- 10. Таблица истинности
- 11. Логическое сложениеОбъединение двух (или нескольких) высказываний в
- 12. Обозначение операции логического сложения: ; +;Пусть имеется
- 13. Таблица истинности
- 14. Логическое отрицаниеПрисоединение частицы «не» к высказыванию называется
- 15. Таблица истинности
- 16. Логическое следованиеСоединение двух высказываний в одно с
- 17. Обозначение импликации: , Формула: F = A BТаблица истинности
- 18. Логическое равенствоСоединение двух высказываний в одно помощью
- 19. Обозначение эквивалентности:, , Формула: F = A BТаблица истинности
- 20. Приоритет действийИнверсияКонъюнкцияДизъюнкцияСоставление таблиц истинностиЧисло строк = 2n
- 21. Законы логикиЗакон тождества: всякое высказывание тождественно самому
- 22. Законы логикиЗакон двойного отрицания: если дважды отрицать
- 23. Законы логикиЗакон дистрибутивности:Законы Моргана:Поглощение 1:Поглощение 0:Поглощения:
ОпределениеЛогика – это наука о формах и способах мышленияФормы мышленияпонятиесуждение(высказывание, утверждение)умозаключение
Слайд 1ОСНОВЫ ЛОГИКИ
Учитель информатики МБОУ «Великомихайловская СОШ Новооскольского района Белгородской области»
Ерошенко
Игорь Викторович
Слайд 2Определение
Логика – это наука о формах и способах мышления
Формы мышления
понятие
суждение
(высказывание,
утверждение)
умозаключение
Слайд 3Понятие
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта;
Понятие имеет
две стороны: содержание и объем.
Содержание – это совокупность существенных признаков объекта;
Объем – это совокупность предметов, на которые распространяется понятие;
Пример
Прямоугольник- геометрическая фигура, у которой все углы прямые и противоположные стороны равны.
Содержание – это совокупность существенных признаков объекта;
Объем – это совокупность предметов, на которые распространяется понятие;
Пример
Прямоугольник- геометрическая фигура, у которой все углы прямые и противоположные стороны равны.
Слайд 4Высказывание
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается
о реальных предметах, их свойствах и отношениях между ними;
Высказывание может быть либо истинно, либо ложно;
Высказывания могут быть выражены с помощью естественных и формальных языков;
Высказывания могут быть выражены только повествовательным предложением;
Высказывания могут быть простыми и составными;
Истинность простых высказываний определяется на основании здравого смысла;
Истинность составных высказываний определяется с помощью алгебры высказываний.
Пример:
Зимой идет снег.
Процессор является устройством обработки
информации.
Высказывание может быть либо истинно, либо ложно;
Высказывания могут быть выражены с помощью естественных и формальных языков;
Высказывания могут быть выражены только повествовательным предложением;
Высказывания могут быть простыми и составными;
Истинность простых высказываний определяется на основании здравого смысла;
Истинность составных высказываний определяется с помощью алгебры высказываний.
Пример:
Зимой идет снег.
Процессор является устройством обработки
информации.
Слайд 5
Вопросительные и восклицательные предложения не являются высказываниями,
т.к. в них ничего
не утверждается и не отрицается
Например:
Нельзя касаться оголенных проводов!
Когда закончится урок?
Какого цвета этот стол?
Нельзя пить и есть в кабинете Информатики
и ИКТ!
Например:
Нельзя касаться оголенных проводов!
Когда закончится урок?
Какого цвета этот стол?
Нельзя пить и есть в кабинете Информатики
и ИКТ!
!
Слайд 6Умозаключение
Умозаключение – это форма мышления, с помощью которой из одного или
нескольких высказываний может быть получено новое суждение;
Посылками умозаключения могут быть только истинные суждения.
Пример:
Все металлы - простые вещества. Литий - металл.→ Литий - простое вещество.
Один из углов треугольника равен 90º. → Этот треугольник прямоугольный.
Посылками умозаключения могут быть только истинные суждения.
Пример:
Все металлы - простые вещества. Литий - металл.→ Литий - простое вещество.
Один из углов треугольника равен 90º. → Этот треугольник прямоугольный.
Слайд 7Алгебра высказываний
Служит для определения истинности или ложности составных высказываний, не вникая
в их содержание;
В алгебре высказываний простым высказываниям ставятся в соответствие логические переменные, обозначаемые латинскими буквами:
Например: A – «Крокодилы летают»
B – «Земля вращается вокруг Солнца»
Если высказывание истинно, то ему соответствует значение логической переменной 1, если ложно – 0; Тогда: A = 0, B = 1
Над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания;
В алгебре высказываний простым высказываниям ставятся в соответствие логические переменные, обозначаемые латинскими буквами:
Например: A – «Крокодилы летают»
B – «Земля вращается вокруг Солнца»
Если высказывание истинно, то ему соответствует значение логической переменной 1, если ложно – 0; Тогда: A = 0, B = 1
Над высказываниями можно производить определенные логические операции, в результате которых получаются новые, составные высказывания;
Слайд 8Логические операции
Логическое умножение
Объединение двух (или нескольких) высказываний в одно с помощью
союза «и» («а», «но») называется операцией логического умножения или конъюнкцией.
Правило истинности
Составное высказывание, образованное в результате логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны входящие в него простые высказывания.
Правило истинности
Составное высказывание, образованное в результате логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны входящие в него простые высказывания.
Слайд 9Обозначение операции логического умножения: &, ^, *;
Пусть имеется два простых высказывания
A и B, составим составное высказывание F с помощью конъюнкции: F = A & B;
Значение логической функции можно определить с помощь таблицы истинности.
Значение логической функции можно определить с помощь таблицы истинности.
Слайд 11Логическое сложение
Объединение двух (или нескольких) высказываний в одно с помощью союза
«или» называется операцией логического сложения или дизъюнкцией.
Правило истинности
Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
Правило истинности
Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
Слайд 12Обозначение операции логического сложения: ; +;
Пусть имеется два простых высказывания A
и B, составим составное высказывание F с помощью дизъюнкции: F = A B;
Значение логической функции можно определить с помощь таблицы истинности.
Значение логической функции можно определить с помощь таблицы истинности.
Слайд 14Логическое отрицание
Присоединение частицы «не» к высказыванию называется операцией логического отрицания или
инверсией
Правило истинности
Логическое отрицание (инверсия) делает истинное высказывание ложным, а ложное - истинным.
Обозначение инверсии: ¬; ¯
Пусть имеется простое высказывание A, составим составное высказывание F с помощью инверсии: F = ¬ A (F = )
Правило истинности
Логическое отрицание (инверсия) делает истинное высказывание ложным, а ложное - истинным.
Обозначение инверсии: ¬; ¯
Пусть имеется простое высказывание A, составим составное высказывание F с помощью инверсии: F = ¬ A (F = )
Слайд 16Логическое следование
Соединение двух высказываний в одно с помощью оборота речи «если…,
то…» называется операцией логического следования или импликацией
Правило истинности
Составное высказывание, образованное с помощью операции логического следования (импликации), ложно тогда, когда из истинной посылки (высказывания) следует ложный вывод (второе высказывание)
Правило истинности
Составное высказывание, образованное с помощью операции логического следования (импликации), ложно тогда, когда из истинной посылки (высказывания) следует ложный вывод (второе высказывание)
Слайд 18Логическое равенство
Соединение двух высказываний в одно помощью оборота речи «тогда и
только тогда, когда» называется операцией логического равенства или эквивалентностью
Правило истинности
Составное высказывание, образованное с помощью операции логического равенства (эквивалентности), истинно только тогда, когда оба высказывания одновременно либо истинны, либо ложны.
Правило истинности
Составное высказывание, образованное с помощью операции логического равенства (эквивалентности), истинно только тогда, когда оба высказывания одновременно либо истинны, либо ложны.
Слайд 20Приоритет действий
Инверсия
Конъюнкция
Дизъюнкция
Составление таблиц истинности
Число строк = 2n , где n –число
логических переменных;
Число столбцов = число логических переменных + число логических операций
Число столбцов = число логических переменных + число логических операций
Слайд 21Законы логики
Закон тождества: всякое высказывание тождественно самому себе
Закон непротиворечия: высказывание
не может быть одновременно истинным и ложным
Закон исключения третьего: высказывание может быть либо истинным, либо ложным третьего не дано
Закон исключения третьего: высказывание может быть либо истинным, либо ложным третьего не дано
Слайд 22Законы логики
Закон двойного отрицания: если дважды отрицать одно и то же
высказывание, то в результате получится исходное высказывание
Закон коммутативности:
Закон ассоциативности:
Закон коммутативности:
Закон ассоциативности:
