Загрузил merixalafjan

Лекция - 2. СНОВЫ АЛГЕБРЫ ЛОГИКИ

реклама
ОСНОВЫ АЛГЕБРЫ ЛОГИКИ
ЦЕЛИ ЛЕКЦИИ
• Логика.
• Формы мышления.
• Какие вопросы изучает математическая логика.
• Базовые логические операции
• Логическая функция
• Порядок логических операций и функций
• Логические законы
ФОРМЫ МЫШЛЕНИЯ.
АЛГЕБРА ВЫСКАЗЫВАНИЙ
Логика, как и теория алгоритмов — является теоретической основой
современных ЭВМ и программирования.
Слово «логика» в широком смысле означает науку о правилах
рассуждений, а в узком смысле — совокупность правил, которым
подчиняется процесс мышления.
Объектами изучения логики являются формы мышления:
• Понятие
• Суждение
• Умозаключение
Формы мышления:
1. Понятие — это мысль, в которой обобщаются отличительные свойства предметов.
2. Суждение (высказывание) — есть мысль (выраженная в форме повествовательного
предложения), в которой нечто утверждается о предмете действительности, которая
объективно является либо истинной, либо ложной.
Суждение истинно, если оно соответствует действительности.
Суждение, значение истинности которого неоднозначно, называется гипотезой.
Закон науки — это суждение, истинность которого доказана.
3. Умозаключение — прием мышления, посредством которого из исходного знания
получается новое знание; из одного или нескольких истинных суждений, называемых
посылками, мы по определенным правилам вывода получаем заключение.
Существуют умозаключения, осуществляемые по схемам аналогии, индукции и
дедукции.
Математическая логика изучает вопросы применения математических методов
для решения логических задач и построения логических схем.
Знание логики необходимо при разработке алгоритмов и программ, так как в
большинстве языков программирования есть логические операции.
Алгебру логики иначе называют алгеброй высказываний. Суждения и
утверждения в математической логике называют высказываниями и
предикатами.
Высказывания — это конкретные частные утверждения.
Предикаты — это утверждения о переменных, истинность предикатов зависит от
значений входящих в них переменных.
Пример высказываний: «5 + 7 = 12», «4 — четное число»,
Пример предикатов: «х + у > 0», «n — число нечетное».
Алгебра (логики) высказываний позволяет определять
истинность или ложность составных высказываний.
Истинное высказывание — 1; Ложное — 0.
Алгебра логики явилась математической основой теории
электрических и электронных переключателей схем,
используемых в ЭВМ, поэтому ее предпочитают называть
Булевой алгеброй.
Логические выражения - Составные высказывания или
формулы, состоящей из логических переменных, которые
обозначают высказывания, и знаков логических операций.
Над высказываниями можно производить определенные логические
операции, в результате которых получаются новые, составные
высказывания.
Базовые логические операции
конъюнкция
дизъюнкция
инверсия
Конъюнкция. Операцию логического умножения (конъюнкцию) принято
обозначать значком «&» либо «Λ».
F=AΛB
Функция логического умножения F может принимать лишь два значения «истина»
(1) и «ложь» (0). Значение логической функции определяется с помощью таблицы
истинности:
A
0
0
1
1
B
0
1
0
1
F=AΛB
0
0
0
1
Дизъюнкция. Операцию логического сложения обозначают «V» либо «+».
F=A v B
Функция логического сложения F может принимать лишь два значения «истина» (1)
и «ложь» (0). Значение логической функции определяется с помощью таблицы
истинности:
А
0
0
1
1
B
0
1
0
1
F=AvB
0
1
1
1
Инверсия. Операцию логического отрицания обозначают:
F =𝐴 = ¬ 𝐴
Функция логического отрицания F может принимать лишь два значения «истина»
(1) и «ложь» (0). Значение логической функции определяется с помощью таблицы
истинности:
A
F=𝐴
0
1
1
0
ЛОГИЧЕСКАЯ ФУНКЦИЯ
Логические функции – составное высказывание. Любую
логическую функцию можно «разложить» на базовые:
конъюнкцию, дизъюнкцию и инверсию.
Логические функции
Импликация
Эквиваленция
Импликация (логическое следование).
Импликация по смыслу похожа на использование союзов «если… то…».
F =A →B
Для импликации равносильное выражение выглядит так:
A → B = ¬A \/ B
Это значит, что таблица истинности для A → B и для ¬A \/ B будет выглядеть
идентично.
A
0
0
1
1
B
0
1
0
1
F=A → B
1
1
0
1
Эквивалентность ( логическое равенство) проверяет, одинаковы ли
(эквивалентны ли) значения логических переменных – и выдает
Истину, если одинаковы (1 и 1, 0 и 0) и Ложь, если не одинаковы (1 и 0,
0 и 1). Обозначается эквиваленция тремя полосами (как равно, только с
еще одной чертой): A ≡ B (A ↔ B). Для эквиваленции существует два
равносильных выражения:
A ≡ B = (A /\ B) \/ (¬A /\ ¬B) = (¬A \/ B) /\ (A \/ ¬B)
A
0
0
1
1
B
0
1
0
1
F=A ↔B
1
0
0
1
ПОРЯДОК ЛОГИЧЕСКИХ ОПЕРАЦИЙ И ФУНКЦИЙ
1. Операции внутри скобок;
2. Инверсия;
3. Конъюнкция;
4. Дизъюнкция;
5. Импликация
6. Эквивалентность.
ОПРЕДЕЛИТЕ ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ
1
5
2
4 3
𝐹 = 𝐴 V 𝐵 Λ ( ¬ 𝐴 V ¬𝐵)
ЛОГИЧЕСКИЕ ЗАКОНЫ
Закон тождества. Всякое высказывание тождественно самому себе: А=А.
Закон непротиворечия. Высказывание не может быть одновременно ИСТИННЫМ И
ЛОЖНЫМ:
А& ¬ А=0.
Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным:
А 𝑽 ¬ А= 1.
Закон двойного отрицания. Двойное отрицание дает в итоге исходное высказывание:
𝑨 = 𝑨.
ЛОГИЧЕСКИЕ ЗАКОНЫ
Законы де Моргана:
𝐴V𝐵=𝐴 Λ𝐵
𝐴Λ𝐵 =𝐴 V𝐵
Закон коммутативности. Как и в алгебре: от перемены мест ...
АΛВ=ВΛА
А V В = В V А.
ЛОГИЧЕСКИЕ ЗАКОНЫ
Закон ассоциативности:
(А Λ В) Λ С = А Λ(В Λ С)
(А V В) V С = А V(В V С).
Закон дистрибутивности. Отличается от подобного закона в алгебре — за
скобки можно выносить не только общие множители, но и общие
слагаемые:
(А Λ В) V (А Λ С) =А & (В V С)
(А V В) Λ (А V С)=А Λ (В & С).
УПРОСТИТЕ ВЫРАЖЕНИЕ
(А V В) Λ (А V С)
Скачать