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

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


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

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

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

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

Презентация на тему Логические операции

Содержание

— способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.Истинное высказывание в логике обозначается - 1, ложное – 0Высказывания обозначаются буквами латинского алфавита: А, В, С
Логическое отрицание (инверсия)Логическое умножение (конъюнкция)Логическое сложение (дизъюнкция)Логическое следование (импликация)Логическое равенство (эквивалентность)МОУ СОШ — способ построения сложного высказывания из данных высказываний, при котором значение истинности - образуется из высказывания с помощью добавления частицы «не» к сказуемому или Истинность высказывания, имеющего форму Ā (вне зависимости от его содержания), Графическая иллюстрация инверсии с помощью диаграмм Эйлера — Венна:А — множество отличников;Ā - образуется соединением двух высказываний в одно с помощью союза «и».Обозначение конъюнкции:A Таблица истинности конъюнкции:МОУ СОШ № 19 Графическая иллюстрация конъюнкции с помощью диаграмм Эйлера — Венна:A — множество отличников образуется соединением двух высказываний в одно с помощью союза «или».		Союз «или» может Примеры строгих и нестрогих дизъюнкций:МОУ СОШ № 19 Под дизъюнкцией будем понимать нестрогую дизъюнкцию, если не оговорено иное.Обозначение Таблица истинности дизъюнкции:МОУ СОШ № 19 Графическая иллюстрация дизъюнкции с помощью диаграмм Эйлера — Венна:A — множество отличников образуется соединением двух высказываний в одно с помощью оборота речи «если..., то...».Обозначение Таблица истинности импликации:МОУ СОШ № 19 Графическая иллюстрация импликации с помощью диаграмм Эйлера — Венна:(A=0)(B=0)(A=0)(B=1)(A=1)(B=1)МОУ СОШ № 19 образуется соединением двух высказываний в одно при помощи оборота речи Таблица истинности эквивалентности:МОУ СОШ № 19 Графическая иллюстрация эквивалентности с помощью диаграмм Эйлера — Венна:(A=0)(B=0)(A=1)(B=1)МОУ СОШ № 19 Лыскова В.Ю., Ракитина Е.А. Логика в информатике.Семакин И.Г., Вараксин Г.С. Информатика. Структурированный
Слайды презентации

Слайд 2 — способ построения сложного высказывания из данных высказываний,

— способ построения сложного высказывания из данных высказываний, при котором значение

при котором значение истинности сложного высказывания полностью определяется значениями

истинности исходных высказываний.

Истинное высказывание в логике обозначается - 1, ложное – 0
Высказывания обозначаются буквами латинского алфавита: А, В, С и т.д.

МОУ СОШ № 19 "Выбор" г. Находка

Логическая операция


Слайд 3 - образуется из высказывания с помощью добавления частицы

- образуется из высказывания с помощью добавления частицы «не» к сказуемому

«не» к сказуемому или использования оборота речи «неверно, что…».



Обозначение

инверсии:
НЕ А;
¬ A;
Ā;
NOT А.

МОУ СОШ № 19 "Выбор" г. Находка

Логическое отрицание (инверсия)


А = Дождя не будет
Ā = Неверно, что дождя не будет. (Дождь будет. )


Слайд 4 Истинность высказывания, имеющего форму Ā (вне

Истинность высказывания, имеющего форму Ā (вне зависимости от его содержания),

зависимости от его содержания), определяется по специальной таблице истинности.

Таблица истинности инверсии (неА):

МОУ СОШ № 19 "Выбор" г. Находка

Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное — истинным.


Слайд 5 Графическая иллюстрация инверсии с помощью диаграмм Эйлера —

Графическая иллюстрация инверсии с помощью диаграмм Эйлера — Венна:А — множество

Венна:



А — множество отличников;
Ā — множество неотличников.
МОУ СОШ №

19 "Выбор" г. Находка

А

Ā


Слайд 6 - образуется соединением двух высказываний в одно с

- образуется соединением двух высказываний в одно с помощью союза «и».Обозначение

помощью союза «и».



Обозначение конъюнкции:
A И B;
A ۸ B;
A &

B;
A  B;
A AND B.

МОУ СОШ № 19 "Выбор" г. Находка

Логическое умножение (конъюнкция)

А = «10 делится на 2»
В = «10 делится на 5» ,
A ۸ B = «10 делится на 2 и на 5».


Слайд 7 Таблица истинности конъюнкции:
МОУ СОШ № 19

Таблица истинности конъюнкции:МОУ СОШ № 19

"Выбор" г. Находка
Конъюнкция двух высказываний истинна тогда и только

тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно.

