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

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

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

3 Формальная логика Пример: «Закон исключения третьего» « Во время своего путешествия Платон был и Египте или не был в Египте»

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

5 Высказывание -это предложение, содержимое которого можно определить как истинное или ложное Москва – столица России; 2*2=4; Машаков Алексей –ученик 10 класса.

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

7 Предикат - это предложение, про содержимое которого нельзя сказать истинное оно или ложное Х+5=10; Выйди из класса; А- целое число.

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

9 Конъюнкция На естественном языке – И; Обозначение: * & ˄ ; На языке программирован ия: AND; Логическое умножение. АВА & В

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

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

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