А цена (х, у)

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

З а д а ч и

В о п р о с ы

Цена (конфеты, с).

В форме предикатов с конкретными аргументами-значениями могут быть описаны факты любой базы данных. Примеры описания фактов из базы данных в записи на языке Пролог:

любит (Маша, цветы) - Маша любит цветы

любит (Саша, машины) - Саша любит машины

цена (цветы, 1000) - цена цветов 1000

цена (мороженое, 2500) - цена морженого 2500

В этой же форме предикатов с переменными могут описываться и простейшие запросы к базам данных на языке Пролог. Примеры запросов к указанной базе данных на языке Пролог и соответствующие ответы ЭВМ:

? любит (х, конфеты) - Кто любит конфеты?

х = Маша

? цена (конфеты, с) - Какова цена конфет?

с = 1000

1. Что изучает математическая логика?

2. Что изучает логика?

3. Что такое высказывание?

4. Что такое предикат?

5. Когда суждения истинны?

6. Когда суждения ложны?

1. Приведите примеры истинных и ложных утверждений

а) из арифметики;

б) из геометрии;

в) из биологии;

г) из жизни.

2. Выразите отрицания для высказываний:

а) «мы пойдем в кино»;

б) «х = 0 или х = 1»;

в) «х = 0 и у = 0»;

г) «а = 0 и b = 0 и с = 0»;

д) «х = 0 или у = 0 или z = 0».

е) «мы не пойдем никуда»;

ж) «а = 0 или b = 0»;

з) «х > 0 и х < 100».

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

х = 1 рост < 160

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дата добавления: 2014-12-27