Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

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

Содержание

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

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

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

Этапы развития логики.
3. Применение математической логики.
4. Алгебра высказываний. Простые

и сложные высказывания.
5. Основные операции алгебры высказываний.



Слайд 3 ВОПРОС №1
Что такое логика?

Формальная
логика

Математическая логика

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

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

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

СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ ПРОЦЕСС МЫШЛЕНИЯ.
ОСНОВНЫМИ ФОРМАМИ АБСТРАКТНОГО МЫШЛЕНИЯ

ЯВЛЯЮТСЯ: ПОНЯТИЯ, СУЖДЕНИЯ, УМОЗАКЛЮЧЕНИЯ.

Слайд 5 ПОНЯТИЕ - ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ
ОТРАЖАЮТСЯ СУЩЕСТВЕННЫЕ

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

ПРИЗНАКИ
ОТДЕЛЬНОГО ПРЕДМЕТА ИЛИ КЛАССА
ОДНОРОДНЫХ ПРЕДМЕТОВ. (ТРАПЕЦИЯ, ДОМ)

СУЖДЕНИЕ

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

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



Слайд 6
МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ,

МАТЕМАТИЧЕСКАЯ ЛОГИКА - ИЗУЧАЕТ ЛОГИЧЕСКИЕ СВЯЗИ И ОТНОШЕНИЯ, ЛЕЖАЩИЕ В ОСНОВЕ

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

О ЗАКОНАХ И ФОРМАХ ПРАВИЛЬНОГО МЫШЛЕНИЯ.


Слайд 7 ВОПРОС №2
ЭТАПЫ РАЗВИТИЯ ЛОГИКИ


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

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

АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИКНИГИ: «КАТЕГОРИИ» «ПЕРВАЯ АНАЛИТИКА»

«КАТЕГОРИИ»
«ПЕРВАЯ АНАЛИТИКА»
«ВТОРАЯ АНАЛИТИКА»

(ИССЛЕДОВАЛ РАЗЛИЧНЫЕ ФОРМЫ РАССУЖДЕНИЙ ,

ВВЕЛ ПОНЯТИЕ СИЛЛОГИЗМА)

Слайд 9 СИЛЛОГИЗМ - РАССУЖДЕНИЕ, В
КОТОРОМ ИЗ ЗАДАННЫХ ДВУХ

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


СУЖДЕНИЙ ВЫВОДИТСЯ ТРЕТЬЕ.
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 -

ДЖЕВОНС (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»

ОПРЕДЕЛЕНИЯ.

3) ПРЕДЛОЖЕНИЯ ТИПА:
«ОН СЕРОГЛАЗ»

«X2-4X+3=0»

Слайд 24 ВЫСКАЗЫВАНИЕ, КОТОРОЕ МОЖНО РАЗЛОЖИТЬ НА ЧАСТИ, БУДЕМ НАЗЫВАТЬ

ВЫСКАЗЫВАНИЕ, КОТОРОЕ МОЖНО РАЗЛОЖИТЬ НА ЧАСТИ, БУДЕМ НАЗЫВАТЬ СЛОЖНЫМ, А НЕРАЗЛОЖИМОЕ

СЛОЖНЫМ, А НЕРАЗЛОЖИМОЕ ДАЛЕЕ ВЫСКАЗЫВАНИЕ - ПРОСТЫМ.
1) На

улице идет дождь. (А)
2) На улице идет дождь. (В)
3) На улице светит солнце и на улице идет дождь. (А и В)
4) На улице светит солнце или на улице идет дождь. (А или В)
А1; В0

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

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

Слайд 26 ИНВЕРСИЯ (ЛОГИЧЕСКОЕ ОТРИЦАНИЕ) - ПРИСОЕДИНЕНИЕ ЧАСТИЦЫ

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

«НЕ» К СКАЗУЕМОМУ ДАННОГО ПРОСТОГО ВЫСКАЗЫВАНИЯ ИЛИ ПРИСОЕДИНЕНИЕ СЛОВ

«НЕВЕРНО ЧТО. . .» КО ВСЕМУ ВЫСКАЗЫВАНИЮ.

ИНВЕРСИЯ ЛОГИЧЕСКОЙ ПЕРЕМЕННОЙ ИСТИННА, ЕСЛИ САМА ПЕРЕМЕННАЯ ЛОЖНА, И, НАОБОРОТ, ИНВЕРСИЯ ЛОЖНА, ЕСЛИ ПЕРЕМЕННАЯ ИСТИННА.


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

ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) -СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В 	В ОДНО

В В ОДНО С ПОМОЩЬЮ СОЮЗА «ИЛИ»,
УПОТРЕБЛЯЕМОГО В

НЕИСКЛЮЧАЮЩЕМ ВИДЕ.

ДИЗЪЮНКЦИЯ ДВУХ
ЛОГИЧЕСКИХ ВЫСКАЗЫВАНИЙ
ЛОЖНА ТОГДА И ТОЛЬКО ТОГДА, КОГДА ОБА ВЫСКАЗЫВАНИЯ
ЛОЖНЫ.


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

КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ) -СОЕДИНЕНИЕ ДВУХ ВЫСКАЗЫВАНИЙ А И В В ОДНО

В
В ОДНО С ПОМОЩЬЮ СОЮЗА «И».
КОНЪЮНКЦИЯ ДВУХ


ЛОГИЧЕСКИХ ВЫСКАЗЫВАНИЙ
ИСТИННА ТОГДА И ТОЛЬКО ТОГДА,
КОГДА ОБА ВЫСКАЗЫВАНИЯ
ИСТИННЫ.

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

ИМПЛИКАЦИЯ -ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, СООТВЕТСТВУЮЩАЯ СОЮЗУ «ЕСЛИ . . . , ТО

. , ТО . . .»

ИМПЛИКАЦИЯ ВЫСКАЗЫВАНИЙ
ЛОЖНА

ЛИШЬ В СЛУЧАЕ, КОГДА А
ИСТИННО, А В ЛОЖНО.


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

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

ТОГДА, КОГДА …»

ЭКВИВАЛЕНЦИЯ ДВУХ
ВЫСКАЗЫВАНИЙ ИСТИННА В ТОМ

И ТОЛЬКО ТОМ СЛУЧАЕ, КОГДА ОБА ЭТИ
ВЫСКАЗЫВАНИЯ ИСТИННЫ ИЛИ ЛОЖНЫ.

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

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

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

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

любое высказывание можно формализовать, т.е. заменить логической формулой.
Всякая логическая

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


  • Имя файла: algebra-vyskazyvaniy.pptx
  • Количество просмотров: 104
  • Количество скачиваний: 0