Деонтическая логика: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
D1gggg (обсуждение | вклад) Нет описания правки |
D1gggg (обсуждение | вклад) |
||
Строка 15:
* для сравнения ''желаемого'' состояния с ''действительным''
== Примеры выражения норм ==
;
: [(занять(Ч, К))]O(вернуть(Ч, К))≤ 2 недели
|