ложности одних высказываний на основе истинности или ложности других
высказываний (утверждений).Математическая логика — современная форма логики, опирающаяся на формальные математические методы.
- Главная
- Разное
- Бизнес и предпринимательство
- Образование
- Развлечения
- Государство
- Спорт
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Религиоведение
- Черчение
- Физкультура
- ИЗО
- Психология
- Социология
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Что такое findslide.org?
FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.
Обратная связь
Email: Нажмите что бы посмотреть
Презентация на тему Основы логики. Алгебра высказываний
Содержание
- 2. ЛОГИКАЛогика — наука, изучающая методы установления истинности
- 3. АЛГЕБРА ЛОГИКИАлгебра логики — это математический аппарат,
- 4. АЛГЕБРА ЛОГИКИСуществуют три основные логические операции:Отрицание (инверсия,
- 5. ЛОГИЧЕСКИЕ ФУНКЦИИЛогический элемент — это устройство, реализующее
- 6. логические операцииконъюнкциялогическое умножение операция И */\Составное высказывание
- 7. логические операциидизъюнкциялогическое сложение операция ИЛИ +\/Составное высказывание
- 8. логические операцииинверсиялогическое отрицание операция НЕ -AСоставное высказывание
- 9. логические операцииимпликациялогическое следование ->Составное высказывание , образованное
- 10. Скачать презентацию
- 11. Похожие презентации
ЛОГИКАЛогика — наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний (утверждений).Математическая логика — современная форма логики, опирающаяся на формальные математические методы.
Слайд 2
ЛОГИКА
Логика — наука, изучающая методы установления истинности или
Слайд 3
АЛГЕБРА ЛОГИКИ
Алгебра логики — это математический аппарат, с
помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.
Логическое
высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.
Слайд 4
АЛГЕБРА ЛОГИКИ
Существуют три основные логические операции:
Отрицание (инверсия, операция,
выражаемая словом “не”).
Дизъюнкция (логическое сложение, операция, выражаемая связкой
“или” +,\/). Конъюнкция (логическое умножение, операция, выражаемая связкой “и”- /\).
Слайд 5
ЛОГИЧЕСКИЕ ФУНКЦИИ
Логический элемент — это устройство, реализующее ту
или иную логическую функцию. Y = f(X1,X2,X3,...,Xn) — логическая
функция, может быть задана таблицей, которая называется таблицей истинности.Логическая функция — это функция логических переменных, которая может принимать только два значения: 0 или 1.
Слайд 6
логические операции
конъюнкция
логическое умножение
операция И
*
/\
Составное высказывание ,
образованное в результате операции логического умножения (конъюнкции), истинно тогда
и только тогда, когда истинны все входящие в него простые высказывания.
Слайд 7
логические операции
дизъюнкция
логическое сложение
операция ИЛИ
+
\/
Составное высказывание ,
образованное в результате операции логического сложения (дизъюнкции), истинно тогда
и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
Слайд 8
логические операции
инверсия
логическое отрицание
операция НЕ
-
A
Составное высказывание ,
образованное в результате операции логического отрицания делает истинное высказывание
ложным, а ложное истинным.
Слайд 9
логические операции
импликация
логическое следование
->
Составное высказывание , образованное в
