Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Свидетельство о публикации

Автоматическая выдача свидетельства о публикации в официальном СМИ сразу после добавления материала на сайт - Бесплатно

Добавить свой материал

За каждый опубликованный материал Вы получите бесплатное свидетельство о публикации от проекта «Инфоурок»

(Свидетельство о регистрации СМИ: Эл №ФС77-60625 от 20.01.2015)

Инфоурок / Информатика / Презентации / Презентация на тему "Алгебра высказываний"
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.

Подать заявку на курс
  • Информатика

Презентация на тему "Алгебра высказываний"

библиотека
материалов
АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ. 900igr.net
ВОПРОСЫ 1. Что такое логика? Формальная логика. Математическая логика. 2. Эта...
ВОПРОС №1 Что такое логика? Формальная логика Математическая логика
LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ СЛОВО «ЛОГИКА» ОБОЗНАЧАЕТ С...
ПОНЯТИЕ - ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ ОТРАЖАЮТСЯ СУЩЕСТВЕННЫЕ ПРИЗНАКИ ОТДЕЛЬНО...
МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В ОСНО...
ВОПРОС №2 ЭТАПЫ РАЗВИТИЯ ЛОГИКИ
АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «...
СИЛЛОГИЗМ - РАССУЖДЕНИЕ, В КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ...
АРИСТОТЕЛЬ ВЫДЕЛИЛ ВСЕ ПРАВИЛЬНЫЕ ФОРМЫ СИЛЛОГИЗМОВ, КОТОРЫЕ МОЖНО СОСТАВИТЬ...
Декарт Рене (1596-1650, фр. философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗ...
Лейбниц Г.В. (1646-1716, нем. ученый и математик) - Предложил использовать в...
Джордж Буль (1815-1864, анл.) - основоположник мат. логики. 1847 г. –Джордж Б...
ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: АУГУСТУС ДЕ МОРГАН (1806 - 1871)
ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 188...
ВОПРОС №3 ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Логика оказала влияние на развитие математики, прежде всего теории множеств,...
1938 г. – американский математик и инженер Клод Шеннон связал Булеву алгебру...
5) Идеи и аппарат логики используется в программировании, базах данных и эксп...
ВОПРОС №4 Алгебра высказываний Простые и сложные высказывания
АЛГЕБРА ЛОГИКИ (ВЫСКАЗЫВАНИЙ) - РАЗДЕЛ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, ИЗУЧАЮЩИЙ ВЫСКА...
ВЫСКАЗЫВАНИЕ - ЭТО ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, О КОТОРОМ МОЖНО СКАЗАТЬ, ЧТ...
ВЫСКАЗЫВАНИЕМ НЕ ЯВЛЯЕТСЯ: 1) ВОСКЛИЦАТЕЛЬНЫЕ И ВОПРОСИТЕЛЬНЫЕ ПРЕДЛОЖЕНИЯ. 2...
ВЫСКАЗЫВАНИЕ, КОТОРОЕ МОЖНО РАЗЛОЖИТЬ НА ЧАСТИ, БУДЕМ НАЗЫВАТЬ СЛОЖНЫМ, А НЕР...
ВОПРОС №5 ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) - ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ Д...
ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В 	В ОДНО...
КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В В ОДНО...
ИМПЛИКАЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ЕСЛИ . . . , ТО . ....
ЭКВИВАЛЕНЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ТОГДА И ТОЛЬКО ТОГ...
ПРИОРИТЕТ ЛОГИЧЕСКИХ ОПЕРАЦИЙ: ИНВЕРСИЯ; КОНЪЮНКЦИЯ; ДИЗЪЮНКЦИЯ; ИМПЛИКАЦИЯ И...
С помощью логических переменных и символов логических операций любое высказыв...
Простые высказывания будем называть логическими переменными, а сложные логиче...
34 1

Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Описание презентации по отдельным слайдам:

№ слайда 1 АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ. 900igr.net
Описание слайда:

АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ. 900igr.net

№ слайда 2 ВОПРОСЫ 1. Что такое логика? Формальная логика. Математическая логика. 2. Эта
Описание слайда:

ВОПРОСЫ 1. Что такое логика? Формальная логика. Математическая логика. 2. Этапы развития логики. 3. Применение математической логики. 4. Алгебра высказываний. Простые и сложные высказывания. 5. Основные операции алгебры высказываний.

№ слайда 3 ВОПРОС №1 Что такое логика? Формальная логика Математическая логика
Описание слайда:

ВОПРОС №1 Что такое логика? Формальная логика Математическая логика

№ слайда 4 LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ СЛОВО «ЛОГИКА» ОБОЗНАЧАЕТ С
Описание слайда:

LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ СЛОВО «ЛОГИКА» ОБОЗНАЧАЕТ СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ ПРОЦЕСС МЫШЛЕНИЯ. ОСНОВНЫМИ ФОРМАМИ АБСТРАКТНОГО МЫШЛЕНИЯ ЯВЛЯЮТСЯ: ПОНЯТИЯ, СУЖДЕНИЯ, УМОЗАКЛЮЧЕНИЯ.

№ слайда 5 ПОНЯТИЕ - ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ ОТРАЖАЮТСЯ СУЩЕСТВЕННЫЕ ПРИЗНАКИ ОТДЕЛЬНО
Описание слайда:

ПОНЯТИЕ - ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ ОТРАЖАЮТСЯ СУЩЕСТВЕННЫЕ ПРИЗНАКИ ОТДЕЛЬНОГО ПРЕДМЕТА ИЛИ КЛАССА ОДНОРОДНЫХ ПРЕДМЕТОВ. (ТРАПЕЦИЯ, ДОМ) СУЖДЕНИЕ - МЫСЛЬ, В КОТОРОЙ ЧТО-ЛИБО УТВЕРЖДАЕТСЯ ИЛИ ОТРИЦАЕТСЯ О ПРЕДМЕТАХ. (ВЕСНА НАСТУПИЛА, И ГРАЧИ ПРИЛЕТЕЛИ) УМОЗАКЛЮЧЕНИЕ - ПРИЕМ МЫШЛЕНИЯ, ПОСРЕДСТВОМ КОТОРОГО ИЗ ИСХОДНОГО ЗНАНИЯ ПОЛУЧАЕТСЯ НОВОЕ ЗНАНИЕ. (ВСЕ МЕТАЛЛЫ - ПРОСТЫЕ ВЕЩЕСТВА)

№ слайда 6 МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В ОСНО
Описание слайда:

МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В ОСНОВЕ ЛОГИЧЕСКОГО (ДЕДУКТИВНОГО) ВЫВОДА. ЛОГИКА (ФОРМАЛЬНАЯ) - НАУКА О ЗАКОНАХ И ФОРМАХ ПРАВИЛЬНОГО МЫШЛЕНИЯ.

№ слайда 7 ВОПРОС №2 ЭТАПЫ РАЗВИТИЯ ЛОГИКИ
Описание слайда:

ВОПРОС №2 ЭТАПЫ РАЗВИТИЯ ЛОГИКИ

№ слайда 8 АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «
Описание слайда:

АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «ПЕРВАЯ АНАЛИТИКА» «ВТОРАЯ АНАЛИТИКА» (ИССЛЕДОВАЛ РАЗЛИЧНЫЕ ФОРМЫ РАССУЖДЕНИЙ , ВВЕЛ ПОНЯТИЕ СИЛЛОГИЗМА)

№ слайда 9 СИЛЛОГИЗМ - РАССУЖДЕНИЕ, В КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ
Описание слайда:

СИЛЛОГИЗМ - РАССУЖДЕНИЕ, В КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ. 1. ВСЕ МЛЕКОПИТАЮЩИЕ ИМЕЮТ СКЕЛЕТ. ВСЕ КИТЫ - МЛЕКОПИТАЮЩИЕ. СЛЕДОВАТЕЛЬНО, ВСЕ КИТЫ ИМЕЮТ СКЕЛЕТ. 2. ВСЕ КВАДРАТЫ - РОМБЫ. ВСЕ РОМБЫ - ПАРАЛЛЕЛЕГРАММЫ. СЛЕДОВАТЕЛЬНО, ВСЕ КВАДРАТЫ - ПАРАЛЛЕЛОГРАММЫ.

№ слайда 10 АРИСТОТЕЛЬ ВЫДЕЛИЛ ВСЕ ПРАВИЛЬНЫЕ ФОРМЫ СИЛЛОГИЗМОВ, КОТОРЫЕ МОЖНО СОСТАВИТЬ
Описание слайда:

АРИСТОТЕЛЬ ВЫДЕЛИЛ ВСЕ ПРАВИЛЬНЫЕ ФОРМЫ СИЛЛОГИЗМОВ, КОТОРЫЕ МОЖНО СОСТАВИТЬ ИЗ РАССУЖДЕНИЙ ВИДА: - «Все А суть В» - «Некоторые А суть В» - «Все А не суть В» - «Некоторые А не суть В» Логика, основанная на теории силлогизмов называется классической.

