Логическое высказывание. Виды сложных высказываний - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Логическое высказывание. Виды сложных высказываний, слайд №1

Логическое высказывание. Виды сложных высказываний, слайд №2

Логическое высказывание. Виды сложных высказываний, слайд №3

Логическое высказывание. Виды сложных высказываний, слайд №4

Логическое высказывание. Виды сложных высказываний, слайд №5

Логическое высказывание. Виды сложных высказываний, слайд №6

Логическое высказывание. Виды сложных высказываний, слайд №7

Логическое высказывание. Виды сложных высказываний, слайд №8

Логическое высказывание. Виды сложных высказываний, слайд №9

Логическое высказывание. Виды сложных высказываний, слайд №10

Логическое высказывание. Виды сложных высказываний, слайд №11

Логическое высказывание. Виды сложных высказываний, слайд №12

Логическое высказывание. Виды сложных высказываний, слайд №13

Логическое высказывание. Виды сложных высказываний, слайд №14

Логическое высказывание. Виды сложных высказываний, слайд №15

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Логическое высказывание. Виды сложных высказываний. Доклад-сообщение содержит 15 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

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

Логическое высказывание Логическое высказывание — это любое повествовательное пpедлoжение, в oтнoшении кoтopoгo можно oднoзначнo сказать, истинно oнo или лoжнo.

Слайд 2

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

Выражения: Выражения: «Уходя, гасите свет и закрывайте дверь.» «Да здравствует мыло душистое и полотенце пушистое!» не являются высказываниями, т. к. нельзя сказать, являются они истинными или ложными

Слайд 3

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

В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Например, В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Например, А — У кошки 4 ноги. А = 1 (ИСТИНА) В — Томск — столица России. В = 0 (ЛОЖЬ) С — Всякий квадрат есть параллелограмм. С= 1 (ИСТИНА) D — Всякий параллелограмм есть квадрат. D = 0 (ЛОЖЬ)

Слайд 4

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

Виды сложных высказываний Соединительные (связка И). «Саша играет на гитаре и на фортепиано», «Петров — врач и шахматист». Разделительные (связка ИЛИ). «Вторым уроком будет физика или химия», «Мама купила торт или конфеты». Условные (связка ЕСЛИ…, ТО). «Если придет друг, то мы посмотрим фильм»; «Если будет ясная погода, то мы пойдем за грибами». Эквивалентные (связка ТОГДА И ТОЛЬКО ТОГДА…, КОГДА). «Дождь идет тогда и только тогда, когда на небе есть тучи»; «Саша и Ваня пойдут гулять тогда и только тогда, когда сделают уроки и выполнят обязанности по дому». Высказывания с внешним отрицанием (связка НЕВЕРНО, ЧТО). «Неверно, что Таня и Света придут ко мне на день рождения»; «Неверно, что все птицы летают».

Слайд 5

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

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

Слайд 6

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

Логические операции И — логическое умножение или конъюнкция Обозначение операции в алгебре высказываний: И,  , , &. Обозначение в языках программирования: and. Если обозначить простые высказывания А = «Саша играет на гитаре»; В = «Саша играет на фортепиано», тогда сложное высказывание F = «Саша играет на гитаре и на фортепиано» можно записать как F = А  В.

Слайд 7

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

Слайд 8

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

ИЛИ — логическое сложение или дизъюнкция ИЛИ — логическое сложение или дизъюнкция Обозначение операции в алгебре высказываний: ИЛИ,  , +. Обозначение в языках программирования: or. Обозначим сложное высказывание «Мама купила торт или конфеты» буквой F и запишем его на языке алгебры логики. Пусть А — «Мама купила торт»; В — «Мама купила конфеты», тогда F = А  В.

Слайд 9

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

Слайд 10

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

НЕ — логическое отрицание или инверсия НЕ — логическое отрицание или инверсия Обозначение отрицания в алгебре высказываний: НЕ А,А , ┐А. Обозначение в языках программирования: not. Пусть А = «Четыре — четное число» — истинное высказывание, тогда высказывание «Четыре — нечетное число» будет являться отрицанием высказывания А и будет ложно. На языке алгебры логики это будет выглядеть как F =А.

Слайд 11

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

Слайд 12

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

ЕСЛИ–ТО — логическое следование или импликация ЕСЛИ–ТО — логическое следование или импликация Обозначение импликации в алгебре высказываний: → . Пусть высказывание А = «Данный четырёхугольник — квадрат» и высказывание В = «Около данного четырёхугольника можно описать окружность». Тогда составное высказывание F = А → В понимается как «Если данный четырёхугольник квадрат, то около него можно описать окружность».

Слайд 13

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

Слайд 14

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

РАВНОСИЛЬНО — логическое равенство или эквиваленция РАВНОСИЛЬНО — логическое равенство или эквиваленция Эквиваленция (двойная импликация) — это логическая операция, выражаемая связками тогда и только тогда…, когда; необходимо и достаточно; равносильно; в том и только том случае. Обозначение эквиваленции в алгебре высказываний: ↔, ~, ≡. Пусть высказывание А = «Идет дождь» и высказывание В = «На небе тучи». Тогда составное высказывание F = А ↔ В понимается как «Дождь идет тогда и только тогда, когда на небе есть тучи».