Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Формальная логика
Содержание
- 1. Формальная логика
- 2. Слово «ЛОГИКА» означает- совокупность правил, которым подчиняется
- 3. Основные формы МЫШЛЕНИЯПонятие- это форма мышления, которая
- 4. ПримерыКвадрат «Принтер предназначен для ввода информации»Ураганный ветер Доказательство теоремы«Дважды два равно четырем»ПонятиеСуждение ложноеПонятиеУмозаключениеСуждение истинное
- 5. Формальная логикаэто наука о законах и формах
- 6. Суждения в математической логике называют высказываниями или
- 7. Сложное (составное) высказывание -получается из простых или
- 8. Пример: Составь сложно высказывание с союзом И,
- 9. Логическое выражение -это символическая запись, состоящая из
- 10. Логические операции и их свойства
- 11. Таблица истинности - это таблица со всеми возможными
- 12. ИнверсияОдноместная логическая операцияЧастица «НЕ»Иначе называется: Логическим отрицаниемОбозначение:
- 13. КонъюнкцияДвухместная логическая операцияСоюз «И»Иначе называется: Логическим умножениемОбозначение:
- 14. ДизъюнкцияДвухместная логическая операцияСоюз «ИЛИ»Иначе называется: Логическим сложениемОбозначение:
- 15. ИмпликацияУсловная двухместная логическая операцияСвязка «ЕСЛИ…, ТО…»Иначе называется:
- 16. ЭквивалентностьДвухместная логическая операцияСвязка «ТОГДА И ТОЛЬКО ТОГДА,
- 17. ЛитератураЕ.С.Кутугина «Арифметические и логические основы построения компьютера». Издание третье.Томск, 2007 год.
- 18. Скачать презентанцию
Слово «ЛОГИКА» означает- совокупность правил, которым подчиняется процесс мышленияЗаконы Логики отражают в сознании человека свойства, связи и отношения объектов окружающего мираЛогика как наука позволяет строить формальные модели окружающего мира (отстраняясь от
Слайды и текст этой презентации
Слайд 1Формальная логика
Котлярова В.Ю.,
учитель информатики,
МБОУ СОШ №1 им.
Н.К.Крупской,
города Нижний Тагил
Слайд 2Слово «ЛОГИКА» означает
- совокупность правил, которым подчиняется процесс мышления
Законы Логики
отражают в сознании человека свойства, связи и отношения объектов окружающего
мираЛогика как наука позволяет строить формальные модели окружающего мира (отстраняясь от их содержательной стороны)
Слайд 3Основные формы
МЫШЛЕНИЯ
Понятие-
это форма мышления, которая выделяет существенные признаки предмета
или класса предметов, отличающие его от других
Суждение-
это мысль, в которой
что-то утверждается или отрицаетсяУмозаключение-
это прием мышления, позволяющий на основе одного или нескольких суждений (посылок) получить новое суждение (вывод)
Слайд 4Примеры
Квадрат
«Принтер предназначен для ввода информации»
Ураганный ветер
Доказательство теоремы
«Дважды два
равно четырем»
Понятие
Суждение ложное
Понятие
Умозаключение
Суждение истинное
Слайд 5Формальная логика
это наука о законах и формах мышления
Математическая логика
изучает вопросы
применения математических методов для решения логических задач и построения логических
схем, которые лежат в основе работы любого компьютера
Слайд 6Суждения в математической логике называют высказываниями или логическими выражениями
Высказывание –
это повествовательное предложение, о котором можно сказать, истинно оно или
ложно.Примеры:
Каждый ромб – параллелограмм (истинно)
Каждый параллелограмм – ромб (ложно)
Каждый треугольник – равнобедренный треугольник (ложно)
Каждый равнобедренный треугольник – треугольник (истинно)
Слайд 7Сложное (составное) высказывание -
получается из простых или сложных высказываний с
использованием союзов «И», «ИЛИ» и частицы «НЕ»
Простые ИЛИ сложные высказывания
также называют логическими выражениями
Слайд 8Пример: Составь сложно высказывание с союзом И, ИЛИ
Простое высказывание:
«На
улице светит солнце»
Простое высказывание:
«На улице пасмурная погода»
Сложное высказывание с
союзом «И»:«На улице светит солнце И на улице пасмурная погода»
ЛОЖНО
Сложное высказывание с союзом «ИЛИ»:
«На улице светит солнце ИЛИ на улице пасмурная погода»
ИСТИННО
Слайд 9Логическое выражение -
это символическая запись, состоящая из логических величин (констант
или переменных), объединенных логическими операциями
Существуют разные варианты обозначения
истинности или
ложности переменных
Слайд 11Таблица истинности
- это таблица со всеми возможными значениями входных переменных
и соответствующими им значениями логической функции
Логическая функция
- это в которой
переменные принимают только два значения: логическая единица и логический нуль
Слайд 12Инверсия
Одноместная логическая операция
Частица «НЕ»
Иначе называется: Логическим отрицанием
Обозначение: А,
А
Результат ИНВЕРСИИ будет ложным, если исходное выражение истинно,
и наоборот.
Слайд 13Конъюнкция
Двухместная логическая операция
Союз «И»
Иначе называется: Логическим умножением
Обозначение: А&B, А
B, АxB, АB
Результат КОНЪЮНКЦИИ будет истинным, тогда и только тогда,
когда истинны оба исходных логических выражения одновременно.
Слайд 14Дизъюнкция
Двухместная логическая операция
Союз «ИЛИ»
Иначе называется: Логическим сложением
Обозначение: АVB, А+B
Результат ДИЗЪЮНКЦИИ
будет истинным, тогда и только тогда, когда истинно хотя бы
одно из исходных логических выражений.
Слайд 15Импликация
Условная двухместная логическая операция
Связка «ЕСЛИ…, ТО…»
Иначе называется: Логическим следованием
Обозначение: А=>B
Результат
ИМПЛИКАЦИИ будет ложным, тогда и только тогда, когда условие истинно,
а следствие ложно.
Слайд 16Эквивалентность
Двухместная логическая операция
Связка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»
Иначе называется: Равнозначностью
Обозначение:
АB
Результат ЭКВИВАЛЕНТНОСТИ будет истинным, тогда и только тогда, когда оба
исходных выражения одновременно истинны или ложны.
Слайд 17Литература
Е.С.Кутугина «Арифметические и логические основы построения компьютера». Издание третье.Томск, 2007
год.