№ слайда 11 Декарт Рене (1596-1650, фр. философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗ
Описание слайда:

Декарт Рене (1596-1650, фр. философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ МАТЕМАТИЧЕСКИЕ МЕТОДЫ.

№ слайда 12 Лейбниц Г.В. (1646-1716, нем. ученый и математик) - Предложил использовать в
Описание слайда:

Лейбниц Г.В. (1646-1716, нем. ученый и математик) - Предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления. Логика обретает символьный язык, конкретность законов, распространяется за рамки гуманитарных наук.

№ слайда 13 Джордж Буль (1815-1864, анл.) - основоположник мат. логики. 1847 г. –Джордж Б
Описание слайда:

Джордж Буль (1815-1864, анл.) - основоположник мат. логики. 1847 г. –Джордж Буль в работе «Математический анализ логики» изложил основы булевой алгебры. РАЗРАБОТАЛ АЛФАВИТ, ОРФОГРАФИЮ И ГРАММАТИКУ. 1815 – 1864 гг. благодаря трудам математика Дж. Буля появился раздел математической логики, получивший название алгебры логики или булевой алгебры.

№ слайда 14 ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: АУГУСТУС ДЕ МОРГАН (1806 - 1871)
Описание слайда:

ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: АУГУСТУС ДЕ МОРГАН (1806 - 1871)

№ слайда 15 ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 188
Описание слайда:

ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 1882) ПЛАТОН СЕРГЕЕВИЧ ПОРЕЦКИЙ (1846-1907) ЧАРЛЗ САНДЕРС ПИРС (1839-1914)

№ слайда 16 ВОПРОС №3 ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Описание слайда:

ВОПРОС №3 ПРИМЕНЕНИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

№ слайда 17 Логика оказала влияние на развитие математики, прежде всего теории множеств,
Описание слайда:

Логика оказала влияние на развитие математики, прежде всего теории множеств, функциональных систем, алгоритмов, рекурсивных функций. 2) В гуманитарных науках (логика, криминалистика). 3) Математическая логика является средством для изучения деятельности мозга - для решения этой самой важной проблемы биологии и науки вообще.

№ слайда 18 1938 г. – американский математик и инженер Клод Шеннон связал Булеву алгебру
Описание слайда:

1938 г. – американский математик и инженер Клод Шеннон связал Булеву алгебру (аппарат математической логики), двоичную систему кодирования и релейно-контактные переключательные схемы, заложив основы будущих ЭВМ. 4) Идеи и аппарат логики используется в кибернетике, ВТ и электротехнике (построены компьютеры на основе законов математической логики).

№ слайда 19 5) Идеи и аппарат логики используется в программировании, базах данных и эксп
Описание слайда:

5) Идеи и аппарат логики используется в программировании, базах данных и экспертных системах. PROLOG – язык логического программирования

№ слайда 20 ВОПРОС №4 Алгебра высказываний Простые и сложные высказывания
Описание слайда:

ВОПРОС №4 Алгебра высказываний Простые и сложные высказывания

№ слайда 21 АЛГЕБРА ЛОГИКИ (ВЫСКАЗЫВАНИЙ) - РАЗДЕЛ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, ИЗУЧАЮЩИЙ ВЫСКА
Описание слайда:

АЛГЕБРА ЛОГИКИ (ВЫСКАЗЫВАНИЙ) - РАЗДЕЛ МАТЕМАТИЧЕСКОЙ ЛОГИКИ, ИЗУЧАЮЩИЙ ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД НИМИ.

№ слайда 22 ВЫСКАЗЫВАНИЕ - ЭТО ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, О КОТОРОМ МОЖНО СКАЗАТЬ, ЧТ
Описание слайда:

ВЫСКАЗЫВАНИЕ - ЭТО ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, О КОТОРОМ МОЖНО СКАЗАТЬ, ЧТО ОНО ИСТИННО ИЛИ ЛОЖНО. 1) Земля - планета Солнечной системы. 2) 2+8<5 3) 5 •5=25 4) Всякий квадрат есть параллелограмм 5) Каждый параллелограмм есть квадрат 6) 2•2 =5

№ слайда 23 ВЫСКАЗЫВАНИЕМ НЕ ЯВЛЯЕТСЯ: 1) ВОСКЛИЦАТЕЛЬНЫЕ И ВОПРОСИТЕЛЬНЫЕ ПРЕДЛОЖЕНИЯ. 2
Описание слайда:

ВЫСКАЗЫВАНИЕМ НЕ ЯВЛЯЕТСЯ: 1) ВОСКЛИЦАТЕЛЬНЫЕ И ВОПРОСИТЕЛЬНЫЕ ПРЕДЛОЖЕНИЯ. 2) ОПРЕДЕЛЕНИЯ. 3) ПРЕДЛОЖЕНИЯ ТИПА: «ОН СЕРОГЛАЗ» «X2-4X+3=0»

№ слайда 24 ВЫСКАЗЫВАНИЕ, КОТОРОЕ МОЖНО РАЗЛОЖИТЬ НА ЧАСТИ, БУДЕМ НАЗЫВАТЬ СЛОЖНЫМ, А НЕР
Описание слайда:

