Хм. Интересная вещь заложена в модальных операторах мета-модели.
- Последствия не делания есть причина для делания (должен)
Последствия, последствия... а откуда ты берешь эти "последствия"?
- Последствия делания есть причина для не делания (не должен)
- Помеха для делания есть причина для не делания (невозможность)
Ну, и здесь тот же вопрос.
Дальше развитие этой темы.
- Заставляет не делать при долженствовании более высокая "ценность"
Да, точно так.
- Заставляет делать при отрицании долженствования более высокая "ценность"
И в этом случае все правильно.
Поэтому из "долженствования" можно вытащить вопросами не только , последствия-причину, но и "ценность":
Последствия "отрицания должен" это есть причина для "должен"
Последствия "отрицания не должен" это есть причина для "не должен"
Что же это за процесс/процедура извлечения/выявления "последствий"?