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

Содержание

Слайд 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)
"Выбор" г. Находка

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) МОУ
"Выбор" г. Находка

B

А

Имя файла: Логические-операции.pptx
Количество просмотров: 227
Количество скачиваний: 0