Основные законы булевой алгебры

Для общего понимания математических суждений, утверждений и отрицаний необходимо иметь представления об общих законах математики и математической логики в частности. Первым среди общих законов математической логики является:

Закон двойного отрицания

не (не А) = А

— отрицание отрицания равносильно исходному утверждению.

Для понимания принципов поиска информации по запросам в базах данных и сети Интернет необходимо понимать математический смысл сложносоставных запросов с использованием логических операций И (AND), ИЛИ (OR) и НЕ (NOT).

Общие принципы отрицания дизъюнкций и конъюнкций в математической логике выражаются двумя закона де Моргана:

Закон отрицания конъюнкции

не (А и В) = (не А) или (не В)

— отрицание конъюнкции суждений равносильно дизъюнкции отрицаний;

Закон отрицания дизъюнкции

Не (А или В) ((не А) и (не В))

— отрицание дизъюнкции суждений равносильно конъюнкции отрицаний.

Знание и использование данных трех общих законов логики позволяют полностью избавляться от негативных формулировок в запросах к базам данных и в общении друг с другом. Но еще важнее знание этих законов для понимания принципов и результатов поиска информации компьютерами.

Попробуйте проверить законы отрицания в запросах к Интернет и объясните результаты, полученные от различных поисковых систем:

запрос: «учебник -физика» — «учебник, но не по физике?»

запрос: «учебник -книга» — «учебник, но не книга?»

запрос: «-учебник информатика» — «не учебник, но по информатике?»

запрос: «-(-учебник)» — «неверно, что это не учебник» ??? .

Задача 1.Проверьте закон двойного отрицания не (не А) ≡ А с помощью таблиц истинности.

А не А не (не А)
Да Нет Да
Нет Да Нет

Сравнение крайних столбцов показывает, что всюду, где высказывание А истинно, там же истинно и двойное отрицание не (не А). И наоборот, всюду, где ложно А, там ложно и двойное отрицание не (не А). Следовательно, двойное отрицание тождественно исходному высказыванию: не (не А) ≡ А.

Задача 2. Сравните с помощью таблиц истинности отрицание дизъюнкции и отрицание конъюнкции неи В) и неили В).

Решение.

А В А и В не (А и В) А или В не (А или В)
Да Да Да Нет Да Нет
Да Нет Нет Да Да Нет
Нет Да Нет Да Да Нет
Нет Нет Нет Да Нет Да

Контрольные вопросы и задания

1. Что такое дизъюнкция?

2. Что такое конъюнкция?

3. Когда истинно отрицание?

4. Когда ложно отрицание?

5. Когда истинна конъюнкция?

6. Когда истинна дизъюнкция?

7. Чему соответствует отрицание отрицания?

8. Чему соответствует отрицание конъюнкции?

9. Чему соответствует отрицание дизъюнкции?

10. Проверьте запросы с отрицаниями в Интернет и объясните полученные результаты:

· запрос: «-(-интернет)»;

· запрос: «поиск -интернет»;

· запрос: «поиск информации -интернет»;

· запрос: «информатика -Ершов»;

11. Составьте таблицы истинности для утверждений:

· (не А) и (не В);

· (не А) или (не В);

· А и (не В);

· А или (не В).


<== предыдущая лекция | следующая лекция ==>
Кодирование графической информации | Логические основы ЭВМ




Дата добавления: 2019-10-16; просмотров: 63; ЗАКАЗАТЬ НАПИСАНИЕ РАБОТЫ


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию, введите в поисковое поле ключевые слова и изучайте нужную вам информацию.

Поделитесь с друзьями:

Если вам понравился данный ресурс вы можете рассказать о нем друзьям. Сделать это можно через соц. кнопки выше.
helpiks.org - Хелпикс.Орг - 2014-2020 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.005 сек.