Термины по теме «Элементы алгебры логики»
Основные понятия
Дать определение и привести примеры
- Логика
- Математическая логика
- Алгебра логики
- Понятие
- Высказывание (суждение)
- Простое логическое выражение
- Сложное логическое выражение
- Предикат
- Умозаключение
- Дедуктивное умозаключение
- Индуктивное умозаключение
- Умозаключение по аналогии
- Логическая формула
- Логическая функция
Логические операции
Дать определение, записать все способы обозначения логической операции, добавить таблицу истинности и фрагмент схемы или диаграмму Венна (круги Эйлера)
- Логические связки
- Логическая операция
- Логическая схема
- Логическое отрицание (НЕ, инверсия, NOT)
- Логическое сложение (ИЛИ, дизъюнкция, OR)
- Сложение по модулю 2 (ЛИБО...ЛИБО, строгая дизъюнкция, XOR)
- Логическое умножение (И, конъюнкция, AND)
- Логическое следование(ЕСЛИ… ТО, импликация)
- Равнозначность(ТОГДА И ТОЛЬКО ТОГДА, эквиваленция)
- Стрелка Пирса (НИ...НИ, отрицание дизъюнкции)
- Штрих Шеффера (НЕ ИЛИ НЕ, отрицание конъюнкции)
- Таблица истинности
Законы алгебры логики
Записать все логические формулы для закона и привести наглядные примеры использования данного закона.
- Переместительный или коммутативный закон
- Сочетательный или ассоциативный закон
Распределительный или дистрибутивный закон
Закон общей инверсии (законы де Моргана)
Закон двойного отрицания
Закон исключения (склеивания)
Закон поглощения
- Закон непротиворечия
- Закон исключения третьего
- Закон идемпотентности
- Закон исключения констант
- Закон противоречия
- Закон контрапозиции (правило перевертывания)
Исторические личности
Какой вклад ученый сделал в логику (или алгебру логики), его фото, основные названия трудов.
- Аристотель
- Михаил Ломоносов
- Вильгельм Лейбниц
- Джордж Буль
- Д. Гильберт
- А.А Марков
- Клод Шеннон