Алгебра высказываний. Основные операции алгебры высказываний. презентация

Слайд 1Алгебра высказываний. Основные операции алгебры высказываний.


Слайд 2
Логика – это наука о формах и законах человеческого мышления и

в частности, о законах доказательных рассуждений.

Слайд 3Формальная логика


Пример: «Закон исключения третьего»

« Во время своего путешествия Платон был

и Египте или не был в Египте»

Слайд 4
В 1847 году английский математик Джордж Буль разработал математическую логику.



Алгебра высказываний~алгебра

логики ~математическая логика

Слайд 5 Высказывание -это предложение, содержимое которого можно определить как истинное или

ложное

Москва – столица России;
2*2=4;
Машаков Алексей –ученик 10 класса.


Слайд 6
Простое высказывание- никакая его часть сама не является высказыванием ( На

улице хорошая погода; неон-газ).
Сложное высказывание – состоит из простых высказываний( идет урок информатики и в классе стоит тишина).

Слайд 7Предикат - это предложение, про содержимое которого нельзя сказать истинное оно

или ложное

Х+5=10;
Выйди из класса;
А- целое число.


Слайд 8Логические операции:
Конъюнкция;
Дизъюнкция;
Инверсия;
Импликация;
……


Слайд 9Конъюнкция
На естественном языке – И;
Обозначение: * & ˄;
На

языке программирования: AND;
Логическое умножение.

Слайд 10Дизъюнкция
На естественном языке – ИЛИ;
Обозначение: + ˅;
На языке программирования:

OR;
Логическое сложение


Слайд 11Инверсия
На естественном языке – НЕ;
Обозначение: Ā;
На языке программирования: NOT;
Отрицание


Слайд 12Импликация
На естественном языке – Если…,то..;
Обозначение:→ ⇒;
Логическое следование.



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

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

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

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

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


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

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