Основные логические операции

 

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

 

х = 1 рост < 160

А цена (х, у)

 

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

 

логическая связкане -отрицание суждений;

логическая связкаили - конъюнкция суждений;

логическая связкаи -дизъюнкция суждений.

 

Примеры сложносоставных суждений:

 

не А - неверно суждение А

С или В - истинноС или В

(х > 0) и (у > 0) - (х больше 0) и (у больше 0)

(глаза = синие)или (глаза = голубые)

 

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

 

не (глаза = синие), - неверно, что глаза синие

неили В), - неверно, что выполняется А или В

не (любит (Саша, конфеты)) - неверно, что Саша любит конфеты

 

Наглядной иллюстрацией этих логических связок с предикатами служат следующие диаграммы:

 

Отрицание не А истинно или ложно в зависимости от истинности исходного суждения А. Свойства отрицания не как логической связки можно описать таблицей истинности:

Таблица истинности:

А не А

да нет
нет да

 

Свойства отрицаний:

 

НЕ1:Отрицание ложно, если суждение истинно.

НЕ2:Отрицание истинно, если суждение ложно.

 

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

 

не (х = 0) º (х ¹ 0)

не(х ¹ 0) º (х = 0)

не (х > 0) º (х £ 0)

не (х < 0) º (х ³ 0)

не (х ³ 0) º (х < 0)

не (х £ 0) º (х > 0)

 

Свойства отрицаний, записанные в таблицу истинностности, могут быть описаны как факты на языке Пролог:

 

Не (да, нет);

Не (нет, да);

 

После ввода этих фактов в ЭВМ с помощью запросов можно перепроверить свойства отрицаний:

 

? не (А, нет)

А = да

? не (А, да)

А = нет

 

Логическая связка и в математической логике называется конъ­юнкцией. Таблица истинностиконъюнкции:

 

А В А и В

да да да
да нет нет
нет да нет
нет нет нет

 

Свойства конъюнкции:

 

И1:КонъюнкцияА и Вистинна, когда истинны оба суждения.

И 2:КонъюнкцияА и Вложна, когда ложно хотя бы одно из суж­дений А или В.

 

Логическая связкаили в математической логике называется дизъ­юнкцией. Таблица истинностидизъюнкции:

А В А или В

да да да
да нет да
нет да да
нет нет нет

 

Свойства дизъюнкции:

 

ИЛИ1:Дизъюнкция А или Вистинна, когда истинно любое из суждений А или В.

ИЛИ2:Дизъюнкция А или Вложна, когда ложны оба суждения А и В.

 

Свойства конъюнкции и дизъюнкции также можно описать в виде фактов на языке Пролог:

 

Дизъюнкция:Конъюнкция:








Дата добавления: 2016-04-06; просмотров: 679;


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

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

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

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.008 сек.