ВЫСКАЗЫВАНИЕ, КОТОРОЕ МОЖНО РАЗЛОЖИТЬ НА ЧАСТИ, БУДЕМ НАЗЫВАТЬ СЛОЖНЫМ, А НЕРАЗЛОЖИМОЕ ДАЛЕЕ ВЫСКАЗЫВАНИЕ - ПРОСТЫМ. 1) На улице идет дождь. (А) 2) На улице идет дождь. (В) 3) На улице светит солнце и на улице идет дождь. (А и В) 4) На улице светит солнце или на улице идет дождь. (А или В) А1; В0

№ слайда 25 ВОПРОС №5 ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ
Описание слайда:

ВОПРОС №5 ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ

№ слайда 26 ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) - ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ Д
Описание слайда:

ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) - ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ «НЕ» К СКАЗУЕМОМУ ДАННОГО ПРОСТОГО ВЫСКАЗЫВАНИЯ ИЛИ ПРИСОЕДИНЕНИЕ СЛОВ «НЕВЕРНО ЧТО. . .» КО ВСЕМУ ВЫСКАЗЫВАНИЮ. ИНВЕРСИЯ ЛОГИЧЕСКОЙ ПЕРЕМЕННОЙ ИСТИННА, ЕСЛИ САМА ПЕРЕМЕННАЯ ЛОЖНА, И, НАОБОРОТ, ИНВЕРСИЯ ЛОЖНА, ЕСЛИ ПЕРЕМЕННАЯ ИСТИННА.

№ слайда 27 ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В 	В ОДНО
Описание слайда:

ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В В ОДНО С ПОМОЩЬЮ СОЮЗА «ИЛИ», УПОТРЕБЛЯЕМОГО В НЕИСКЛЮЧАЮЩЕМ ВИДЕ. ДИЗЪЮНКЦИЯ ДВУХ ЛОГИЧЕСКИХ ВЫСКАЗЫВАНИЙ ЛОЖНА ТОГДА И ТОЛЬКО ТОГДА, КОГДА ОБА ВЫСКАЗЫВАНИЯ ЛОЖНЫ.

№ слайда 28 КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В В ОДНО
Описание слайда:

КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ) - СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В В ОДНО С ПОМОЩЬЮ СОЮЗА «И». КОНЪЮНКЦИЯ ДВУХ ЛОГИЧЕСКИХ ВЫСКАЗЫВАНИЙ ИСТИННА ТОГДА И ТОЛЬКО ТОГДА, КОГДА ОБА ВЫСКАЗЫВАНИЯ ИСТИННЫ.

№ слайда 29 ИМПЛИКАЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ЕСЛИ . . . , ТО . .
Описание слайда:

ИМПЛИКАЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ЕСЛИ . . . , ТО . . .» ИМПЛИКАЦИЯ ВЫСКАЗЫВАНИЙ ЛОЖНА ЛИШЬ В СЛУЧАЕ, КОГДА А ИСТИННО, А В ЛОЖНО.

№ слайда 30 ЭКВИВАЛЕНЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ТОГДА И ТОЛЬКО ТОГ
Описание слайда:

ЭКВИВАЛЕНЦИЯ - ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ТОГДА И ТОЛЬКО ТОГДА, КОГДА …» ЭКВИВАЛЕНЦИЯ ДВУХ ВЫСКАЗЫВАНИЙ ИСТИННА В ТОМ И ТОЛЬКО ТОМ СЛУЧАЕ, КОГДА ОБА ЭТИ ВЫСКАЗЫВАНИЯ ИСТИННЫ ИЛИ ЛОЖНЫ.

№ слайда 31 ПРИОРИТЕТ ЛОГИЧЕСКИХ ОПЕРАЦИЙ: ИНВЕРСИЯ; КОНЪЮНКЦИЯ; ДИЗЪЮНКЦИЯ; ИМПЛИКАЦИЯ И
Описание слайда:

ПРИОРИТЕТ ЛОГИЧЕСКИХ ОПЕРАЦИЙ: ИНВЕРСИЯ; КОНЪЮНКЦИЯ; ДИЗЪЮНКЦИЯ; ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ.

№ слайда 32
Описание слайда:

№ слайда 33 С помощью логических переменных и символов логических операций любое высказыв
Описание слайда:

С помощью логических переменных и символов логических операций любое высказывание можно формализовать, т.е. заменить логической формулой. Всякая логическая переменная и символы «истина» («1») и «ложь» («0»)- формулы. Если А и В – формулы, то «не А», «А и В», «А или В», «если А, то В», «тогда и только тогда А, когда В» - формулы. Никаких других формул в алгебре логики нет.

№ слайда 34 Простые высказывания будем называть логическими переменными, а сложные логиче
Описание слайда:

Простые высказывания будем называть логическими переменными, а сложные логическими функциями.


Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Автор
Дата добавления 17.12.2015
Раздел Информатика
Подраздел Презентации
Просмотров283
Номер материала ДВ-265808
Получить свидетельство о публикации
Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх