Разделы презентаций


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

Содержание

Высказывание. Логические операции.Высказывание. Логические операции. Логика (от др. греческого ЛОГОС — мысль) — наука о законах человеческого мышления

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

Слайд 1Высказывание. Логические операции
Высказывание.
Логические операции

Высказывание. Логические операцииВысказывание. Логические операции

Слайд 2Высказывание. Логические операции.
Высказывание.
Логические операции.
Логика (от др. греческого ЛОГОС

— мысль) — наука о законах человеческого мышления

Высказывание. Логические операции.Высказывание. Логические операции. Логика  (от др. греческого ЛОГОС — мысль)  — наука о

Слайд 3Высказывание. Логические операции.
Клод Шеннон (1916-2001). Его исследования позволили применить алгебру

логики в вычислительной технике
Логика
Аристотель (384-322 до н.э.). Основоположник формальной логики

(понятие, суждение, умозаключение).

Джордж Буль (1815-1864). Создал новую область науки - Математическую логику (Булеву алгебру или Алгебру высказываний).

Высказывание. Логические операции.Клод Шеннон (1916-2001). Его исследования позволили применить алгебру логики в вычислительной техникеЛогикаАристотель (384-322 до н.э.).

Слайд 4Высказывание. Логические операции.
Логическое выражение можно рассматривать как логическую функцию, аргументами

которой являются логические переменные.
Функция и аргументы могут принимать только

два значения: «истина» или «ложь» – 0 или 1.
Функции такого вида называются булевыми по имени Джорджа Буля (1815-1864).

Джордж Буль
(1815-1864) английский математик и логик

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

Слайд 5Высказывание. Логические операции.
Алгебра - наука об общих операциях, аналогичных сложению

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

числами, многочленами, векторами и др.

Алгебра

Высказывание. Логические операции.Алгебра - наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над разнообразными

Слайд 6Высказывание. Логические операции.
Высказывание - это предложение на любом языке, содержание

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

высказывания выражаются повествовательными предложениями:
Земля вращается вокруг Солнца.
Москва - столица.

Побудительные и вопросительные предложения высказываниями не являются.
Без стука не входить!
Откройте учебники.
Ты выучил стихотворение?

Высказывание

Но не всякое повествовательное предложение является высказыванием:
Это высказывание ложное.

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

Слайд 7Высказывание. Логические операции.
Высказывание или нет?
Зимой идет дождь.
Снегири живут в Крыму.
Кто

к нам пришел?
У треугольника 5 сторон.
Как пройти в библиотеку?
Запишите домашнее

задание
Высказывание. Логические операции.Высказывание или нет?Зимой идет дождь.Снегири живут в Крыму.Кто к нам пришел?У треугольника 5 сторон.Как пройти

Слайд 8Высказывание. Логические операции.
Алгебра логики определяет правила записи, вычисления значений, упрощения

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

логическими переменными.
Если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно - нулём (В = 0).
0 и 1 называются логическими значениями.

Алгебра логики

Высказывание. Логические операции.Алгебра логики определяет правила записи, вычисления значений, упрощения и преобразования высказываний.В алгебре логики высказывания обозначают

Слайд 9Высказывание. Логические операции.
Простые и сложные высказывания
Высказывания бывают простые и сложные.
Высказывание

называется простым, если никакая его часть сама не является высказыванием.


Сложные (составные) высказывания строятся из простых с помощью логических операций.
Высказывание. Логические операции.Простые и сложные высказыванияВысказывания бывают простые и сложные.Высказывание называется простым, если никакая его часть сама

Слайд 10Высказывание. Логические операции.
Определение
Логика – это наука о формах и способах

мышления
Формы мышления
понятие
суждение
(высказывание,
утверждение)
умозаключение

Высказывание. Логические операции.ОпределениеЛогика – это наука о формах и способах мышленияФормы мышленияпонятиесуждение(высказывание, утверждение)умозаключение

Слайд 11Высказывание. Логические операции.
Понятие – это форма мышления, фиксирующая основные, существенные

признаки объекта;
Понятие имеет две стороны: содержание и объем;
Содержание – это

совокупность существенных признаков объекта;
Объем – это совокупность предметов, на которые распространяется понятие;
Высказывание. Логические операции.Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта;Понятие имеет две стороны: содержание и

Слайд 12Высказывание. Логические операции.
Высказывание
Высказывание – это форма мышления, в которой что-либо

утверждается или отрицается о реальных предметах, их свойствах и отношениях

между ними;
Высказывание может быть либо истинно, либо ложно;
Высказывания могут быть выражены с помощью естественных и формальных языков;
Высказывания могут быть выражены только повествовательным предложением;
Высказывания могут быть простыми и составными;
Истинность простых высказываний определяется на основании здравого смысла;
Истинность составных высказываний определяется с помощью алгебры высказываний.
Высказывание. Логические операции.ВысказываниеВысказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их

Слайд 13Высказывание. Логические операции.
Умозаключение
Умозаключение – это форма мышления, с помощью которой

из одного или нескольких высказываний может быть получено новое суждение;
Посылками

умозаключения могут быть только истинные суждения
Высказывание. Логические операции.УмозаключениеУмозаключение – это форма мышления, с помощью которой из одного или нескольких высказываний может быть

Слайд 14Высказывание. Логические операции.
Унарные функции (операции)
Унарные функции имеют один аргумент.
Отрицание -

логическая операция инверсии (логическое «НЕТ», «противоположное» исходному. Обозначается X или

Х, читается «не X». Таблицы истинности:




ЛОЖЬ = 0, ИСТИНА = 1 или

Высказывание. Логические операции.Унарные функции (операции)Унарные функции имеют один аргумент.Отрицание - логическая операция инверсии (логическое «НЕТ», «противоположное» исходному.

Слайд 15Высказывание. Логические операции.
Инверсия - логическая операция, которая каждому высказыванию ставит

в соответствие новое высказывание, значение которого противоположно исходному.
Другое название: логическое

отрицание.
Обозначения: НЕ, ¬ , ¯ .

Логические операции имеют следующий приоритет:
инверсия, конъюнкция, дизъюнкция.

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

Таблица истинности:

A

Ā

Высказывание. Логические операции.Инверсия - логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно

Слайд 16Высказывание. Логические операции.
Бинарные функции Бинарные функции имеют два аргумента
Дизъюнкция (логическое «ИЛИ»,

логическое сложение) - логическая операция по своему применению максимально приближённая

к союзу «или» в смысле «или то, или это, или оба сразу».
Обозначается X  Y (или X  Y), читается « X или Y». Таблица истинности:

Конъюнкция (логическое "И", логическое умножение) - логическая операция, по своему применению максимально приближённая к союзу "и". Обозначается X  Y
(или X  Y, X & Y), читается « X и Y», таблица истинности:

Высказывание. Логические операции.Бинарные функции Бинарные функции имеют два аргументаДизъюнкция (логическое «ИЛИ», логическое сложение) - логическая операция по

Слайд 17Высказывание. Логические операции.
Дизъюнкция - логическая операция, которая каждым двум высказываниям

ставит в соответствие новое высказывание, являющееся ложным тогда и только

тогда, когда оба исходных высказывания ложны.
Другое название: логическое сложение.
Обозначения: V, |, ИЛИ, +.

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

Таблица истинности:

Графическое представление

A

B

АVВ

Высказывание. Логические операции.Дизъюнкция - логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ложным

Слайд 18Высказывание. Логические операции.
Конъюнкция - логическая операция, ставящая в соответствие каждым

двум высказываниям новое высказывание, являющееся истинным тогда и только тогда,

когда оба исходных высказывания истинны.
Другое название: логическое умножение.
Обозначения:  , , &, И.

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

Таблица истинности:

Графическое представление

A

B

А&В

Высказывание. Логические операции.Конъюнкция - логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда

Слайд 19Высказывание. Логические операции.
Бинарные функции продолжение
Штрих Шеффера (операция И-НЕ) — обозначается X

| Y, таблица значений:
Штрих Шеффера можно выразить через отрицание и

конъюнкцию: X | Y =  (X  Y)
Чтобы это показать, построим таблицу для конъюнкции и инвентируем результат:
Высказывание. Логические операции.Бинарные функции продолжениеШтрих Шеффера (операция И-НЕ) — обозначается X | Y, таблица значений:Штрих Шеффера можно

Слайд 20Высказывание. Логические операции.
Бинарные функции продолжение
Стрелка Пирса (операция ИЛИ-НЕ) — означает «ни

X, ни Y», обозначается X ↓ Y, таблица значений:
Стрелку Пирса

можно выразить через отрицание и дизъюнкцию:
X ↓ Y =  (X  Y)
 Чтобы это показать, построим таблицу для дизъюнкции и инвентируем результат:

Чарльз Сандерс Пирс (1839 — 1914), американский философ, логик, математик.

Высказывание. Логические операции.Бинарные функции продолжениеСтрелка Пирса (операция ИЛИ-НЕ) — означает «ни X, ни Y», обозначается X ↓

Слайд 21Высказывание. Логические операции.
Бинарные функции продолжение
Импликация (implication (англ.) - следствие, вывод) -

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

Обозначается X  Y (или X  Y), таблица истинности:

Пример: если фигура А квадрат, то фигура А — прямоугольник

Высказывание. Логические операции.Бинарные функции продолжениеИмпликация (implication (англ.) - следствие, вывод) - логическая операция, по своему применению приближенная

Слайд 22Высказывание. Логические операции.
Бинарные функции продолжение
Эквивалентность — логическая операция. Обозначается X ≡

Y (или X ↔ Y), означает «X то же самое,

что Y», «X эквивалентен Y», «X тогда и только тогда, когда Y». Таблица истинности:
Высказывание. Логические операции.Бинарные функции продолжениеЭквивалентность — логическая операция. Обозначается X ≡ Y (или X ↔ Y), означает

Слайд 23Высказывание. Логические операции.
Все названные бинарные функции можно представить в одной

таблице
Есть и другие бинарные операции. Всего бинарных операций - 16.

Высказывание. Логические операции.Все названные бинарные функции можно представить в одной таблицеЕсть и другие бинарные операции. Всего бинарных

Слайд 24Высказывание. Логические операции.
Ключевые слова
алгебра логики
высказывание
логическая операция
конъюнкция

дизъюнкция
отрицание
логическое выражение
таблица истинности
законы логики

Высказывание. Логические операции.Ключевые слова алгебра логики высказывание логическая операция конъюнкция дизъюнкция отрицание логическое выражение таблица истинности законы

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

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

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

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


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

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