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

Слайд #1

Примеры строгих и нестрогих дизъюнкций: МОУ СОШ № 19 "Выбор" г. Находка Высказывание Вид дизъюнкции Витя сидит на северной или восточной трибуне стадиона Строгая Студент едет в электричке или читает книгу Нестрогая Оля любит писать сочинения или решать логические задачи Нестрогая Сережа учится в школе или окончил ее Строгая Завтра дождь будет или не будет (третьего не дано) Строгая Давайте бороться за чистоту. Чистота достигается так: или не сорить, или часто убирать Нестрогая Земля движется по круговой или эллиптической орбите Строгая Числа можно складывать или перемножать Нестрогая МОУ СОШ № 19 "Выбор" г. Находка

Слайд #2

образуется соединением двух высказываний в одно с помощью союза «или». Союз «или» может использоваться: в неисключающем (объединительном) смысле — операция называется нестрогой дизъюнкцией; в исключающем (разделительном) смысле — операция называется строгой дизъюнкцией. МОУ СОШ № 19 "Выбор" г. Находка МОУ СОШ № 19 "Выбор" г. Находка

Слайд #3

Графическая иллюстрация конъюнкции с помощью диаграмм Эйлера — Венна: A — множество отличников в классе; B — множество спортсменов в классе; A B — множество отличников, занимающихся спортом. МОУ СОШ № 19 "Выбор" г. Находка B А МОУ СОШ № 19 "Выбор" г. Находка

Слайд #4

Таблица истинности конъюнкции: МОУ СОШ № 19 "Выбор" г. Находка Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно. A B A ۸ B 0 0 0 0 1 0 1 0 0 1 1 1 МОУ СОШ № 19 "Выбор" г. Находка

Слайд #5

- образуется соединением двух высказываний в одно с помощью союза «и». Обозначение конъюнкции: A И B; A ۸ B; A & B; A B; A AND B. МОУ СОШ № 19 "Выбор" г. Находка А = «10 делится на 2» В = «10 делится на 5» , A ۸ B = «10 делится на 2 и на 5». МОУ СОШ № 19 "Выбор" г. Находка

Слайд #6

Графическая иллюстрация инверсии с помощью диаграмм Эйлера — Венна: А — множество отличников; Ā — множество неотличников. МОУ СОШ № 19 "Выбор" г. Находка А Ā МОУ СОШ № 19 "Выбор" г. Находка

Слайд #7

Истинность высказывания, имеющего форму Ā (вне зависимости от его содержания), определяется по специальной таблице истинности. Таблица истинности инверсии (неА): МОУ СОШ № 19 "Выбор" г. Находка Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное — истинным. А Ā 0 1 1 0 МОУ СОШ № 19 "Выбор" г. Находка

Слайд #8

- образуется из высказывания с помощью добавления частицы «не» к сказуемому или использования оборота речи «неверно, что…». Обозначение инверсии: НЕ А; ¬ A; Ā; NOT А. МОУ СОШ № 19 "Выбор" г. Находка А = Дождя не будет Ā = Неверно, что дождя не будет. (Дождь будет. ) МОУ СОШ № 19 "Выбор" г. Находка

Слайд #9

— способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний. Истинное высказывание в логике обозначается - 1, ложное – 0 Высказывания обозначаются буквами латинского алфавита: А, В, С и т.д. МОУ СОШ № 19 "Выбор" г. Находка МОУ СОШ № 19 "Выбор" г. Находка

Слайд #10

Логическое отрицание (инверсия) Логическое умножение (конъюнкция) Логическое сложение (дизъюнкция) Логическое следование (импликация) Логическое равенство (эквивалентность) МОУ СОШ № 19 "Выбор" г. Находка МОУ СОШ № 19 "Выбор" г. Находка

Слайд #11

образуется соединением двух высказываний в одно при помощи оборота речи «…тогда и только тогда, когда...». Обозначение эквивалентности: A B; A B; A ~ B. МОУ СОШ № 19 "Выбор" г. Находка Угол называется прямым тогда и только тогда, когда он равен 90°. Голова думает тогда и только тогда, когда язык отдыхает. МОУ СОШ № 19 "Выбор" г. Находка

Слайд #12

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

Слайд #13

Таблица истинности импликации: МОУ СОШ № 19 "Выбор" г. Находка Импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное (Из истины не может следовать ложь). A B A B 0 0 1 0 1 1 1 0 0 1 1 1 МОУ СОШ № 19 "Выбор" г. Находка

Слайд #14

образуется соединением двух высказываний в одно с помощью оборота речи «если..., то...». Обозначение импликации: A B; A B. МОУ СОШ № 19 "Выбор" г. Находка E = Если клятва дана, то она должна выполняться. P = Если число делится на 9, то оно делится на 3. МОУ СОШ № 19 "Выбор" г. Находка

Слайд #15

Графическая иллюстрация дизъюнкции с помощью диаграмм Эйлера — Венна: A — множество отличников в классе; B — множество спортсменов в классе; A B — множество учеников класса, которые являются отличниками или спортсменами. МОУ СОШ № 19 "Выбор" г. Находка B А МОУ СОШ № 19 "Выбор" г. Находка

Слайд #16

Таблица истинности дизъюнкции: МОУ СОШ № 19 "Выбор" г. Находка Дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно высказывание истинно. A B A ۷ B 0 0 0 0 1 1 1 0 1 1 1 1 МОУ СОШ № 19 "Выбор" г. Находка

Слайд #17

Под дизъюнкцией будем понимать нестрогую дизъюнкцию, если не оговорено иное. Обозначение дизъюнкции: A ИЛИ B; A OR B; A B; A ۷ B; A + B. МОУ СОШ № 19 "Выбор" г. Находка

Слайд #18

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

Слайд #19

Лыскова В.Ю., Ракитина Е.А. Логика в информатике. Семакин И.Г., Вараксин Г.С. Информатика. Структурированный конспект базового курса. Под ред. Семакина И.Г. Информатика. Задачник-практикум в 2 т. Том 1. Шауцукова Л.З. Информатика: Учебное пособие для 10-11 классов общеобразовательных учреждений. Угринович Н.Д. Информатика и информационные технологии. Учебник для 10-11 классов. МОУ СОШ № 19 "Выбор" г. Находка МОУ СОШ № 19 "Выбор" г. Находка

Слайд #20

Таблица истинности эквивалентности: МОУ СОШ № 19 "Выбор" г. Находка Эквивалентность двух высказываний истинна или когда оба высказывания истинны или когда оба ложны. A B A B 0 0 1 0 1 0 1 0 0 1 1 1 МОУ СОШ № 19 "Выбор" г. Находка