Редактирование: Математическая Логика, 05 семинар (от 21 ноября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 39: | Строка 39: | ||
Жена(Eve, Adam) ← ; | Жена(Eve, Adam) ← ; | ||
Далее: | Далее: | ||
- | Отец(Adam, | + | Отец(Adam, Avel) |
- | После этого надо записать, что | + | После этого надо записать, что Абель — сын Адама, Евы, а также тот факт, что Ева — мать Абеля. |
Через несколько страниц учёный попадёт в затруднительное положение, поскольку вносить надо всё больше. Но можно описывать не все связи, можно описать правила: | Через несколько страниц учёный попадёт в затруднительное положение, поскольку вносить надо всё больше. Но можно описывать не все связи, можно описать правила: | ||
Сын(X, Y) ← Отец(Y, X); | Сын(X, Y) ← Отец(Y, X); | ||
- | «Если Y — | + | «Если Y — отчец X, то X — отец Y». Или, другими словами, чтобы проверить, является ли X сыном Y, надо проверить, является ли Y отцом X. Тогда: |
Супруг(X, Y) ← Муж(X, Y); | Супруг(X, Y) ← Муж(X, Y); | ||
Супруг(X, Y) ← Жена(X, Y); | Супруг(X, Y) ← Жена(X, Y); |