Редактирование: Математическая Логика, 05 семинар (от 21 ноября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 106: | Строка 106: | ||
Родственник(X, Y) ← Предок(X, Y) | | Родственник(X, Y) ← Предок(X, Y) | | ||
Предок(Y, X) | | Предок(Y, X) | | ||
- | + | Предок(Z, X), Предок(Z, Y), X ≠ Y; | |
Далее — программные вещи. | Далее — программные вещи. |