Слайд 8 Графическая иллюстрация конъюнкции с помощью диаграмм Эйлера —

Графическая иллюстрация конъюнкции с помощью диаграмм Эйлера — Венна:A — множество

Венна:






A — множество отличников в классе;
B — множество спортсменов

в классе;
A  B — множество отличников, занимающихся спортом.

МОУ СОШ № 19 "Выбор" г. Находка

B

А


Слайд 9 образуется соединением двух высказываний в одно с помощью

образуется соединением двух высказываний в одно с помощью союза «или».		Союз «или»

союза «или».

Союз «или» может использоваться:
в неисключающем (объединительном) смысле —

операция называется нестрогой дизъюнкцией;
в исключающем (разделительном) смысле — операция называется строгой дизъюнкцией.

МОУ СОШ № 19 "Выбор" г. Находка

Логическое сложение (дизъюнкция)


Слайд 10 Примеры строгих и нестрогих дизъюнкций:
МОУ СОШ № 19

Примеры строгих и нестрогих дизъюнкций:МОУ СОШ № 19

"Выбор" г. Находка


Слайд 11 Под дизъюнкцией будем понимать нестрогую дизъюнкцию,

Под дизъюнкцией будем понимать нестрогую дизъюнкцию, если не оговорено иное.Обозначение

если не оговорено иное.
Обозначение дизъюнкции:
A ИЛИ B;
A OR B;
A

 B;
A ۷ B;
A + B.

МОУ СОШ № 19 "Выбор" г. Находка


Слайд 12 Таблица истинности дизъюнкции:
МОУ СОШ № 19

Таблица истинности дизъюнкции:МОУ СОШ № 19

"Выбор" г. Находка
Дизъюнкция двух высказываний ложна тогда и только

тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно высказывание истинно.

Слайд 13 Графическая иллюстрация дизъюнкции с помощью диаграмм Эйлера —

Графическая иллюстрация дизъюнкции с помощью диаграмм Эйлера — Венна:A — множество

Венна:






A — множество отличников в классе;
B — множество спортсменов

в классе;
A  B — множество учеников класса, которые являются отличниками или спортсменами.

МОУ СОШ № 19 "Выбор" г. Находка

B

А


Слайд 14 образуется соединением двух высказываний в одно с помощью

образуется соединением двух высказываний в одно с помощью оборота речи «если...,

оборота речи «если..., то...».




Обозначение импликации:
A  B;
A  B.
МОУ

СОШ № 19 "Выбор" г. Находка

Логическое следование (импликация)

E = Если клятва дана, то она должна выполняться.
P = Если число делится на 9, то оно делится на 3.


Слайд 15 Таблица истинности импликации:
МОУ СОШ № 19 "Выбор" г.

Таблица истинности импликации:МОУ СОШ № 19

Находка
Импликация двух высказываний ложна тогда и только тогда, когда

из истинного высказывания следует ложное (Из истины не может следовать ложь).

Слайд 16 Графическая иллюстрация импликации с помощью диаграмм Эйлера —

Графическая иллюстрация импликации с помощью диаграмм Эйлера — Венна:(A=0)(B=0)(A=0)(B=1)(A=1)(B=1)МОУ СОШ № 19

Венна:






(A=0)(B=0)
(A=0)(B=1)
(A=1)(B=1)
МОУ СОШ № 19 "Выбор" г. Находка
B
А


Слайд 17 образуется соединением двух высказываний в одно

образуется соединением двух высказываний в одно при помощи оборота речи

при помощи оборота речи «…тогда и только тогда, когда...».



Обозначение

эквивалентности:
A  B;
A  B;
A ~ B.

МОУ СОШ № 19 "Выбор" г. Находка

Логическое равенство (эквивалентность)

Угол называется прямым тогда и только тогда, когда он равен 90°.
Голова думает тогда и только тогда, когда язык отдыхает.


Слайд 18 Таблица истинности эквивалентности:
МОУ СОШ № 19

Таблица истинности эквивалентности:МОУ СОШ № 19

"Выбор" г. Находка
Эквивалентность двух высказываний истинна или когда оба

высказывания истинны или когда оба ложны.

Слайд 19 Графическая иллюстрация эквивалентности с помощью диаграмм Эйлера —

Графическая иллюстрация эквивалентности с помощью диаграмм Эйлера — Венна:(A=0)(B=0)(A=1)(B=1)МОУ СОШ № 19

Венна:






(A=0)(B=0)
(A=1)(B=1)
МОУ СОШ № 19 "Выбор" г. Находка
B
А


  • Имя файла: logicheskie-operatsii.pptx
  • Количество просмотров: 152
  • Количество скачиваний: 0
- Предыдущая План лекции