Деонтическая логика: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
D1gggg (обсуждение | вклад) мНет описания правки |
D1gggg (обсуждение | вклад) |
||
Строка 24:
; ought-to-do – выражения учитывают названия действий
: пользователь '''должен ввести''' пароль
: кто-то '''должен закрыть''' окно
; ought-to-be – выражения учитывают желаемый результат
: пароль '''должен быть''' более 20 символов
: окно '''должно быть''' закрыто
===Недостатки===
|