Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 607: | Строка 607: | ||
| <math>p \rightarrow \diamond q</math> || если p, то рано или поздно q || ''отклик'' || | | <math>p \rightarrow \diamond q</math> || если p, то рано или поздно q || ''отклик'' || | ||
|- | |- | ||
- | | <math>p \rightarrow q U r</math> | + | | <math>p \rightarrow q U r</math> || если p то затем q и рано или поздно r || ''приоритет'' || |
- | + | ||
- | + | ||
- | + | ||
|- | |- | ||
| <math>\Box\diamond p</math> || всегда рано или позндно будет p || ''цикличность (прогресс)'' || | | <math>\Box\diamond p</math> || всегда рано или позндно будет p || ''цикличность (прогресс)'' || |