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

Сентябрь 13, 2022

Главная
Математика
Математическая логика

Содержание

2. Алгебра логики Раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических значений, и логический операций
3. Высказывание Предложение, про которое можно сказать, истинно оно или ложно. Из имеющихся высказываний можно строить новые
4. Логическая переменная Переменная, которая обозначает любое высказывание и может принимать логические значения «истина» или «ложь»
5. Логические операции
6. Логическое выражение Составное логическое высказывание, состоящее из логически констант, логических переменных, знаков логических операций и скобок.
7. Приоритет операций Отрицание Конъюнкция Дизъюнкция Импликация; Эквивалентность.
8. Решение логического уравнения Один или несколько наборов значений логических переменных, при которых логическое уравнение будет истинным
9. Домашнее задание (база)
11. Скачать презентацию

Слайд 2

Алгебра логики
Раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических

значений, и логический операций над ними.
Основатель алгебры логики Джордж Буль.

Слайд 3

Высказывание
Предложение, про которое можно сказать, истинно оно или ложно.
Из имеющихся высказываний

можно строить новые высказывания, используя логические связи «И», «ИЛИ», «НЕ», «ЕСЛИ…ТО…» и т.д.
Если никакая часть данного высказывания не является высказыванием, то его называют элементарным.
Высказывания, образованные из других высказываний, называют составными (сложными).
Истинность составных высказываний зависит от истинности образующих их высказываний и логических связок.

Слайд 4

Логическая переменная
Переменная, которая обозначает любое высказывание и может принимать логические значения

«истина» или «ложь»

Слайд 5

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

Слайд 6

Логическое выражение
Составное логическое высказывание, состоящее из логически констант, логических переменных, знаков

логических операций и скобок.

Слайд 7

Приоритет операций
Отрицание
Конъюнкция
Дизъюнкция
Импликация; Эквивалентность.

Слайд 8

Решение логического уравнения
Один или несколько наборов значений логических переменных, при которых

логическое уравнение будет истинным высказыванием.

Слайд 9

Домашнее задание (база)